¿La "optimización del valor de retorno" causa un comportamiento indefinido?

Question

lectura this artículo de Wikipedia señalado por uno de los respondedores a la siguiente pregunta:

C++ Copy constructor, temporaries and copy semantics

me encontré con esta línea

Dependiendo del compilador, y la configuración del compilador, el programa resultante puede mostrar cualquiera de las siguientes salidas:

¿Esto no califica para un comportamiento indefinido? Sé que el artículo dice Depending on the compiler and settings, pero solo quiero aclarar esto.

Answer 1

No, no es un comportamiento indefinido. El comportamiento indefinido tiene una definición específica en el estándar (principalmente: "comportamiento, como el que puede surgir al usar una construcción de programa errónea o datos erróneos, para los cuales este Estándar Internacional no impone requisitos"). En este caso, el comportamiento no está especificado, pero no indefinido

La diferencia es que cualquier ejecución de cualquier cosa con comportamiento indefinido hace que todo el comportamiento de su programa no esté definido (es decir, cualquier cosa puede suceder). Con este comportamiento particular no especificado, solo puede suceder una de dos cosas: el constructor de copia se ejecuta o no.

Answer 2

No. El comportamiento se define como una de las salidas en la lista. El comportamiento indefinido incluye demonios que salen volando de tu nariz.

Ver: Nasal Demons

Answer 3

undefined behavior es bastante diferente de implementation defined behavior, que es lo que está en juego aquí.

Answer 4

Depende de lo que quiere decir indefinido. Creo lo que otros han dicho aquí, según la definición que usan los documentos de estándares. Pero también sé que cuando alguien dice "o esto o lo otro, no te digo cuál", pienso que es un comportamiento indefinido.

No es un gran problema, sin embargo, ya que nunca debería causar un error. Cuando define ciertos métodos, se espera que los defina siguiendo convenciones particulares: es un tipo de contrato implícito entre usted, el compilador y las personas que usarán y mantendrán su código.

En este caso, si obtiene una copia de construcción, etc. o el comportamiento optimizado, se espera que el efecto sea el mismo: la persona que llama recibe el valor deseado. Si el constructor de su copia está imprimiendo "Hello World!" o tiene otros efectos secundarios inapropiados, no está implementando el comportamiento esperado para un constructor, por lo que la falla es suya por romper el contrato.