std::declval
来自cppreference.com
定义于头文件 <utility>
|
||
template<class T> typename std::add_rvalue_reference<T>::type declval() noexcept; |
(C++11 起) | |
将任意类型 T
转换成引用类型,令在 decltype 表达式中不必经过构造函数就能使用成员函数。
通常在模板中使用 declval
,模板接受的模板实参通常可能无构造函数,但有同一成员函数,均返回所需类型。
注意, declval
只能用于不求值语境,且不要求有定义;求值包含此函数的表达式是错误。通常,若 odr 使用此函数被则程序为病式。
参数
(无)
返回值
不能被调用,因此不会返回一个值。返回类型是 T&&
,除非 T
是(可有 cv 限定的) void
,此情况下返回类型是 T
。
示例
运行此代码
#include <utility> #include <iostream> struct Default { int foo() const { return 1; } }; struct NonDefault { NonDefault() = delete; int foo() const { return 1; } }; int main() { decltype(Default().foo()) n1 = 1; // n1 的类型是 int // decltype(NonDefault().foo()) n2 = n1; // 错误:无默认构造函数 decltype(std::declval<NonDefault>().foo()) n2 = n1; // n2 的类型是 int std::cout << "n1 = " << n1 << '\n' << "n2 = " << n2 << '\n'; }
输出:
n1 = 1 n2 = 1
参阅
decltype 说明符(C++11)
|
获得表达式或实体的类型 |
(C++11)(C++20 中移除)(C++17) |
推导以一组实参调用一个可调用对象的结果类型 (类模板) |