C++交替节点类型搜索树递归析构函数链接报错问题

结论 #

该场景完全可以正常实现递归析构，你遇到的链接错误和递归析构逻辑无关，是代码违反C++单一定义规则（ODR）导致的。

错误原因 #

你将MatrixNode::~MatrixNode()的实现直接写在了.hh头文件中，且没有添加inline修饰。当多个.cc编译单元（报错中涉及main.cc和node.cc）同时引入该头文件时，每个编译单元都会独立生成一份该析构函数的定义，链接阶段就会触发多重定义报错。
而你写在类内部的ChanceNode::~ChanceNode()属于隐式内联函数，天然不受单一定义规则限制，因此不会触发同类错误。

修复方案 #

二选一即可：

• 给头文件中MatrixNode的类外析构实现添加inline修饰，修改后代码如下：

  inline MatrixNode::~MatrixNode() {
      delete child;
      delete next;
  }
  

  被inline修饰的函数允许在多个编译单元存在完全一致的定义，符合C++标准要求。
• 将MatrixNode::~MatrixNode()的实现从头文件移动到对应的node.cc源文件中，头文件仅保留析构函数声明，保证整个程序中仅存在一份析构函数的定义。

逻辑正确性说明 #

你当前的递归析构写法本身不存在未定义行为，可以正常工作：

• 交叉类型的依赖处理符合要求：ChanceNode类定义在MatrixNode类之后，因此ChanceNode析构执行delete child（指向MatrixNode类型）时，MatrixNode已经是完整类型；MatrixNode的析构实现在ChanceNode类定义之后，执行delete child（指向ChanceNode类型）时ChanceNode也已经是完整类型，不存在删除不完整类型指针的未定义问题。
• 析构逻辑匹配节点结构：析构当前节点时先递归释放整棵子树（child指针），再递归释放同层的同类型兄弟节点链（next指针），没有释放parent指针的逻辑是正确的——parent的生命周期由上层节点管理，若在当前节点析构中删除parent会触发双重释放问题。
• 只要你提前评估过递归深度不会触发栈溢出，该递归析构方案就可以稳定运行，不需要额外改造。

内容的提问来源于stack exchange，提问作者Ryan Keathley