Come funziona std :: declval <T>()?

Question

Sto cercando di capire come funziona std::declval<T>(). Io so come usarlo, e sapere cosa fa, consente principalmente di utilizzare decltype senza costruire l'oggetto, come

decltype(std::declval<Foo>().some_func()) my_type; // no construction of Foo 

So per cppreference.com che std::declval<Foo> "aggiunge" un riferimento rvalue a Foo, che a causa di le regole di compressione di riferimento diventano o un riferimento di rvalore o un riferimento di lvalue. La mia domanda è: perché il costruttore di Foo non viene chiamato? Come si può implementare una versione "giocattolo" di std::declval<T> senza costruire il parametro template?

PS: I know non è lo stesso del vecchio trucco

(*(T*)(nullptr)) 

Answer 1

In sostanza, in un sizeof o decltype espressione è possibile richiamare le funzioni che non sono implementate ovunque (che devono essere dichiarati, non implementata).

E.g.

class Silly { private: Silly(Silly const&) = delete; }; 

auto foo() -> Silly&&; 

auto main() -> int 
{ 
    sizeof(foo()); 
} 

Il linker non dovrebbe lamentarsi di questo.