C++按值返回对象时析构函数未调用的原因及相关问题咨询

我定义了一个包含析构函数的C++类，在函数中按值返回该类的对象时，发现函数返回时析构函数并未被调用，仅在main函数结束、对象超出作用域时才触发析构。同时我注意到，对象中变量i的地址在函数调用前后完全一致。

复现代码 #

#include <iostream>

class MyClass {
public:
    int i;
    
    MyClass() {
        std::cout << "Constructing MyClass object" << std::endl;
    }
    
    ~MyClass() {
        std::cout << "Destructing MyClass object" << std::endl;
    }
};

MyClass createObject() {
    MyClass obj;
    obj.i = 42;
    std::printf("Address of i inside createObject: %p\n", &obj.i);
    return obj;
}

int main() {
    MyClass newObj = createObject();
    std::printf("Address of i inside main: %p\n", &newObj.i);
    return 0;
}

程序输出 #

Constructing MyClass object
Address of i inside createObject: 0x7fff54c8a15c
Address of i inside main: 0x7fff54c8a15c
Destructing MyClass object

我原本预期createObject()函数返回时会调用析构函数，但实际并未发生。想请教这一现象的原因，如何确保函数按值返回对象时析构函数被调用，以及变量i地址未发生变化的原因。

1. 现象的核心原因：返回值优化（RVO） #

你遇到的是C++编译器的**返回值优化（Return Value Optimization, RVO）**机制。针对函数返回局部对象的场景，编译器会直接在调用方（main函数的newObj）的内存地址上构造createObject里的局部对象obj，完全跳过了临时对象的创建、拷贝/移动操作，以及后续的析构步骤。

这就解释了两个关键现象：

• 函数返回时没有触发析构：因为不存在临时对象，obj的生命周期直接延续到main函数的newObj，直到main结束才会被销毁。
• 变量i的地址一致：createObject里的obj和main里的newObj本质是同一个对象，只是在不同作用域中被引用，自然指向同一块内存。

2. 如何确保函数返回时触发析构函数 #

要让函数返回时触发析构，需要阻止编译器执行RVO，具体分版本处理：

• C++17之前：使用编译器选项禁用返回值优化。例如：

  • GCC/Clang：添加编译参数-fno-elide-constructors
  • MSVC：添加编译参数/Od（禁用所有优化）
    禁用后，编译器会生成临时对象，函数返回时局部对象obj会被析构，临时对象再拷贝/移动到newObj，最终会看到两次析构输出。

• C++17及之后：标准强制要求对这种返回局部纯右值的场景执行复制消除（RVO是必须的），编译器选项无法禁用。此时可以通过修改代码绕过优化：
  比如在返回时用std::move强制转换为右值引用，让编译器无法执行RVO：

  MyClass createObject() {
      MyClass obj;
      obj.i = 42;
      std::printf("Address of i inside createObject: %p\n", &obj.i);
      return std::move(obj); // 强制触发移动构造，阻止RVO
  }
  

  这样函数结束时，局部对象obj会被析构，main里的newObj通过移动构造创建，最终会输出两次析构信息。

3. 变量i地址未变化的原因 #

如前所述，RVO优化直接在main函数的newObj内存位置构造createObject里的obj，两者共享同一块内存空间，因此变量i的地址完全相同。

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