Devolviendo una referencia en C++

Question

Considere el siguiente código donde devuelvo double& y string&. Funciona bien en el caso de un doble, pero no en el caso de una cadena. ¿Por qué el comportamiento difiere?

En ambos casos el compilador ni siquiera arroja el Warning: returning address of local variable or temporary ya que estoy devolviendo una referencia.

#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; 
} 

Salida:

$ ./a.exe 
Double = 46.5 
String = 

Answer 1

Nunca se debe devolver una referencia a una variable local no importa lo que el compilador o deja de hacer. El compilador puede ser engañado fácilmente. no debe basar la corrección de su código en alguna advertencia que no se haya disparado.

La razón por la que no ha aparecido aquí probablemente sea que no está devolviendo literalmente una referencia a una variable local, sino que está devolviendo una variable que hace referencia a una variable local. El compilador probablemente no detecta esta situación algo más compleja. Sólo se detecta cosas como:

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

El caso de la doble es más simple, ya que no implica la construcción y destruyendo un objeto complejo por lo que en esta situación el análisis de control de flujo del compilador probablemente hizo un mejor trabajo en la detección de el error.

Answer 2

La referencia a double se refiere a una ubicación que aún está físicamente en la memoria pero ya no en la pila. Solo te saldrás con la tuya porque aún no se ha sobrescrito la memoria. Mientras que double es una primitiva, string es un objeto y tiene un destructor que puede estar borrando la cadena interna a una longitud cero cuando se sale del alcance. El hecho de que no está recibiendo basura de su llamada al c_str() parece apoyar eso.

Answer 3

GCC solía tener una extensión llamada Named Returns que le permite lograr lo mismo, pero asigna el espacio fuera de la función. Lamentablemente, ya no existe; No estoy seguro de por qué lo sacaron

Answer 4

Caso clásico de una referencia colgante con respecto a C++. La variable doble no estaba en la pila de llamadas mientras que la referencia de retorno intentaba acceder invocando al compilador para establecer los indicadores de protección. Sin embargo, String tiene un mecanismo explícito de recolección de basura que permite que su compilador pase por alto el escenario.