std::declval 元函数

declval用于非求值上下文中
declval 原形:

template<typename _Tp>
  auto declval() noexcept -> decltype(__declval<_Tp>(0))
  {
    static_assert(__declval_protector<_Tp>::__stop,
	    "declval() must not be used!");
    return __declval<_Tp>(0);
  }
.....
template<typename _Tp>
  struct __declval_protector
  {
    static const bool __stop = false;
  };
....
template<typename _Tp, typename _Up = _Tp&&>
  _Up
  __declval(int);

template<typename _Tp>
  _Tp
  __declval(long);

• __declval只有声明,没有定义;所以说用于求值上下文中会在链接时报错
  所以上面用了静态断言以提供更友好的错误信息;
• __declval_protector 延迟实例化时机 用于防止无条件编译错误
• 而在非求值上下文中使用时,不会对函数体内的语句进行检查,即不会执行静态断言,据此约束了使用场景;
• ! 利用了函数返回值的特性, 对于__declval你传什么类型就返回什么类型的"实体", 注意:这种实例化并不是真正的在内存上构造出对象, 它在编译期非求值上下文中,仅仅是用于构造合法的语句

用法1:求函数返回类型:

void commonF(int,double,char){};

template<class F,class... Args>//F:可调用对象 类型; Args:F的参数类型
  using InvokeResultOfFunc =
  decltype(declval<F>()(declval<Args>()...));
  
int main(){
//不仅可以用于普通函数, 还可用于函数对象的求返回类型
   InvokeResultOfFunc<float (int), int> a{};//a为float类型
   InvokeResultOfFunc<decltype(commonF), int,double,char> *b{};
}