是否允许编译器向标准头添加函数？

Question

是否允许C编译器向标准头添加函数并仍然符合C标准？

我在某处读到了这个,但除了附件J.5外,我在标准中找不到任何参考:

包含任何可能导致严格符合程序无效的扩展会导致实现不一致.此类扩展的示例包括新关键字,标准标头中声明的额外库函数或名称不以下划线开头的预定义宏.

但是,附件J是信息性的而不是规范性的...所以它没有帮助.

所以我想知道一个符合标准的编译器是否可以在标准头文件中添加额外的功能？

例如,假设它将非标准itoa添加到stdlib.h中.

Answer 1

在4."一致性"§6中,有:

符合实现的实现可能具有扩展(包括附加库函数),前提是它们不会改变任何严格符合程序的行为.

在脚注中立即得出结论:

这意味着符合要求的实施不保留本国际标准中明确保留的标识符以外的标识符.

保留的标识符在7.1.3中描述.基本上,它是以下划线开头的一切,并且明确列出的所有内容都用于标准库.

所以,是的,允许编译器添加扩展.但是它们的名称必须以下划线或为库保留的前缀之一开头.

itoa 不是保留标识符,并且在标准头中定义它的编译器不符合.

Answer 2

在"7.26未来库方向"中,您有一个可添加到标准标题的标识符列表,其中包括以str或mem开头的标识符,以及以此E类似的宏开头的标识符.

除此之外,实现仅限于"7.1.3保留标识符"中保留的通用名称.