C语言实现的BST叶子节点计数函数是否正确？是否符合编码规范？

一、正确性问题 #

• 静态变量导致的复用错误：你使用了static int aa = 0，这个变量的生命周期贯穿整个程序运行过程。第一次调用函数能得到正确结果，但第二次调用时aa不会自动重置为0，会在上一次的结果基础上累加，导致后续调用结果完全错误。比如第一次计算一个含2个叶子的树后aa变为2，第二次计算含3个叶子的树时，结果会返回5，这明显不符合预期。
• 未定义的返回行为：在递归调用的非根节点分支（除最开始调用的root外的所有递归层），函数没有返回任何值。C语言规定，声明返回int的函数若没有return语句，执行到函数末尾时的行为是未定义的——虽然部分编译器不会报错，但这可能导致程序崩溃或出现不可预测的结果。

二、编码规范问题 #

• 变量命名可读性差：aa、b这类变量名完全无法体现用途，好的命名应直接表达变量作用，比如用leaf_count代替aa，用original_root代替b。
• 静态变量破坏函数纯净性：依赖静态变量保存状态，让函数失去了可重入性（无法在多线程环境下安全调用，也不能嵌套调用），而且函数输出不仅依赖输入参数，还受之前调用历史影响，不符合函数设计的单一职责和无副作用原则。
• 递归逻辑不够直观：常见的二叉树递归采用分治思想（分解子问题并合并结果），而你的实现通过回溯到根节点才返回结果，增加了理解成本，也更容易出错。

三、改进后的标准实现 #

符合规范的递归实现应采用无状态、直观的分治写法：

int count_leaves(node *root) {
    // 空树没有叶子节点
    if (root == NULL) {
        return 0;
    }
    // 当前节点是叶子节点，返回1
    if (root->left_child == NULL && root->right_child == NULL) {
        return 1;
    }
    // 递归计算左右子树的叶子节点数，求和返回
    return count_leaves(root->left_child) + count_leaves(root->right_child);
}

这个实现的优势：

• 无静态/全局变量，每次调用独立，无状态残留问题
• 递归逻辑清晰，符合分治思想，易理解易维护
• 所有分支都有明确返回值，不存在未定义行为
• 函数和变量命名清晰，可读性强

四、保留类似逻辑的修正版本 #

如果想保留回溯累加的思路，必须解决静态变量和返回值问题，可将计数器通过指针传递：

void count_leaves_helper(node *root, int *count) {
    if (root == NULL) {
        return;
    }
    if (root->left_child == NULL && root->right_child == NULL) {
        (*count)++;
        return;
    }
    count_leaves_helper(root->left_child, count);
    count_leaves_helper(root->right_child, count);
}

int count_leaves(node *root) {
    int count = 0;
    count_leaves_helper(root, &count);
    return count;
}

这种方式避免了静态变量的弊端，同时保证了函数的可重入性。

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