За пределами if созданная структура не видна?

Question

[Apexis]

Есть структура node. В цикле создается корневая структура. По условию к ней добавляется дочерняя. Память под структуры не выделялась, но каким-то образом resultсодержит структуру child, хотя она должна была удалиться после выхода из if.

struct node {
    string tag;
    unordered_map<string, string> attr;
    string getAttr;
    int number = 1;
    int curNumber = 0;
    node *child;
    bool firstDepth = false;
};

unordered_map<string, node> parseQuery(vector<string> query) {
    unordered_map<string, node> result;
    node *curNode;

    for (auto const &q : query) {  
        node root;        
        curNode = &root;

        if (sw != "firstDepth") {
            //?????????
            node child;
            curNode->child = &child;
            curNode = &child;
            sw = "tag";
        }
        result.insert(pair(keyName, root)); // c emplace не получилось
    }
    return result;
}

Comments

[Александр Ананьев]

Он содержит копию структуры, появившейся после insert.

[Apexis]

Александр Ананьев, insert стоит после if. По идее сразу после if структура child должна исчезнуть.

[Apexis]

но указатель на child остается. Может он указывает на освобожденную, но не занятую память?

[Денис Загаевский]

Apexis, в чём вопрос? Указатель конечно же остаётся, а куда он должен деться? Он указывает на невалидную память в стеке.

[res2001]

Apexis,

Может он указывает на освобожденную, но не занятую память?

Он указывает на память в стеке, причем этот кусок памяти частично (или весь) может быть уже занят другими переменными (например аргументами result.insert).
Структура child выделяется в стеке. Память в стеке фактически не освобождается, т.е. стек всегда весь доступен пока исполняется программа. При выходе из области видимости, просто смещается указатель на стек (в регистре процессора) и все, именно по этому считается (и правильно), что выделять переменные на стеке это дешево.
При этом по сохраненному указателю вы можете обратиться к структуре, которая уже не сущетвует. Но любая объявленная переменная или вызов функции затрет предыдущее содержимое памяти и ваш указатель уже будет указывать не на структуру node, а на что-то другое.
В общем в коде явная ошибка.

[Евгений Шатунов]

Apexis,

curNode->child = &child;
curNode = &child;

Это называется Dangling pointer. Допускать такое в своем коде нельзя.

[Apexis]

Выходит единственный способ выделить память динамически? Потом пройтись по дочерним структурам root и освободить память или можно просто root удалить?

curNode->child = new node;
curNode = curNode->child;

[Александр Ананьев]

Apexis, да, память освобождать придется вручную. Либо пользоваться умными указателями, например std::shared_pointer

[Apexis]

понял, спасибо