是否需要对 C11 中的附录 K 的支持才能实现符合要求？

Question

虽然 answering a question 使用了一些我认为不是标准 C 的函数（sscanf_s 和 sprintf_s），但 Daniel Fischer 让我注意到这些函数在附件 K 中定义。

我一般理解规范意味着它有助于定义标准。但是，传统上，C 标准的附件仅被视为提供信息。附录 K 在 C11 标准中被标记为规范性的。它定义了“安全”功能。

这是否意味着不提供这些函数的编译器不符合 C11 标准？

我只有 C11 标准草案，但它声明附件 K 是规范性的，但标准的库部分没有提及附件 K 中讨论的功能。 定义中的注释runtime-constraint 似乎暗示 Annex K 定义了一个扩展。

规范性附件是否仅定义可选扩展？

Answer 1

附件 K 是可选的；它自己是这么说的。

见 K.2 第 2 段：

定义__STDC_LIB_EXT1__ 的实现应符合 本附件中的规格。

带脚注：

未定义__STDC_LIB_EXT1__ 的实现不需要遵守这些 规格。

第 3 段说：

子条款 K.3 应该像合并到并行 第 7 节命名子条款的结构。

这就是为什么没有必要在库部分第 7 条中提及它的原因（或者至少标准的作者认为没有必要）。

定义__STDC_LIB_EXT1__ 的实现必须将其定义为201112L； N1570 和发布的 C11 标准都有这个错误，但它已在技术勘误中得到修复。

Answer 2

从某种意义上说，它是“规范的”，即声称支持附件 K 的实现必须满足其中的要求。这不是强制性的。