C++实现二叉树的序列化与反序列化 | 深度优先遍历算法【实战】
在C++编程中，二叉树的序列化与反序列化是数据结构处理的关键环节，看似基础却暗藏玄机。其核心原则在于：serialize 与 deserialize 函数必须严格配对使用，并遵循统一的遍历顺序和空节点标记约定。任何偏差都可能导致反序列化结果错误，甚至引发程序崩溃。
先序遍历结合逗号分隔：最稳健的序列化方案
为何首选先序遍历进行序列化？在深度优先搜索（DFS）算法中，先序遍历（根节点→左子树→右子树）具备一个天然优势：序列化字符串的首个有效值即为根节点，后续子串可以清晰地递归分配给左、右子树，从而唯一地重建二叉树。相比之下，中序和后序遍历无法保证树结构的唯一还原，因此不适用于序列化场景。
空节点的处理至关重要，必须使用一个明确的占位符（例如 "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 或在多线程环境下，若未正确重置，第二次调用将直接从字符串中间开始解析，导致不可预料的错误。
