C++ powrocie tymczasowe obiekty zamieszanie

Question

Mam raczej podstawowe C++ pytanie, rozważmy funkcję, która pobiera niektóre parametry wejściowe i tworzy std::string które z tych parametrów, takich jak ten poniżej:

std::string constructString(int some_parameter) { 

    std::stringstream ss; 

    // Construct a string (arbitrarily complex) 
    ss << "Some parameter is " << some_parameter << " right now"; 

    return ss.str(); //Am I not returning a temporary object here? 
} 

Rozumiem, że stringstream-object wyjdzie poza zakres, gdy funkcja zwróci, ale czy nie spowoduje to również unieważnienia konstruowanego łańcucha?

Co się stanie, jeśli zmienię typ zwrotu na const char * i zamiast tego zwrócę numer ss.str().c_str()?

Wygląda na to, że powyższy kod działa, ale podejrzewam, że dzieje się tak dlatego, że pamięć zawierająca "tymczasowy" obiekt nie została jeszcze zastąpiona przez coś innego, kiedy go używam?

Muszę przyznać, jestem raczej zdezorientowany w takich sytuacjach w ogóle, byłbym wdzięczny, gdyby ktoś mógł wyjaśnić te "tymczasowe przedmioty" - coś dla mnie (lub po prostu wskazać mi właściwy kierunek).

thx z góry

Answer 1

Wracasz tymczasowy obiekt, ale ponieważ go zwrócić przez wartość, tworzona jest kopia. Jeśli zwrócisz wskaźnik lub odniesienie do obiektu tymczasowego, byłby to błąd.

Jeśli zmienić typ zwracany do const char * i powrócić ss.str().c_str() byś wrócić wskaźnik do jakiegoś bufora czasowego std::string zwróconej przez ss.str() a to byłoby złe.

Answer 2

Jak widać Stringstream::str() zwraca obiekt . Zwracamy std::string bez odniesienia, co oznacza, że ​​bez konstruktora optymalizacji RVO (NRVO) konstruktor kopiowania wywoła i utworzy poprawny obiekt std::string. Dzięki optymalizacji std::string zostanie przeniesiony bez konstruktora kopiowania. Ale jeśli zwróci std::string&, ulegnie awarii, ponieważ obiekt ten zostanie zniszczony po powrocie funkcji. Ten sam efekt będzie z const char *, ponieważ po zniszczeniu ten wskaźnik wskaże na złą pamięć i jest to niebezpieczna sytuacja.

Answer 3

Założono: T val = some_function(), po zwróceniu wartości z some_function C++ skopiuj wartość zwróconej wartości do val, używając określonego konstruktora kopiowania lub wbudowanego operatora. Więc jeśli zwrócisz int lub std::string, nie ma problemu, ale jeśli zwrócisz wskaźnik do pamięci, która zostanie zwolniona na końcu funkcji, oops !! twój wskaźnik zostanie wskazany na nieprawidłową pamięć. Na przykład rozważ to:

const char* some_function() { 
    std::string res(...); 
    //... 
    return res.c_str(); 
} 

wracasz wskaźnik do danych, które zostaną uwolnione, jak tylko powrót funkcji (od res zostaną zniszczone i będzie uwolnić swoje dane wewnętrzne), więc dostaniesz adres, ale to adres nie wskazuje na to, czego się spodziewasz!