c++ - 当 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) 时，出现以下编译时错误.

error: multiple overloads of 'Message' instantiate to the same signature 'void (const int &&)'

explicit Message(const T& data) : data(data) {

之前的声明在这里

explicit Message(T&& data) : data(std::move(data)) {

但是，当我调用 make_message(1024) 时，它就起作用了。和make_message(std::move(a)) .

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

Answer 1

So why constructor Message(const T& data) is duplicate with Message(T&& data) when T = int&?

由于引用折叠规则。

不存在“引用到引用”这样的东西。当 T 是左值引用时 - 假设 int &，则语法上 T & 看起来是 int & & >。但这种类型并不存在。该语言的规则规定，在这种情况下，T & 会折叠为 int &。

同样，不存在 const 引用这样的东西(不要与 const 引用混淆，人们有时在说 const 引用时指的是 const 引用)。当 T 是左值引用时 - 比如说 int&，那么语法上会出现 T const (与 const T 相同)是一个 int& const (不要与 int const & 混淆，它与 const int & 相同)。但这种类型并不存在。该语言的规则规定，在这种情况下，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 也是如此。