C++ 访问静态分配对象的成员

Question

所以当我运行下面的代码时，我试图了解内存的状态。根据我的理解，一旦 if 块结束，在 if 语句中初始化的左右两个子树应该被认为不存在。但是，当我运行这段代码时，if 块内的输出与 if 块之后的输出相同。我认为这可能是由于系统实际上并没有删除分配的内容，而是简单地更新了一个静态内存指针。所以我分配了一个大数组，希望能覆盖任何在 if 块之后可能仍然存在的东西。但是，这似乎对输出没有任何影响。当我改为调用测试函数时，在返回到 main 时，对子树的 val 成员的访问会输出一些随机值。这符合我的预期。

谁能解释一下发生了什么。为什么块似乎不会删除任何本地分配的内存，而函数似乎确实如此？

#include<iostream>

using namespace std;

class Tree {
    public:
    Tree(int init_val) : val{init_val} {}; 
    Tree() = default;
        Tree* left = nullptr;
        Tree* right = nullptr;
        int val;
};

void test(Tree* const tree) {
        Tree left(10);
        Tree right(20);
        tree->left = &left;
        tree->right = &right;
        cout << "inside function:" << endl;
        cout << "left = " << tree->left->val << endl;
        cout << "left = " << tree->right->val << endl;
}

int main(int argc, char const *argv[]) {
    Tree root;
    int input;
    cin >> input;
    if(input > 10) {
        Tree left(10);
        Tree right(20);
        root.left = &left;
        root.right = &right;
        cout << "inside if-statement:" << endl;
        cout << "left = " << root.left->val << endl;
        cout << "left = " << root.right->val << endl;
    }
    int arr[1000000];
    //test(&root);
    cout << "outside test and if-block:" << endl;
    cout << "left = " << root.left->val << endl;
    cout << "left = " << root.right->val << endl;
\
}

Answer 1

假设您拥有一块土地并在其中埋葬了一具尸体。后来你把土地卖给别人。然后你想起了尸体并吓坏了，所以你晚上回去把它挖出来。幸运的是，它还在那里。

是的，你是在擅自闯入，并不能保证你会找到它，但由于新主人还没有对他们的土地做任何事情，它仍然完好无损。

C++ 访问静态分配对象的成员

C++ access statically allocated objects' members

c++

memory-management

allocation

object