c++ - declval<T> 与 declval<T&>

Question

我试图了解 declval<T>() 之间的区别和 declval<T&>() ?有没有示例 T&可以在 T 时使用不能吗？

#include <type_traits>
#include <utility>

struct X {
  X() = delete;
  int func();
};

int main()
{
// works with both X as well as X& within declval
  static_assert(std::is_same_v<decltype(std::declval<X&>().func()), int>);
}

Answer 1

除了 ref 限定的成员函数(很少使用)，std::declval<T&>() 的更常见用例是创建一个左值引用(否则它会创建一个右值引用)。

#include <type_traits>
#include <utility>

struct X {};

int func(X&);

int main() {
  static_assert(std::is_same_v<decltype(func(std::declval<X&>())), int>); // works
  static_assert(std::is_same_v<decltype(func(std::declval<X>())), int>); // error
}