C语言递归计算float数组均值时if(!x)错误控制为何完全错误

你实现的float数组递归求平均值代码如下：

float media(float x[], size_t n) {
    if (!x) {
        return .0;
    }
    float m;
    if (n == 1)
        return x[0];

    m = x[n - 1] / n + (n - 1.) / n * media(x, n - 1);
    return m;
}

被指出问题的空指针错误控制代码段为：

if (!x) {
    return .0;
}

这段逻辑的错误点非常明确：

• 存在大量冗余判断：整个递归计算过程中，数组首地址x的值始终不会改变，只要首次调用时x为有效指针，后续所有递归层级传入的x都是同一个有效值，每层递归都执行一次空指针判断没有任何实际意义，只会增加不必要的函数运行开销。
• 错误处理逻辑会掩盖上层缺陷：传入空指针属于调用方触发的严重非法输入，本身属于未定义行为。当前逻辑遇到空指针直接返回0.0，这个值和正常计算得到的平均值落在同一个值域内，调用方完全无法感知到传参错误，会误以为数组平均值真的为0，后续逻辑出现问题时很难定位到根因。
• 校验逻辑存在明显遗漏：仅检查了空指针场景，完全没有覆盖n == 0的非法入参。由于size_t是无符号类型，一旦传入n值为0，递归时执行n-1会直接回绕为size_t类型的最大值，最终触发栈溢出、内存越界访问，直接导致程序崩溃。

错误控制需要遵循两个基本规则：

• 所有参数合法性校验只在对外暴露的函数入口执行一次，不要进入递归流程后重复做相同判断
• 非法输入不要静默返回和正常结果无区分度的值，调试阶段可以用断言直接中断程序提示传参错误，正式版本可返回明确的异常标识（比如NaN）和正常计算结果做区分

参考修正后的代码：

#include <math.h>
#include <assert.h>

// 内部递归实现，不对外暴露，入参已提前通过校验，无需重复判断
static float media_recursive(float x[], size_t n) {
    if (n == 1) {
        return x[0];
    }
    return x[n - 1] / n + (n - 1.0f) / n * media_recursive(x, n - 1);
}

// 对外暴露的统一接口，所有入参校验在此处完成
float media(float x[], size_t n) {
    // 调试阶段触发断言，第一时间暴露传参错误
    assert(x != NULL && n != 0);
    // 正式版本容错逻辑，返回NaN明确标识入参非法
    if (x == NULL || n == 0) {
        return NAN;
    }
    return media_recursive(x, n);
}

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