一致性

一致性具有三重定义

严格一致程序 - 仅使用定义良好的语言结构，即具有单一行为的结构。它不包括未指明、未定义或实现定义的行为，并且不超过任何最小实现限制。
一致程序 - 可被一致实现接受。
一致实现 -
- 一致的宿主实现应接受任何严格一致程序。
- 一致的独立实现应接受任何严格一致程序，其中库子句（子句 7）中指定特性的使用仅限于独立标准库头文件（见下文）的内容。
- 一致实现可以有扩展（包括额外的库函数），前提是它们不改变任何严格一致程序的行为。

如果实现预定义了宏 __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、strxfrm、strtok 和 strerror 不需要由独立实现提供。

(自 C23 起)

C++ 文档关于独立与宿主实现

目录