C++11 std::declval

一 简介

头文件<utility>

template<class T>
typename std::add_rvalue_reference<T>::type declval() noexcept;  (C++11 起) 

1. std::declval将T转换为引用类型。

2. 通常在模板中使用std::declval。

3. std::declval只用于不求值语境，特别是在decltype表达值中，通过std::decltype不经过构造函数就能使用其成员函数，甚至T可能就没有构造函数。

二 例子

#include <iostream>
#include <utility> // declval

struct A {
  A() {std::cout << "A()" << std::endl;}
  int f() {return 1;};
};

struct B {
  float f() {return 2;};
 private:
  B() {std::cout << "B()" << std::endl;}
};

struct C {
  C() = delete;
  double f() { return 3; };
};

int main() {
  // A有默认构造
  std::cout << "decltype(std::declval<A>().f()) type: "
            << typeid(decltype(std::declval<A>().f())).name() << std::endl;
  decltype(A().f()) a = 11;

  // B默认构造为私有
  std::cout << "decltype(std::declval<B>().f()) type: " 
            << typeid(decltype(std::declval<B>().f())).name() << std::endl;
  decltype(std::declval<B>().f()) b = 22;

  // C无默认构造
  std::cout << "decltype(std::declval<C>().f()) type: "
            << typeid(decltype(std::declval<C>().f())).name() << std::endl;
  decltype(std::declval<C>().f()) c = 33;

  std::cin.get();
  return 0;
}

三 参考

cppreference