C++模板元编程--函数萃取

在C++中，std::declval是一个非常有用的模板函数，它是标准库<utility>头文件的一部分。它的主要作用是在不创建对象的情况下，获取该类型的引用，从而允许在编译时表达式中使用该类型的成员函数或成员变量，即使没有默认构造函数也可以。这在模板编程和类型萃取（type traits）中尤其有用，特别是在编写依赖于SFINAE（Substitution Failure Is Not An Error）的代码时。

语法

template< class T >
add_rvalue_reference<T>::type declval() noexcept;

std::declval通常用于decltype中，以获取表达式的类型，而不实际执行代码。它仅用于编译时类型推导，不能用于运行时表达式。

使用场景

• 类型萃取（Type Traits）：当你需要在编译时检查一个类型是否具有某个成员函数或属性，但又不想（或不能）创建该类型的实例时。
• SFINAE（Substitution Failure Is Not An Error）：在模板元编程中，通过std::declval使得某些模板仅在特定条件下才被编译器选择。

让我们通过一个具体的例子来展示std::declval的使用场景。假设我们想编写一个类型萃取（type trait），用于检测一个类是否定义了一个名为serialize的成员函数。这个成员函数的原型为std::string serialize() const。使用std::decl