C++带返回类型函数未显式返回时的返回值及LCA代码疑问

1. 整数/指针返回类型函数未显式返回的行为 #

• 在C++标准中，非void返回类型的函数若未在所有代码路径显式返回值，属于未定义行为。
• 不存在固定的“隐式返回值”，程序可能返回栈上的随机残留数据、崩溃，或出现其他不可预测结果，具体表现取决于编译器和运行环境。
• 对于整数类型，可能返回不确定的整数值；对于指针类型，可能返回野指针（无效内存地址），而非固定的NULL。

2. LCA代码中的具体问题分析 #

给定的求最近公共祖先（LCA）代码：

Node * lca (Node* root, int n1, int n2)
{
  if (root == NULL)
    return NULL;

  if (root->data == n1 or root->data == n2)
    return root;
  
  Node *l = lca(root->left, n1, n2);
  Node *r = lca(root->right, n1, n2);
  
  if (l and r)
    return root;

  //return (l != NULL) ? l : r;
}

测试用二叉树结构：

1
   / \
  2   3
 / \ / \
4  5 6  7

当递归调用到值为5的节点时：

1. 节点5的左、右子树均为NULL，因此lca(root->left, n1, n2)和lca(root->right, n1, n2)都会返回NULL。
2. 此时l和r均为NULL，不会触发if (l and r)分支，而函数最后被注释的返回语句未生效，导致函数无显式返回值。
3. 这种情况下，变量r的赋值结果是未定义的——可能是随机指针值，既不是你假设的NULL，C++也不存在类似JavaScript的undefined概念。你测试时的无输出或报错，都是未定义行为的典型表现。

修复建议 #

必须保证非void函数的所有代码路径都有显式返回值，恢复被注释的语句即可修复：

return (l != NULL) ? l : r;

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