objeto temporal y vinculante para referencia constante

Question

Duplicar posibles:
Does a const reference prolong the life of a temporary?

Mi compilador no se queja acerca de la asignación temporal de referencia constante:

string foo() { 
    return string("123"); 
}; 

int main() { 
    const string& val = foo(); 
    printf("%s\n", val.c_str()); 
    return 0; 
} 

Por qué ? Pensé que la cadena devuelta desde foo es temporal y val puede señalar al objeto cuya duración ha finalizado. ¿Lo permite el estándar C++ y prolonga la vida útil del objeto devuelto?

Answer 1

Esta es una característica de C++. El código es válido y hace exactamente lo que parece hacer.

Normalmente, un objeto temporal solo dura hasta el final de la expresión completa en la que aparece. Sin embargo, C++ especifica deliberadamente que vincular un objeto temporal a una referencia a const en la pila alarga la vida útil del temporal a la duración de la propia referencia, y evita así lo que de otro modo sería un error común de referencia colgante. En el ejemplo anterior, el temporal devuelto por foo() vive hasta la llave de cierre.

P.S: Esto solo se aplica a las referencias basadas en pila. No funciona para referencias que son miembros de objetos.

Texto completo: GotW #88: A Candidate For the “Most Important const” by Herb Sutter.