在调用实际析构函数之前删除了字段变量？

Question

在删除对象后进入析构函数之前，什么会使字段变量过时？ 我正在寻找这个问题的答案，我在这个网站上遇到了这个问题： Lifetime of object is over before destructor is called?

有些东西根本没有加起来：如果我在另一个 WrapperClass 中声明了一个指向 SomeClass 的指针，那么当我构造 WrapperClass 时，我需要创建一个 new SomeClass 和 delete 它包装的破坏。 这是有道理的，并且到目前为止一直有效。 指针在析构函数中仍然有效且正确，否则显然我无法删除它。

现在我的问题是，当我调用析构函数时，WrapperClass 的字段成员（一个 int 和一个指向 SomeClass 数组的指针）是垃圾。我在构造后检查了包装器对象，数据很好。包装器实际上是另一个Main 类中的指针，当我破坏Main（破坏包装器）时会出现问题，但如果我只是delete 来自Main 中的另一个方法的包装器，则工作正常。 我的偏执使我得到了上述答案，现在我完全糊涂了。 有人想了解一下这里到底发生了什么吗？

编辑： Node 是 SomeClass。

class WrapperException{};
class Wrapper {
private:
    struct Node { /*....*/ };
    int numNodes;
    Node** nodes;
public:
    Wrapper() : numNodes(0) { nodes = new Node*[SIZE]; }
    Wrapper(const Wrapper& other) { throw WrapperException(); }
    Wrapper& operator=(const Wrapper& other) { throw WrapperException(); }
    ~Wrapper() { //calling delete Main gets me here with garbage for numNodes and nodes
        for(int i = 0; i < numNodes; i++)
            delete nodes[i];
        delete nodes;
    }
};

class MainException{};
class Main {
public:
    Main() { wrapper = new Wrapper(); }
    Main(const Main& other) { throw MainException(); }
    Main& operator=(const Main& other) { throw MainException(); }
    ~Main() { delete wrapper; }
private:
    Wrapper* wrapper;
};

Answer 1

既然灰熊没有回答，我就把它放在那里。

您的 Main 类和 Wrapper 类都需要正确实现的复制构造函数和赋值运算符。见The Rule of 3。

问题是，如果你的类曾经被复制（这很容易在你没有意识到的情况下发生），那么指针就会被复制。现在你有两个对象指向同一个地方。当其中一个超出范围时，它的析构函数被调用，它在该指针上调用 delete，指向的对象被销毁。然后另一个对象留下一个悬空指针。当它被销毁时，它会尝试在该指针上再次调用 delete。

Answer 2

罢工>

Node** nodes;

应该是

Node * nodes;

析构函数也是错误的。应该是：

for(int i = 0; i < numNodes; i++)
    delete nodes[i];
delete [] nodes;

可能还有其他问题，例如您还没有创建复制构造函数或赋值运算符，因此可能会使对象的副本为您删除该对象。

编辑：更改了析构函数...

Answer 3

您需要使用标准库来实现此行为。

class Wrapper {
private:
    struct Node { /*....*/ };
    int numNodes;
    std::vector<std::unique_ptr<Node>> nodes;
public:
    Wrapper() : numNodes(0) { nodes.resize(SIZE); }
    // No explicit destructor required
    // Correct copy semantics also implemented automatically
};

class Main {
public:
    Main() : wrapper(new Wrapper()) {}
    // Again, no explicit destructor required 
    // Copying banned for move-only class, so compiler tells you
    // if you try to copy it when you can't.
private:
    std::unique_ptr<Wrapper> wrapper;
};

此代码保证正确执行。在 C++ 中，如果您使用过 new[]、delete 或 delete[]，请立即重构您的代码以删除它们，并检查三遍任何非放置 new 的使用 - 构造一个 unique_ptr 很漂亮这是唯一有效的案例。这不过是手动内存管理的常见预期结果。

Answer 4

包装对象的生命周期已经结束，但整数和指针子对象以及指针对象仍然存在。当您在指针上调用delete 时，指针对象的生命周期结束，但指针仍然存在。指针的生命周期在您的 dtor 完成后结束。

因此，如果您的成员已被破坏，那么还有其他事情正在发生。