std::declval<T>()是如何工作的？

Question

我正在尝试理解std::declval<T>()是如何工作的。我知道如何使用它，也知道它做了什么，主要是允许您在不构造对象的情况下使用decltype，例如

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

我从cppreference.com了解到，std::declval<Foo>向Foo“添加”了一个右值引用，由于引用折叠规则，它最终要么是一个右值引用，要么是一个左值引用。我的问题是为什么不调用Foo的构造函数？如何在不构造模板参数的情况下实现std::declval<T>的“玩具”版本？

PS：I know这和老把戏不一样

(*(T*)(nullptr))

Answer 1

基本上，在sizeof或decltype表达式中，您可以调用没有在任何地方实现的函数(它们需要声明，而不是实现)。

例如。

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

auto foo() -> Silly&&;

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

链接器不应该抱怨这一点。