为什么 std::declval<int>() = std::declval<int>() 无效？答案

【问题标题】：Why std::declval<int>() = std::declval<int>() is invalid?为什么 std::declval<int>() = std::declval<int>() 无效？
【发布时间】：2018-07-06 05:36:13
【问题描述】：

我正在尝试使用detector 我根据std::experiment::is_detected_v 编写的来检查类型是否可分配。但是std::declval<int>() = std::declval<int>() 无效，只有std::declval<int&>() = std::declval<int>() 有效。

为什么会这样？

【问题讨论】：

当你说detector是指en.cppreference.com/w/cpp/experimental/is_detected？
@John Zwinck 那是我根据它写的。
因为你需要=左侧的左值。
@o11c 但似乎int{} = int{} 是有效的。
@JiaHaoXu 不，这对我来说失败了。请注意，类与基元不同。

标签： c++ assignment-operator built-in-types

【解决方案1】：

看std::declval的签名：

template<class T>
typename std::add_rvalue_reference<T>::type declval() noexcept;

std::declval<int>() 具有类型int&&，一个右值（xvalue）。您不能分配给右值 int。

【讨论】：