std::declval
来自 cppreference.com
定义在头文件 <utility> 中 |
||
template< class T > typename std::add_rvalue_reference<T>::type declval() noexcept; |
(自 C++11) | |
将任何类型 T
转换为引用类型,从而可以在 decltype
说明符 的操作数中使用成员函数,而无需通过构造函数。
std::declval
通常在模板中使用,其中可接受的模板参数可能没有共同的构造函数,但具有相同的成员函数,其返回类型是必需的。
请注意,std::declval
只能在 未评估上下文 中使用,并且不需要定义;评估包含此函数的表达式是错误的。正式地说,如果此函数被 odr 使用,则程序格式错误。
内容 |
[编辑] 参数
(无)
[编辑] 返回值
无法调用,因此永远不会返回值。返回值类型为 T&&
,除非 T
为(可能是 cv 限定的)void,在这种情况下,返回值类型为 T
。
[编辑] 可能的实现
template<typename T> typename std::add_rvalue_reference<T>::type declval() noexcept { static_assert(false, "declval not allowed in an evaluated context"); } |
[编辑] 示例
运行此代码
#include <iostream> #include <utility> struct Default { int foo() const { return 1; } }; struct NonDefault { NonDefault() = delete; int foo() const { return 1; } }; int main() { decltype(Default().foo()) n1 = 1; // type of n1 is int // decltype(NonDefault().foo()) n2 = n1; // error: no default constructor decltype(std::declval<NonDefault>().foo()) n2 = n1; // type of n2 is int std::cout << "n1 = " << n1 << '\n' << "n2 = " << n2 << '\n'; }
输出
n1 = 1 n2 = 1
[编辑] 另请参阅
decltype 说明符(C++11) |
获取表达式或实体的类型 |
(C++11)(C++20 中已删除)(C++17) |
推断使用一组参数调用可调用对象的结果类型 (类模板) |