C++实现二叉树的序列化与反序列化 _ 深度优先遍历算法【实战】

C++实现二叉树的序列化与反序列化 | 深度优先遍历算法【实战】

在C++中处理二叉树的序列化与反序列化，一个看似简单却极易出错的任务。核心原则是什么？serialize 和 deserialize 必须成对使用，并且必须约定统一的遍历顺序和空节点标记。否则，反序列化时构造出的树结构大概率是错误的，甚至直接导致程序崩溃。

用先序遍历 + 逗号分隔是最稳的方案

为什么推荐先序遍历？因为在深度优先遍历（DFS）中，只有先序（root→left→right）能天然保证一个特性：序列化字符串的第一个非空值就是根节点，后续的子串可以清晰地递归划分给左、右子树。相比之下，中序和后序遍历无法唯一地还原树的结构，因此不推荐使用。

空节点的处理同样关键，必须使用一个明确的标记（比如 "null" 或 "#"），绝不能省略或留空。一旦省略，解析时节点位置就会错位，整个结构就乱套了。分隔符方面，逗号 "," 是最安全的选择，它能有效避免数字包含负号或多位数时产生的解析歧义。

实践中，下面这些错误现象屡见不鲜：

立即学习“C++免费学习笔记（深入）”；

• 直接对标记（如 "#"）调用 stoi 会直接抛出异常 → 正确的做法是先判断字符串内容，再进行转换。
• 字符串切片后没有更新索引，导致重复消费或跳过节点 → 建议将数据字符串以引用方式传入（std::string& data），并在函数内部修改索引位置。
• 递归反序列化时忘了跳过已消费的 token → 每次调用 deserializeCore 后，必须移动指针或截断前缀。

serialize 的递归实现要点

实现序列化的核心思路是边遍历边拼接，无需借助额外的容器来缓存结果。遇到空节点，立即写入 "null"；遇到非空节点，则写入 to_string(node->val)。记住，每个值后面都要跟一个 ","。

来看一个典型的实现片段：

string serialize(TreeNode* root) {
    if (!root) return "null,";
    return to_string(root->val) + "," + serialize(root->left) + serialize(root->right);
}

这里有个细节需要特别注意：serialize(root->left) 和 serialize(root->right) 必须都执行，不能因为左子树为空就短路跳过。否则，当右子树存在而左子树为空时，结构信息就会丢失。

性能方面，这种每次递归都进行字符串拼接的方式，在树深度较大时会产生新的字符串对象，带来一定的内存开销。在生产环境中，可以考虑使用 std::ostringstream 来累积写入，效率更高。

deserialize 必须用引用传递并原地推进索引

这是反序列化最容易出错的环节。在C++中，如果采用传值方式或只传递 string 对象，递归过程中各个函数调用将无法共享当前的解析位置，极易导致索引错乱。正确的做法是传递字符串的引用（std::string& data），并配合一个可变的索引（如 int& i），或者使用 stringstream 配合 getline 来按分隔符读取。

关键步骤可以分解为：

• 从当前位置提取下一个 token（直到遇到 ',' 为止）。
• 如果 token 等于 "null"，直接返回 nullptr。
• 否则，用 new TreeNode(stoi(token)) 创建节点，然后递归构建其左、右子树。
• 每消费一个 token，索引必须向前推进，不能依赖字符串长度进行硬计算。

一个常见的性能陷阱是：使用 data.find(',') 定位，然后 substr 截取，再 erase 删除已处理部分。这种方式涉及多次字符串拷贝，效率低下，而且 erase 会改变原字符串长度，导致之前计算的索引失效。

测试时务必验证结构而非仅值

测试环节千万别偷懒。仅仅比对两次序列化的输出字符串是否相等，意义不大。必须跑一遍完整的流程：serialize → deserialize → serialize，然后检查首尾两次序列化的结果是否一致。或者，采用BFS层序遍历分别打印原始树和还原后的树，逐层比对节点的存在性和数值。

需要特别注意的测试用例包括：负数、0、以及大整数（如 INT_MIN）能否无损地完成“往返”。这里有个小提示：C++的 stoi 在遇到数值溢出时不会抛出异常，而是返回边界值。必要时，可以改用 stol 并辅以范围检查。

最后，一个最容易被忽略的坑是：如果使用了全局变量或静态变量来记录索引，在连续多次调用 deserialize 或在多线程环境下，如果没有正确重置，第二次调用就会直接从字符串中间开始解析，结果可想而知。