遵从性

遵从性 (conformance) 有三重定义：

严格遵从程序 - 仅使用良定义的语言构造，即拥有单一行为的构造。它不包含未指定、未定义或实现定义的行为，且不超过任何最小实现极限。
遵从程序 - 可为遵从实现所接受。
遵从实现 -
- 遵从的有宿主实现应当接受任何严格遵从程序。
- 遵从的自立实现应当接受任何将库章（第 7 章）中指定的库特性限制到自立的标准库头文件（见后述）的内容的严格遵从程序。
- 遵从实现可拥有扩展（包括额外的库函数），只要它们不改变任何严格遵从程序的行为。

标准不在翻译单元上定义任何最小实现极限。有宿主环境拥有操作系统；自立环境无操作系统。运行于有宿主环境中的程序可使用任何库章节（第 7 章）中描述的特性；运行于自立环境中的程序可使用第 4 章所要求的库特性子集。

要求为自立实现提供每个完全自立的标准库头文件中的所有标准库特性。

有些标准库头文件是条件性自立的。

若实现预定义了宏 __STDC_IEC_60559_BFP__ 或 __STDC_IEC_60559_DFP__，则 <math.h> 与 <fenv.h> 为完全自立的头文件。然而，在独立环境中，仅当程序不设置 FENV_ACCESS 语用为 ON 才要求这些头文件中的函数行为良定义。

有些标准库头文件是部分自立的。

在 <stdlib.h> 中， memalignment 是独立的。另外，如果预定义了 __STDC_IEC_60559_BFP__ 或 __STDC_IEC_60559_DFP__，则供数值转换函数（atoX、strtoX 及 strfromX）也是独立的，然而仅当程序不设置 FENV_ACCESS 语用为 ON 才要求其行为良定义。不要求自立实现提供 <stdlib.h> 中的其他组件。
在 <string.h> 中，不要求自立实现提供 strdup、strndup、strcoll、strtok、strxfrm 及 strerror。

(C23 起)

自立与有宿主实现的 C++ 文档