¿Una referencia constante prolonga la vida de un temporal?

Question

¿Por qué esto:

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

class Sandbox 
{ 
public: 
    Sandbox(const string& n) : member(n) {} 
    const string& member; 
}; 

int main() 
{ 
    Sandbox sandbox(string("four")); 
    cout << "The answer is: " << sandbox.member << endl; 
    return 0; 
} 

Dar salida:

La respuesta es:

En lugar de:

La respuesta es: cuatro

Answer 1

Solo localconst Las referencias prolongan la vida útil.

La norma especifica tal comportamiento en §8.5.3/5, [dcl.init.ref], la sección de inicializadores de declaraciones de referencia. La referencia en su ejemplo está vinculada al argumento del constructor n, y se vuelve inválida cuando el objeto n está obligado a salir del alcance.

La extensión de duración no es transitiva mediante un argumento de función. §12.2/5 [class.temporary]:

El segundo contexto es cuando una referencia está vinculada a un temporal. El temporal al que se enlaza la referencia o el temporal que es el objeto completo de un subobjeto del cual el temporal está vinculado persiste durante el tiempo de vida de la referencia, excepto como se especifica a continuación. Un enlace temporal a un miembro de referencia en un ctor-initializer de un constructor (§12.6.2 [class.base.init]) persiste hasta que el constructor sale. Un límite temporal a un parámetro de referencia en una llamada a función (§5.2.2 [expr.call]) persiste hasta la finalización de la expresión completa que contiene la llamada.

Answer 2

Debido a que su cadena temporal salió de alcance una vez que el constructor de Sandbox volvió, y la pila ocupada por ella fue reclamada para otros fines.

En general, nunca debe conservar referencias a largo plazo. Las referencias son buenas para argumentos o variables locales, nunca para miembros de la clase.

Answer 3

Aquí es la forma más sencilla de explicar lo que pasó:

En main() que ha creado una cadena y se la pasó al constructor. Esta instancia de cadena solo existía dentro del constructor. Dentro del constructor, asignó miembro para señalar directamente a esta instancia. Cuando el ámbito dejó el constructor, se destruyó la instancia de cadena y el miembro apuntó a un objeto de cadena que ya no existía. Hacer que Sandbox.member señale una referencia fuera de su alcance no mantendrá esas instancias externas dentro del alcance.

Si desea corregir su programa para mostrar el comportamiento que usted desea, realizar los siguientes cambios:

int main() 
{ 
    string temp = string("four");  
    Sandbox sandbox(temp); 
    cout << sandbox.member << endl; 
    return 0; 
} 

Ahora temp pasará fuera de alcance al final del main() en lugar de al final de el constructor Sin embargo, esta es una mala práctica. Su variable miembro nunca debe ser una referencia a una variable que existe fuera de la instancia. En la práctica, nunca se sabe cuándo esa variable saldrá del alcance.

Lo que recomiendo es definir Sandbox.miembro como const string member; Esto copiará los datos del parámetro temporal en la variable miembro en lugar de asignar la variable miembro como el parámetro temporal en sí.

Answer 4

Técnicamente hablando, este programa no es necesario para producir realmente nada a la salida estándar (que es una secuencia amortiguada para empezar).

• El bit cout << "The answer is: " emitirá "The answer is: " en el tampón de stdout.

• entonces el bit << sandbox.member suministrará la referencia colgando en operator << (ostream &, const std::string &), que invoca comportamiento indefinido.

Debido a esto, no se garantiza nada a suceder. El programa puede funcionar aparentemente bien o puede bloquearse sin necesidad de enjuagar el stdout, lo que significa que el texto "La respuesta es:" no aparecerá en su pantalla.

Answer 5

respuesta simple: te refieres a algo que se ha desvanecido. El siguiente trabajo

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

class Sandbox 
{ 

public: 
    const string member = " "; 
    Sandbox(const string& n) : member(n) {}//a copy is made 

}; 

int main() 
{ 
    Sandbox sandbox(string("four")); 
    cout << "The answer is: " << sandbox.member << endl; 
    return 0; 
}