为何这段BST搜索代码存在控制路径未覆盖的编译错误？

你的代码逻辑上已经覆盖了所有可能的执行路径，但编译器的静态控制流分析不会去理解数值比较的语义，只会按代码结构检查返回情况：

• 第一个if(root==nullptr)处理空节点，直接返回nullptr；
• 第二个if(root->val==val)匹配目标值，返回当前节点；
• 第三个if(root->val<val)递归搜索右子树；
• 第四个if(root->val>val)递归搜索左子树；

但编译器不会自动推断“等于、小于、大于”是整数比较的穷尽互斥条件，它会认为存在一种极端情况：四个if的条件都不成立，此时函数走到末尾没有返回值，违反了非void函数必须返回值的编译规则。

虽然我们知道整数之间的关系必然是这三者之一，实际运行中永远不会走到函数末尾，但编译器的静态检查不做这种语义层面的推导，只认代码结构。所以在函数末尾添加return nullptr;就能满足编译器的检查要求，让代码正常编译。

你测试的所有场景都能得到正确结果，也验证了代码逻辑本身没有问题，只是编译器的规则比我们的逻辑推断更严格而已。

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