c++ - 错误的析构函数被调用

Question

我对析构函数有一个理解问题。

在以下示例中：

#include <iostream>

using namespace std;

class X{
public:
    int id;
    X(int id){
        this->id = id;
    }
    ~X(){
        cout << "destroying " << id;
    }

};



int main(){


    X a(1);
    a = X(2);


    while(true);
    return 0;

}

我得到以下输出：destroying 2

这完全出乎我的意料，因为我认为析构函数总是会在对象停止存在时被调用。

但在本例中，对象 1 停止存在并被对象 2 替换。但不是调用对象 1 的析构函数，而是调用对象 2 的析构函数。

谁能解释一下？

Answer 1

a = X(2); => 表达式调用赋值运算符和a.id 数据成员由temporaryobject.id 即2 初始化。

a = X(2); => 表达式调用编译器提供的默认赋值运算符并进行蜡样复制。

X(2) 表达式创建临时对象，temporaryobject.id 初始化为 2。

当临时对象被另一个对象调用时，第一次解构 get 调用。

Answer 2

在您的情况下，只有一个对象被销毁 - 即分配右侧的临时 X(2)。原始的X(1) 不会被破坏，因为它会被赋值覆盖。当它被销毁时，它也会打印destroying 2。

但是，修改后的X(2)（以X(1) 开头）通过无限循环保持活动状态，因此它也不会被破坏。删除无限循环可解决此问题 (demo)。