Vinculando uma referência constante a um subobjeto de um temporário

Comportamento padrão

O comportamento ao vincular uma referência constante a um subobjeto de um temporário é definido pelo padrão C e varia dependendo do fornecedor do compilador.

GCC e Clang Diferenças

• GCC (versão 5.2.0): Destrói a instância P2d temporária antes de inserir printf em main, preservando o valor criando outro duplo temporário.
• Clang (versão X): Estende o tempo de vida da instância P2d temporária para o tempo de vida da referência x, chamando o destruidor após printf em main.

Explicações

De acordo com o CWG 1651, o resultado de um acesso de membro ou expressão de subscrito aplicada a um prvalue deve ser tratado como um xvalue. Isso implica que vincular uma referência a tal subobjeto de um temporário não deve estender a vida útil do temporário.

No entanto, no exemplo fornecido, ambos os compiladores tratam center().x como um pré-valor. O GCC não estende a vida útil ao usar subobjetos escalares porque eles não são cobertos por [dcl.init.ref]/(5.2.1.1). Portanto, o objeto temporário pode ser destruído antecipadamente.

Em contraste, Clang implementou a resolução pendente para DR 1651, que afirma que se E1 for uma expressão temporária e E2 não designar um campo de bit, então E1 .E2 é uma expressão temporária. Como center() é uma expressão temporária de acordo com esta definição, o texto modificado em [class.temporary] /5 se aplica. Ele afirma explicitamente que o objeto temporário correspondente persiste durante a vida útil da referência.

Portanto, Clang estende a vida útil da instância P2d temporária neste caso, enquanto o GCC não.

Conclusão

Espera-se que o comportamento atual do GCC e do Clang mude assim que as revisões propostas para o padrão C forem adotadas.