将decval与引用类型一起使用

Question

我看到一些代码示例，其中用于实例化std::declval模板函数的类型被指定为引用类型，而不仅仅是类型，如：

std::declval<T &>()

与相反

std::declval<T>()

其中CCD_ 2是某种类型。我忽略了为什么引用表示法可能被选择而不是普通类型的微妙之处。有人能给我解释一下吗？

我知道std::declval扩展到typename std::add_rvalue_reference<T>::type，但我仍然没有找到为什么要用对类型的引用而不是普通类型本身来实例化后者的原因。

Answer 1

由于引用崩溃，结果不同(请参阅我在评论中链接的答案(，它确实会产生后果。

例如，想象一下memeber函数可以是&&/&/const&限定的。

以下是一个简单的例子，尽管可能没有意义，说明如何将T与T&传递到std::declval可以具有"0"；激烈的"；效应

#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())>);
}