Vincular una referencia constante a un subobjeto de un temporal

Comportamiento estándar

El comportamiento al vincular una referencia constante a un subobjeto de un temporal está definido por el estándar C y varía según el proveedor del compilador.

Diferencias de GCC y Clang

• GCC (versión 5.2.0): Destruye la instancia temporal de P2d antes de ingresar printf en main, preservando el valor creando otro doble temporal.
• Clang (versión X): Extiende la vida útil de la instancia temporal de P2d a la vida útil de la referencia x, llamando al destructor después de printf en main.

Explicaciones

Según CWG 1651, el resultado de un acceso de miembro o expresión de subíndice aplicado a un valor pr se debe tratar como un valor x. Esto implica que vincular una referencia a dicho subobjeto de un temporal no debería extender la vida útil del temporal.

Sin embargo, en el ejemplo proporcionado, ambos compiladores tratan center().x como un valor pr. GCC no extiende la vida útil cuando se utilizan subobjetos escalares porque no están cubiertos por [dcl.init.ref]/(5.2.1.1). Por lo tanto, el objeto temporal puede destruirse anticipadamente.

Por el contrario, Clang ha implementado la resolución pendiente del DR 1651, que establece que si E1 es una expresión temporal y E2 no designa un campo de bits, entonces E1 .E2 es una expresión temporal. Como center() es una expresión temporal según esta definición, se aplica la redacción modificada en [class.temporary] /5. Establece explícitamente que el objeto temporal correspondiente persiste durante la vida útil de la referencia.

Por lo tanto, Clang extiende la vida útil de la instancia P2d temporal en este caso, mientras que GCC no lo hace.

Conclusión

Se espera que el comportamiento actual tanto en GCC como en Clang cambie una vez que se adopten las revisiones propuestas al estándar C.