向接收结构体的函数传入NULL会怎样？该如何处理？

一、传入NULL的直接后果 #

• 要是函数内部直接访问结构体成员（比如ptr->field），会触发空指针解引用，直接导致程序崩溃（比如段错误、访问违规）。
• 如果函数把这个空指针传给其他依赖有效结构体的函数，会引发连锁错误，可能造成内存损坏、异常行为，甚至程序崩溃。

二、不处理NULL的影响 #

• 调试阶段：崩溃会打断调试流程，很难快速定位到底是哪里传入了NULL，增加排查成本。
• 就算没立刻崩溃，也可能输出错误内容（比如乱码、无意义数值），干扰调试判断。
• 要是最终版本意外出现NULL传入（哪怕计划里不会），会导致线上程序崩溃或异常，影响稳定性。

三、是否需要做检查？怎么做？ #

必须做检查——尤其是调试阶段，这能帮你快速定位问题源头。注意：结构体变量本身不能和NULL比较，但结构体指针可以。你得确认函数参数是结构体指针类型（如果现在是值传递，根本传不了NULL，因为值传递要传实际的结构体实例，NULL是指针常量，编译阶段就会报错）。

正确检查示例 #

假设打印函数原型是：

void print_my_struct(const MyStruct *s);

函数开头加检查：

void print_my_struct(const MyStruct *s) {
    // 调试阶段：打印错误提示，用断言终止程序快速定位
    if (s == NULL) {
        fprintf(stderr, "ERROR: print_my_struct 收到了空指针！\n");
        // 调试用断言，发布版本可通过定义NDEBUG关闭
        assert(s != NULL);
        return; // 直接返回，避免后续崩溃
    }
    // 正常打印逻辑
    printf("Field1: %d, Field2: %s\n", s->field1, s->field2);
}

如果你的函数现在是值传递结构体（比如void print_my_struct(MyStruct s);），那根本不可能传入NULL——调用方要是试图把指针强转成结构体传入，这本身就是错误写法，编译阶段就会报错，得先修正参数定义或调用逻辑。

四、源头避免VS函数内检查 #

• 源头避免是最终版本的最优解：通过代码规范、静态检查工具（比如clang-tidy）、开启编译警告（如-Wall），确保调用方不会传入NULL。比如调用前检查指针有效性，或者用工厂函数创建结构体，保证返回非空指针。
• 函数内检查是调试阶段的必要手段：帮你快速发现哪里违规传入了NULL，提前修复问题。哪怕最终版本要移除检查，调试阶段的检查也能大幅减少潜在bug。

五、调试阶段的特殊处理 #

因为你提到最终版本不会传NULL，调试阶段可以这么做：

• 用assert断言：触发时直接终止程序并提示位置，快速定位调用方。
• 打印调用栈信息（系统支持的话）：比如Linux下用backtrace()，Windows下用CaptureStackBackTrace，检查到NULL时打印调用栈，直接找到是谁传了空指针。
• 别直接忽略NULL：哪怕返回，也要输出明确的错误信息，避免隐性bug。

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