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) |
推导以一组实参调用一个可调用对象的结果类型 (类模板) |
