c++ - 对象替换自身是否合法？

Question

我觉得这不是真正合法的或涉及未定义的行为，其中成员对象将自己替换为另一个实例。我在 StackOverflow 和 Google 上搜索了很长时间，发现主要是那些想要delete this; 的人。我不完全确定 delete this; 问题是否属于相同情况，因为我没有 new 我的实例并且我没有 delete 它。

我说得对吗？

如果我仍然需要代码来做这样的事情，有没有简单的方法解决这个问题？

struct Test;

struct Member {
    void fail();
    Test* test;
};

struct Test {
    Test(): member() {
        member.test = this;
    }

    void doStuff() {
        member.fail();
    }

    Member member;
};

void Member::fail() {
    test->member = Member(); // delete the object the current code is executing on
}

int main() {
    Test bla;
    bla.doStuff();
}

Answer 1

// delete the object the current code is executing on

不，它不会删除任何东西。

您所做的只是构造一个临时的 Member 对象，然后以该临时对象作为参数调用 *this 的复制赋值运算符。

从C++的角度来看，这不是对象的“替换”，也不是对象的“删除”。这只是一个成员函数调用。在这种情况下，唯一可观察到的结果是 test 在调用 fail() 后将被清空。

分配给对象对其生命周期没有影响。

现在，如果您开始尝试使用 delete 和 new，就会遇到问题。