Question

堆栈分配的容器如何通过内部引用自己知道何时分配子项？

例如：

class Trie {
    public:
    struct Node {
        map<char, Node> letters;
        bool end;
    };

    Node root;

    /** Initialize your data structure here. */
    Trie() {

    }

    /** Inserts a word into the trie. */
    void insert(string word) {
        Node *iter = &root;
        for(auto c: word) {
            iter = &iter->letters[c];
        }
        iter->end = true;
    }

    /** Returns if the word is in the trie. */
    bool search(string word) {
        Node *iter = &root;
        for(auto c: word) {
            if(iter->letters.find(c) == iter->letters.end()) return false;
            iter = &iter->letters[c];
        }
        return iter->end;
    }

    /** Returns if there is any word in the trie that starts with the given prefix. */
    bool startsWith(string prefix) {
        Node *iter = &root;
        for(auto c: prefix) {
            if(iter->letters.find(c) == iter->letters.end()) return false;
            iter = &iter->letters[c];
        }
        return true;
    }
};

此代码有效，但我不完全确定原因。（这是我对LeetCode上的Trie问题的解决方案。）

我有一个简单的堆栈分配根Node，其中包含char - ＆gt;的映射。 Node。我的问题是子节点何时实际分配？一旦在letters下有对节点的引用，是否会发生这种情况？（iter = &iter->letters[c];）这段代码是否非常不正确，并且对未定义的行为做了太多假设？

Answer 1

std::map::operator[]允许您map[key] = value的语义，而密钥不在容器中。想象一下，如果你用std::vector大小n做到这一点：如果你打电话给v[v.size()]，那么这个参考就是无主内存，至少可以说。如果您想拥有它，则必须首先调整容器大小以确保密钥（索引）在容器的范围内。

因此，当您调用operator[]时，容器将检查您的密钥是否存在，并且默认为它构造一个值（如果它不存在），然后返回对它的引用，就好像它已存在全程。这就是为什么operator[]是一个变异函数;如果密钥不存在，容器的状态将在分配和默认构造新值后发生变异。

如何使用std :: map进行递归堆栈分配？

1 个答案: