C语言中_Nullable指针是什么？为何GCC 11.4编译相关代码报错？

1. _Nullable的本质 #

_Nullable是一种空指针注解，不属于C语言标准关键字，它的作用是给开发者和静态分析工具提供明确提示：被标记的指针参数、返回值或成员变量允许为NULL。这类注解常见于系统API的文档和头文件中（比如man7手册里的epoll_ctl.2、timer_gettime.2等接口），用来明确接口的空指针约束，避免误用。

2. 声明void foo(int *_Nullable ptr)中_Nullable的含义 #

这个声明里的_Nullable用来标注参数ptr（int*类型指针）允许被传入NULL值，属于接口契约的一部分——告诉调用者：传递空指针给foo函数是合法的，函数内部会处理这种情况。

3. GCC 11.4编译失败的原因 #

GCC 11.4默认不识别_Nullable注解，会把它当成普通标识符（即参数名的一部分），进而触发语法错误。如果需要让编译器识别这类空指针注解，可以：

• 使用Clang编译器（Clang默认支持_Nullable这类注解）；
• 升级到支持C23标准的GCC版本，使用标准属性[[nullable]]替代；
• 启用GCC的相关扩展选项，配合注解使用。

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