¿Por qué se destruyen los objetos sin nombre de C++ antes de que finalice el bloque del osciloscopio?

Question

El siguiente código imprime uno, dos, tres. ¿Es eso deseado y cierto para todos los compiladores de C++?

class Foo 
{ 
     const char* m_name; 
public: 
     Foo(const char* name) : m_name(name) {} 
     ~Foo() { printf("%s\n", m_name); } 
}; 

void main() 
{ 
     Foo foo("three"); 
     Foo("one"); // un-named object 
     printf("two\n"); 
} 

Answer 1

Una variable temporal vive hasta el final de la expresión completa en la que se creó. La suya termina en el punto y coma.

Esto está en 12.2/3:

objetos temporales se destruyen como el último paso en la evaluación de la expresión completa (1.9) que (léxico) contiene el punto en el que fueron creados.

Su comportamiento está garantizado.

Hay dos condiciones que, si se cumplen, extenderán la vida útil de un temporal. El primero es cuando se trata de un inicializador para un objeto. El segundo es cuando una referencia se une a un temporal.

Answer 2

El alcance de un objeto temporal como ese es solo una línea. Piénselo, ya no puede hacer referencia a él una vez que la línea termina, entonces, ¿por qué el objeto se mantendrá?

Si este no fuera el caso, los compiladores no podrían optimizar los objetos temporales en las llamadas a funciones.

Answer 3

Sí, es deseado.

Foo foo("three") crea un objeto normal que se destruirá cuando finalice el alcance.

Foo("one") crea un objeto temporal, que se destruye al final de la instrucción [1]. ¿Por qué? Porque no hay forma de que pueda acceder una vez que la instrucción haya finalizado.

[1] Simplificación deliberada: Debería haber dicho punto de secuencia.

Answer 4

Las reglas que rigen la vida útil de los objetos temporales no tienen nada que ver con la noción de alcance . El ámbito es una propiedad de un nombre, y los objetos temporales no tienen nombres. En otras palabras, los objetos temporales no tienen alcance.

La mayor parte del tiempo la vida útil de un objeto temporal finaliza al final de la expresión completa que creó ese objeto, que es lo que observó en su experimento. Esta es la regla general que tiene algunas excepciones. La principal es que si adjunta inmediatamente una referencia a su objeto temporal, el tiempo de vida del objeto se ampliará para que coincida con el tiempo de vida de la referencia

const Foo &rfoo = Foo("one"); 

Lo anterior será temporal vivir hasta rfoo vidas.

Answer 5

Porque el comité de normas cometió errores. Lo hace porque eligieron hacerlo hacerlo. Está definido para hacerlo de esta manera. Debe considerarse una instancia anónima con alcance igual que si hubiera sido nombrado. Desde el punto de instanciación hasta el final del bloque. Al parecer, pensaron que el único uso era pasar los temporales a funciones en las que se empujaban en la pila y salían de la pila al final de una llamada de función ...

Un objeto sin nombre todavía debe ser empujado a la pila y permanecer en la pila hasta que el bloque termine, saliéndolo de la pila cuando se espera. Construir y destruir un objeto durante una sola declaración no tiene sentido. Me gustaría ver una sola instancia/caso donde esto sea realmente útil. Si no permanece en el alcance durante la duración del bloqueo, sin duda debería ser un error y, como mínimo, debería generar una advertencia.