为何C语言中[static 1]未被广泛普及使用？

一、[static 1]的核心作用 #

在C语言函数参数里写int my_ptr[static 1]，本质是用数组语法的糖衣，明确告诉阅读代码的人和编译器：这个指针参数指向的内存至少包含1个元素，换句话说，它绝对不能是NULL。

对比普通的int* my_ptr写法，后者没有任何约束，调用者传NULL是合法的（除非函数文档额外说明）。当启用-Wnonnull编译选项时，给带[static 1]的参数传NULL，编译器会直接抛出警告，帮你提前排查问题。

示例对比：
合规的非空声明：

void foo(int my_ptr[static 1]) {
    // 明确约定：my_ptr 绝不为 NULL
}

无约束的指针声明：

void foo(int* my_ptr) {
    // my_ptr 可能为 NULL
}

二、为什么[static 1]没成为通用惯例？ #

主要有几个现实层面的原因：

• 兼容性限制：这个语法是C99标准引入的，有些维护多年的老项目或仍在使用C89的环境（比如部分嵌入式开发场景）无法兼容，团队为了适配旧代码，不会贸然引入。
• 认知门槛：不少C开发者对这个语法不熟悉，看到[static 1]可能会误以为是定义数组参数的固定大小，反而增加理解成本，不如直接在函数注释里写「参数不可为NULL」直白。
• 工具链支持差异：并非所有编译器对该语法的检查都足够严格，比如早期GCC版本或部分小众编译器，可能不会对传NULL的情况触发警告，导致开发者觉得这个语法「形同虚设」。
• 开发习惯延续：传统C编程中，大家更依赖文档注释、运行时NULL检查，或是用自定义宏标记非空参数，已经形成固定开发习惯，很难快速切换到新语法。

三、编译器会因[static 1]移除NULL检查吗？ #

这个说法是属实的，且确实可能引发问题。

当你在参数中写[static 1]，相当于和编译器达成一个「契约」：调用者一定会传入非NULL的指针。编译器会基于这个假设进行优化，比如直接移除函数内部的if (my_ptr == NULL)这类检查——因为按照契约，这个分支永远不会执行。

如果调用者违反契约传了NULL，而函数内部的NULL检查被优化掉，程序会直接崩溃或出现未定义行为。这也是很多开发者不敢使用[static 1]的核心原因：一旦有不遵守契约的调用，后果比保留NULL检查的崩溃更难排查。

当然，如果你能确保所有调用者都严格遵守契约（比如仅用于内部私有函数，调用逻辑完全可控），这种优化反而能提升代码性能，减少不必要的分支判断。

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