为何不能使用左值引用实现C++移动构造函数？

先看你给出的两种实现：

标准移动构造函数实现 #

class Test {
public:
    int *ptr;
    Test() {
    }
    Test(Test&& t) {
        ptr = t.ptr;
        t.ptr = nullptr;
    }
};

int main() {
    Test t = Test(Test());
    return 0;
}

你尝试的替代实现 #

class Test {
public:
    int *ptr;
    Test() {
    }
    Test(Test& t) {
        ptr = t.ptr;
        t.ptr = nullptr;
    }
};

int main() {
    Test t = Test(Test());
    return 0;
}

你觉得第二段代码能正常运行，但它完全不能替代移动构造函数，核心原因如下：

• 无法真正支持右值，编译依赖编译器优化
  C++标准规定，非const左值引用（Test&）不能绑定到临时对象（右值）。你这段代码能编译，是因为编译器开启了复制消除优化，直接跳过了临时对象的构造过程，相当于直接执行Test t;，根本没调用你写的构造函数。如果关闭优化（比如GCC添加-fno-elide-constructors参数），代码会直接编译报错，因为临时对象无法传递给Test&类型的参数。

• 违背左值的语义约定
  左值代表的是有名字、可被后续使用的对象，你的构造函数会直接掏空传入的左值对象（将t.ptr置为nullptr），如果后续代码还使用这个左值，会触发空指针错误。而移动构造函数的右值引用（Test&&）明确标记该对象是临时的、可以被安全掠夺资源的，不会破坏正常左值的使用逻辑。

• 无法适配标准库
  C++标准库容器（如std::vector）在扩容、转移元素时，会优先调用移动构造函数。如果你的类只有接受左值引用的构造函数，标准库会尝试调用拷贝构造函数——若没有合适的拷贝构造函数，代码编译失败；若有，则会执行深拷贝，完全失去移动语义带来的性能提升。

• 代码意图模糊，不符合语言规范
  移动构造函数是C11明确引入的语义，用来区分“拷贝（复制资源）”和“移动（转移资源所有权）”两种行为。用左值引用构造函数模拟移动，会让代码意图变得模糊，其他开发者阅读时会产生误解，也违背了C的语言设计规范。

内容的提问来源于stack exchange，提问作者Rodrigo Pontes