ISO C99中errno函数式实现的合规性及选用优势咨询

一、该实现是否符合ISO C99标准？ #

ISO C99对errno的核心要求是：它必须是可修改的左值，程序能通过它读写错误码，且启动初始值为0。标准并未强制要求errno必须是外部链接的全局变量——它可以是宏展开后的函数调用形式，只要最终满足左值特性即可。

你给出的实现中，errno()返回静态变量errval的指针，用户可通过*errno()完成错误码的读写，且static int errval = 0满足初始值要求，完全符合C99标准的规定。实际上，多数标准库的errno正是通过类似逻辑实现：将errno定义为#define errno (*__errno())，让用户的代码写法和操作全局变量一致，底层却通过函数封装实现。

二、相较于外部链接对象的可取之处 #

• 天然支持线程安全扩展：若后续将内部的errval改为线程局部存储（如C11的_Thread_local或编译器扩展__thread），该实现可直接为每个线程返回独立的错误码指针，避免多线程环境下错误码互相覆盖的问题。而直接使用全局变量的话，默认是所有线程共享，线程安全改造的成本更高。
• 封装性强，便于迭代：函数式实现隐藏了错误码的存储细节，后续若要修改存储方式（比如从静态变量切换到动态分配、或者对接系统错误码接口），无需修改用户代码——用户始终通过*errno()访问，不受底层实现变化影响。
• 避免命名冲突：直接定义外部链接的errno变量，若用户代码中意外定义同名变量，会触发链接错误。而函数式实现可使用标准保留的下划线开头标识符（如__errno）作为内部函数名，配合宏定义对外暴露errno，从根源上避免命名冲突。
• 初始化逻辑更灵活：函数内部可执行复杂的初始化逻辑，比如第一次调用时加载配置、动态分配资源，而全局变量仅支持编译期的简单初始化。

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