Perché il binding al riferimento const da un ternario crea una copia?

Question

Sono sconcertato da questo:

#include <iostream> 
struct X {}; 
void f(const X &x) { std::cerr << &x << "\n"; } 

static X x; 
int main() 
{ 
    f(x); // Off stack address 
    f(false ? X() : x); // Different address on stack. 
} 

Perché sarebbe la seconda invocazione di f fare una copia temporanea?

Modifica: Questa domanda non riguarda tanto il tipo X, quanto il fatto che ne viene fatta una copia. Mi mancava la sottolocazione delle categorie di valori dalla risposta accettata e mi ero aspettato che il parametro di f si legasse su x o X() direttamente come quando riformulava questa come un'istruzione if.

Answer 1

L'operatore condizionale determina una categoria di tipo e valore comune per il secondo e il terzo operando. Qualunque sia il ramo scelto (come determinato dalla condizione), l'operando corrispondente viene convertito in questa categoria di tipo e valore comune.

In questo caso X() e x entrambi hanno tipo X, quindi il tipo comune è ovviamente X stesso. Ma il risultato è un valore di provalutazione, quindi se si sceglie x (la condizione è falsa), viene applicata la conversione lvalue-rvalue, creando una copia temporanea di valore di x che viene quindi associata al riferimento.

In conclusione, l'uso dell'operatore condizionale stesso è ciò che costringe la copia a essere eseguita.