C++ ritorno oggetti temporanei confusione

Question

Ho una base C++ domanda un po ', si consideri una funzione che prende alcuni parametri di input e crea un std::string che da quei parametri come quella qui sotto:

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? 
} 

Capisco che il stringstream-object uscirà dall'ambito quando la funzione ritorna, ma ciò non invalida anche la stringa costruita?

Cosa accadrebbe se cambiassi il tipo di ritorno su const char * e restituissi invece ss.str().c_str()?

Il codice come sopra sembra funzionare, ma ho il sospetto che sia solo perché la memoria contenente l'oggetto "temporaneo" non è stata ancora sovrascritta con qualcos'altro quando la uso?

Devo ammettere, sono piuttosto confuso in tali situazioni in generale, sarei grato se qualcuno potesse spiegare tutto questo "oggetti temporanei", tutto per me (o semplicemente indicarmi la giusta direzione).

thx in anticipo

Answer 1

si restituisce un oggetto temporaneo, ma perché lo restituite per valore, viene creata la copia. Se si restituisce un puntatore o un riferimento a un oggetto temporaneo, sarebbe un errore.

Se si cambia il tipo di ritorno per const char * e tornare ss.str().c_str() si sarebbe tornare puntatore ad alcuni buffer temporaneo std::string restituito da ss.str() e che sarebbe male.

Answer 2

Come si vede Stringstream::str() restituisce std::string oggetto. Si restituisce std::string senza riferimento che significa che senza RVO (NRVO) il costruttore di copie di ottimizzazione chiamerà e creerà un oggetto valido std::string. Con l'ottimizzazione std::string verrà spostato senza il costruttore di copie. Ma se restituirà std::string& si bloccherà perché questo oggetto sarà distrutto dopo il ritorno della funzione. Lo stesso effetto sarà con const char * perché dopo aver distrutto questo puntatore si punta sulla memoria errata e questa è una situazione pericolosa.

Answer 3

Si supponga che: T val = some_function(), quando si restituisce un valore da some_function valore di copia C++ del valore restituito in val utilizzando il costruttore di copia specificato o l'operatore incorporato. Quindi se si restituisce uno int o std::string non c'è alcun problema, ma se si restituisce un puntatore a una memoria che verrà liberata alla fine della funzione, oops !! il puntatore verrà indirizzato a una memoria non valida. Ad esempio si consideri questo:

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

State ritornando puntatore ai dati che saranno liberati non appena ritorno della funzione (dal res saranno distrutti e libererà i suoi dati interni) in modo da otterrete l'indirizzo, ma che l'indirizzo non punta su ciò che ti aspetti!