左值赋值给右值引用的行为探究：临时对象是否不会被析构？

嘿，这个问题问到点子上了——右值引用的绑定规则和临时对象生命周期是C++里容易混淆的点，咱们结合你给的Word类代码慢慢捋清楚：

一、右值引用绑定左值的前提 #

默认情况下，右值引用（T&&）只能绑定右值（比如临时对象、字面量、std::move()返回的对象），直接把左值赋值给右值引用会触发编译器错误。比如你写：

Word w("hello");
Word&& r = w; // 编译错误！左值不能直接绑定到右值引用

必须通过std::move()将左值转换为右值引用类型，才能完成绑定：

Word w("hello");
Word&& r = std::move(w); // 合法，此时r绑定到左值w

二、绑定后的程序行为 #

你提供的Word类目前只实现了默认构造、转换构造和拷贝构造，没有实现移动构造/移动赋值运算符。这种情况下，当你用std::move()把左值绑定到右值引用时，因为右值引用可以被const T&（常量左值引用）兼容绑定，所以会调用拷贝构造函数——也就是会创建一个新对象，复制原左值的内存资源。

如果给Word类补充移动构造函数（这才是右值引用设计的初衷，用来实现高效的资源转移）：

Word(Word&& w) noexcept : ptr(w.ptr) {
    w.ptr = nullptr; // 把原对象的资源指针置空，避免后续析构时重复释放内存
    cout << "move constructor: " << ptr << endl;
}

此时用std::move(w)绑定右值引用时，会调用移动构造函数：它会直接接管原左值w的内存资源，不需要重新分配内存拷贝数据，效率比拷贝高很多。原左值w的ptr会被置空，后续析构w时不会释放资源（因为ptr是nullptr，析构函数里判断一下就不会执行释放逻辑啦）。

三、临时对象的析构规则 #

先给你吃个定心丸：临时对象一定会被析构，不存在“不会被析构”的情况，只是析构的时机可能不同：

• 如果临时对象被右值引用或const左值引用直接绑定，那么临时对象的生命周期会被延长，和引用的生命周期保持一致，直到引用失效时才会析构。比如：

  Word&& r = Word("temporary"); // 临时对象的生命周期延长到r销毁时
  

• 如果临时对象没有被引用绑定，那么它会在所在表达式执行完毕后立即析构。比如：

  cout << Word("temp").ptr << endl; // 表达式结束后，临时对象立刻析构
  

• 另外，C++17及以后标准中，当你写Word w = Word("test");时，编译器会触发拷贝省略（强制优化），不会产生临时对象，直接在w的内存地址上调用构造函数，也就不存在临时对象析构的问题。

总结 #

• 左值不能直接绑定到右值引用，必须通过std::move()转换；绑定后如果类实现了移动语义则转移资源，否则执行拷贝操作。
• 临时对象必然会被析构，只有被右值/const左值引用绑定的情况下，生命周期会被延长，其他场景都会在表达式结束后立即析构。

内容的提问来源于stack exchange，提问作者Billy Cheung