odr-uso dell'argomento constexpr inoltrato?

Question

Nel seguito ...

struct C {}; 
constexpr C c; 

void g(C); 

template<typename T> 
void f(T&& t) { 
    g(std::forward<T>(t)); 
} 

int main() { 
    f(c); 
} 

Is c ODR-utilizzato? Perché perché no?

Answer 1

Passando attraverso gli stessi movimenti come in Richard's answer, troviamo che la seconda condizione per non essere è violato ODR-utilizzato, e quindi cè ODR-utilizzato. In dettaglio, la condizione sia:

[Una variabile x è ODR utilizzata da un'espressione ex meno x è un oggetto e] ex è un elemento dell'insieme di potenziali risultati di un'espressione e, dove la conversione da lvalue a rvalue viene applicata a e oppure e è un'espressione di valore scartato.

Nel nostro caso x dal standard è il vostro c, e ex è l'ID-espressione c. Le uniche espressioni di cui ex è un potenziale risultato è l'espressione id ex. Non è né un'espressione di valore scartato, né è applicata la conversione da lvalue a valore (poiché si lega a un riferimento).