问题描述
我看到一些代码示例,其中用于实例化 std::declval
模板函数的类型被指定为引用类型而不仅仅是类型,如下所示:
std::declval<T &>()
相反:
std::declval<T>()
其中 T
是某种类型。我错过了为什么可能会在普通类型上选择引用符号的微妙之处。有人可以向我解释一下吗?
我知道 std::declval
扩展为 typename std::add_rvalue_reference<T>::type
,但我仍然不知道为什么会使用对类型的引用而不是普通类型本身来实例化后者。
解决方法
由于引用折叠,结果不同(请参阅 the answer I linked in a comment),并且确实会产生后果。
例如,考虑成员函数可以被 &&
/&
/const&
限定。
以下是一个简单的示例,尽管可能毫无意义,但它说明了如何将 T
与 T&
传递给 std::declval
会产生“剧烈”的效果。
#include <type_traits>
struct A{};
struct B{};
struct C {
A f() && { return A{}; }
B f() const & { return B{}; }
};
int main() {
static_assert(std::is_same_v<A,decltype(std::declval<C>().f())>);
static_assert(std::is_same_v<B,decltype(std::declval<C&>().f())>);
}