为什么当 T = int& 时构造函数 Message(const T& data) 与 Message(T&& data) 冲突？

Question

template <typename T>
struct Message {
    T data;
    explicit Message(T&& data) : data(std::move(data)) {
        std::cout << "Move data" << std::endl;
    }

    explicit Message(const T& data) : data(data) {
        std::cout << "Copy data" << std::endl;
    }
};

template <typename T>
inline Message<T>*
makeMessage(T&& data) {
    return new Message<T>{std::forward<T>(data)};
}


int main() {
    const int a = 1024;
    auto *copy_msg = makeMessage(a);
}

有一个模板类Message 有两个构造函数：Message(T&& data) 和Message(const T& data)，当我调用makeMessage(a) 时出现以下编译时错误。

错误：'Message' 的多个重载实例化为相同的签名 'void (const int &&)'

显式消息（常量 T& 数据）：数据（数据）{

之前的声明在这里

显式消息(T&& 数据) : data(std::move(data)) {

但是，当我调用 make_message(1024) 和 make_message(std::move(a)) 时，它可以工作。

那么为什么当 T = int& 时构造函数 Message(const T& data) 与 Message(T&& data) 重复？

Answer 1

那么为什么当 T = int& 时构造函数 Message(const T& data) 与 Message(T&& data) 重复？

因为参考折叠规则。

没有引用引用这样的东西。当T 是一个左值引用时——比如说int &，那么在语法上T & 似乎是一个int & &。但这种类型不存在。语言规则说，在这种情况下，T & 会折叠成int &。

同样，没有 const 引用（不要与 const 引用混淆，人们有时说 const 引用时的意思）。当T 是左值引用时——假设int&，那么在语法上T const（与const T 相同）似乎是int& const（不要与int const & 混淆，后者与@987654333 相同@)。但这种类型不存在。语言规则说，在这种情况下，T const 会折叠成int &。

C++11 引入了右值引用，为我们带来了新的折叠规则。简而言之，“对右值引用的右值引用”折叠为右值引用，但“对任何引用的左值引用”以及“对左值引用的任何引用”折叠为左值引用。这条规则是转发引用工作原理的一部分。

因此，给定T = int &，它们声明了相同的函数：

explicit Message(T&& data)      // type of argument is int &
explicit Message(const T& data) // type of argument is int &

---

奖励：非引用也有折叠规则：没有 const const 类型这样的东西。因此，给定const T，其中T 是const int，然后它会折叠成const int。 volatile 也是如此。