C++析构函数调用了错误的对象？

Question

我是C++的新手，我写了一个小程序来了解赋值如何处理对象。这个页面(http://www.cplusplus.com/doc/tutorial/classes2/)的cpp文档提示我这样做。在这一页上，它指出：

隐式版本[复制赋值操作符]执行浅层复制，这适用于许多类，但不适用于具有指向对象的指针的类，这些对象处理其存储。在这种情况下，不仅类会冒两次删除指向对象的风险，而且赋值会通过在赋值之前不删除对象指向的对象而造成内存泄漏。

class Test{
public:
    int id;
    explicit Test(int id) : id(id) {
        cout << "Created " << id << endl;
    }
    ~Test() {
        cout << "Destroyed " << id << endl;
    }
};

int main() {
    Test x = Test(1);
    x = Test(2);

    cout << x.id << endl;
    return 0;
}

我所期望的输出是：

1:创建1
2:销毁1？（这是一个我不确定的问题，因为网站暗示如果对象被另一个对象“替换”而不是超出作用域，将不会调用此析构函数）
3:创建2对象2'替换‘对象1，因为它被分配给X
4:2对象2的id值打印出来
5:销毁2对象2超出作用域时销毁

相反，我得到了以下输出：

Created 1
Created 2
Destroyed 2
2
Destroyed 2

其次，由于对象2的析构函数已经被调用，我们可以假定它已经被销毁。2的下一个输出似乎与此矛盾，因为它表明X仍然保存着对象2（预期的，但与调用其析构函数相矛盾）。

我不太清楚为什么会这样。

最后，输出destroyed 2。如果我们不早点看到这一点，这是有道理的。对象2存储在X中，因此当它超出作用域时，将调用析构函数。

Answer 1

使用调试器，当行x=Test(2)时，Created2和Destroy2都显示；叫做。如果我们刚刚给对象2分配了x，为什么它的析构函数会立即被调用呢？接下来是下一部分。

行x=Test(2)；首先使用构造函数参数2创建Test。这就是生成Created2的原因。然后，这个无名的测试被分配给x，它给x.id提供值2。这个无名的测试在表达式末尾被销毁，生成“destroyed 2”。

其次，由于对象2的析构函数已经被调用，我们可以假定它已经被销毁。下一个输出2似乎与此矛盾，因为它表明x仍然持有对象2（预期的，但与它的析构函数的调用相矛盾）。

正如本答案的第一部分所表示的，销毁的不是x，而是临时的temp。x.id仍然有效，并将产生它的新值2。

最后，输出销毁2。如果我们不早点看到这一点，这是有道理的。对象2存储在x中，因此当它超出作用域时，将调用析构函数。

当x在函数末尾被销毁时，就会发生这种情况。它的ID值被前面的赋值更改为2，因此生成“Destroyed 2”。

编辑：看来您可能担心资源泄漏。由于test没有管理任何资源，因此不会发生泄漏，编译器生成的成员行为良好。如果您的类确实管理资源（通常以动态分配内存的形式），那么您将需要应用3/5/0规则。值得注意的是，您需要自己实现赋值操作符，以便它清理以前保存的任何资源。仅仅实现析构函数是不够的，因为它不涉及赋值。