给标准函数添加属性是否破坏合规？glibc修改引发POSIX与C++疑问

• 结论先行：glibc给fclose()和freopen()添加__nonnull属性不违反POSIX合规性。

核心原因分析 #

POSIX标准对库函数的约束集中在接口语义、参数/返回值类型、运行时行为上，并没有禁止实现添加编译期检查类的扩展属性：

1. __nonnull是GCC系列编译器的扩展属性，不属于C或POSIX标准的强制内容，但POSIX明确允许实现提供这类额外的编译期提示——只要这些扩展不改变标准规定的函数核心行为。
2. 从行为逻辑看，POSIX本身就规定调用fclose(NULL)属于未定义行为，glibc添加__nonnull只是让编译器提前识别这种非法调用场景，并没有改变函数的运行时逻辑，完全符合POSIX对fclose()的行为定义。

关于C++代码的警告问题 #

你遇到的std::unique_ptr警告，本质是C++代码逻辑和glibc扩展的兼容性冲突：

• std::unique_ptr的析构逻辑允许在托管指针为NULL时调用删除器（也就是fclose），但__nonnull属性会让编译器判定“调用该函数时参数不能为NULL”，因此触发警告。
• 简单的解决方法是封装一个忽略NULL的安全删除器，示例代码：

  void safe_fclose(FILE* fp) {
      if (fp != NULL) fclose(fp);
  }
  std::unique_ptr<FILE, decltype(&safe_fclose)> fptr(fp, safe_fclose);
  

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