valor de inicialización de un miembro const refiero

Question

Estoy buscando en el código de la siguiente forma:

class foo 
{ 
    public: 
    foo() {} 

    //... 
}; 

class bar 
{ 
    public: 
    bar() : ref() {} 

    private: 
    const foo &ref; 
}; 

se está iniciando una referencia temporal utilizando una de esta manera correcta? Sé que es posible inicializar una referencia constante que sea una variable local con una temporal, y que al hacerlo amplíe la vida útil del temporal, p.

const foo &tmp = funcThatReturnsByValue(); //OK 

Sin embargo, una de las respuestas a la relacionada initialize reference in initialization list sugiere que hay una diferencia entre, y que al inicializar ref que el anterior es un comportamiento indefinido "de larga duración" referencias "de corta duración" y (a pesar de que ref es una referencia const).

12.2.5 en el estándar dice, en parte, "Un enlace temporal a un miembro de referencia en el inicializador de códigos del constructor persiste hasta que el constructor sale". ¿Eso es describir esta situación?

Answer 1

Este código está mal formado. No puede inicializar por defecto o valorizar inicializar una referencia.

Si realmente tiene una expresión dentro de ref(), entonces sí, 12.2.5 se aplicaría y el temporal se destruiría cuando el constructor salga.

Answer 2

Creo que lo que quiere hacer es:

bar() : ref(foo()) {} 

pero no creo que ingenuamente que el tiempo de vida de un temporal se extiende hasta que haya una referencia a él. No, en realidad no lo es. Entonces, ya sea const o no, debes inicializar la referencia con un objeto normal.

Answer 3

Su ejemplo no es la creación de un temporal - para hacer eso tiene que cambiar a:

bar() : ref(foo()) {} 

Ahora estás vinculante la referencia a un temporal, y ese objeto temporal será destruido al final del constructor Su referencia será inválida, y eso no es algo bueno.