Restituzione di un riferimento in C++

Question

Considerare il seguente codice dove restituisco double& e un string&. Funziona bene nel caso di un doppio ma non nel caso di una stringa. Perché il comportamento differisce?

In entrambi i i casi il compilatore non anche gettare la Warning: returning address of local variable or temporary come sto tornando un punto di riferimento.

#include <iostream> 
#include <string> 
using namespace std; 


double &getDouble(){ 
    double h = 46.5; 
    double &refD = h; 
    return refD; 
} 

string &getString(){ 
    string str = "Devil Jin"; 
    string &refStr = str; 
    return refStr; 
} 

int main(){ 
    double d = getDouble(); 
    cout << "Double = " << d << endl; 

    string str = getString(); 
    cout << "String = " << str.c_str() << endl; 

    return 0; 
} 

uscita:

$ ./a.exe 
Double = 46.5 
String = 

Answer 1

non si dovrebbe mai restituire un riferimento a una variabile locale non importa quale sia il compilatore fa o non fa. Il compilatore può essere ingannato facilmente. non dovresti basare la correttezza del tuo codice su alcuni avvertimenti che potrebbero non essere stati attivati.

Il motivo per cui non è stato attivato qui è probabilmente che non si sta letteralmente restituendo un riferimento a una variabile locale, si sta restituendo una variabile che è un riferimento a una variabile locale. Il compilatore probabilmente non rileva questa situazione un po 'più complessa. Si rileva solo le cose come:

string &getString(){ 
    string str = "Devil Jin"; 
    return str; 
} 

Il caso del doppio è più semplice perché non comporta la costruzione e distruggendo un oggetto complesso così in questa situazione l'analisi di controllo del flusso del compilatore probabilmente ha fatto un lavoro migliore a rilevare l'errore.

Answer 2

Il riferimento a double si riferisce a un percorso che è ancora fisicamente in memoria ma non più nello stack. Lo stai cavando solo perché la memoria non è stata ancora sovrascritta. Mentre lo double è una primitiva, lo string è un oggetto e ha un distruttore che può cancellare la stringa interna a una lunghezza zero quando non rientra nell'ambito. Il fatto che tu non stia ottenendo rifiuti dalla tua chiamata a c_str() sembra supportarlo.

Answer 3

GCC aveva un'estensione denominata Named Returns che consente di eseguire la stessa operazione, ma ha assegnato lo spazio all'esterno della funzione. Sfortunatamente non esiste più; Non sono sicuro del motivo per cui l'hanno estratto

Answer 4

Caso classico di un riferimento Dangling rispetto a C++. La doppia variabile non era su stack di chiamate mentre il riferimento di riferimento stava tentando di accedervi invocando il compilatore per impostare i flag di guardia. String ha tuttavia un meccanismo di Garbage Collection esplicito che consente al compilatore di trascurare lo scenario.