如何解决使用带有引用类型的 declval
我看到一些代码示例,其中用于实例化 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())>);
}
版权声明:本文内容由互联网用户自发贡献,该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请发送邮件至 dio@foxmail.com 举报,一经查实,本站将立刻删除。