Jak działa std :: declval <T>()?

Question

Próbuję zrozumieć, jak działa std::declval<T>(). Wiem, jak go używać, i wie, co robi, głównie pozwala na użycie decltype bez budowy obiektu, jak

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

wiem z cppreference.com że std::declval<Foo> „dodaje” odniesienie rvalue do Foo, które ze względu na Referencyjne reguły zwijania kończą się albo referencją rvalue, albo referencją lvalue. Moje pytanie brzmi, dlaczego konstruktora Foo nie nazywa? W jaki sposób można wdrożyć "zabawkową" wersję std::declval<T> bez konstruowania parametru szablonu?

PS: I know to nie jest taki sam jak stary trik

(*(T*)(nullptr)) 

Answer 1

Zasadniczo w sizeof lub decltype wypowiedzi można funkcje, które nie są realizowane w dowolnym miejscu (muszą one zostać uznane za rozmowę, nie wdrożone).

E.g.

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

auto foo() -> Silly&&; 

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

Łącznik nie powinien narzekać na to.