直接 new Node[] 会崩溃是因为递归默认构造导致栈溢出,且未初始化指针;正确做法是用 std::unique_ptr 或 Node* children[26] = {} 并判空新建,析构时递归释放。
很多初学者在 C++ 中手写 Trie 时,习惯用 Node children[26] 这种固定数组,结果一插入就段错误。这不是逻辑错,是栈溢出或对象未初始化导致的:每个 Node 若含数组成员,递归构造子节点时会无限触发默认构造(进而又分配 26 个新 Node),最终爆栈。更关键的是,你根本不需要为所有 26 个字母预分配空间——绝大多数分支永远用不到。
std::unordered_map 或 std::vector<:pair node>> 懒加载子节点Node* children[26] = {}(C++11 起支持零初始化),且每次访问前判空 + new
delete 子节点,否则内存泄漏insert 和 search 看似简单,但容易在“空字符串”“中途匹配但非单词结尾”“大小写混用”上出错。Trie 不是自动处理语义的结构,它只忠实地反映你插入了什么。
insert("") 是合法操作,应设 is_end = true,否则 search("") 永远返回 falsesearch("ab") 要求路径存在 且 最后一个节点的 is_end == true;而 startsWith("ab") 只需路径存在即可tolower(),要么把 children 改成 unordered_map,避免下标越界手动管理内存的 Trie 最怕忘记释放。哪怕用了智能指针,也要注意循环引用风险——父节点持有子节点指针,子节点又反向存父指针(比如用于删除操作)就会导致 shared_ptr 无法析构。
std::unique_ptr 替代裸指针,构造时用 std::make_unique()
reset() 即可,unique_ptr 自动析构count 字段记录经过该节点的单词数,避免误删共享前缀
struct Trie {
std::unordered_map children
;
bool is_end = false;
void insert(const std::string& word) {
Trie* node = this;
for (char c : word) {
if (node-youjiankuohaophpcnchildren.find(c) == node-youjiankuohaophpcnchildren.end()) {
node-youjiankuohaophpcnchildren[c] = std::make_uniquezuojiankuohaophpcnTrieyoujiankuohaophpcn();
}
node = node-youjiankuohaophpcnchildren[c].get();
}
node-youjiankuohaophpcnis_end = true;
}
bool search(const std::string& word) {
Trie* node = this;
for (char c : word) {
if (node-youjiankuohaophpcnchildren.find(c) == node-youjiankuohaophpcnchildren.end()) return false;
node = node-youjiankuohaophpcnchildren[c].get();
}
return node-youjiankuohaophpcnis_end;
}};
C++ 实现 Trie 的核心不是“多快”,而是“别崩、别漏、别漏内存”。真正难的从来不是建树,是想清楚每个节点的生命周期和语义含义——比如 is_end 到底表示“此处有单词结束”,还是“此处是一个完整单词”,这决定了 search 和 startsWith 的行为分界。