符合性

符合性 有三个定义

严格符合程序 - 仅使用定义明确的语言结构，即具有单一行为的结构。它不包括未指定、未定义或实现定义的行为，也不超过任何最小实现限制。
符合程序 - 对符合实现可接受。
符合实现 -
- 符合的托管实现应接受任何严格符合的程序。
- 符合的独立实现应接受任何严格符合的程序，其中库子句 (子句 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、strxfrm、strtok 和 strerror 不需要独立实现提供。

(自 C23)

完全独立标准库头文件
`<float.h>`	浮点类型的限制
`<iso646.h>` (自 C95)	替代运算符拼写
`<limits.h>`	整数类型的范围
`<stdalign.h>` (自 C11)	`alignas` 和 `alignof` 方便宏
`<stdarg.h>`	可变参数
`<stdbool.h>` (自 C99)	布尔类型宏
`<stddef.h>`	常见宏定义
`<stdint.h>` (自 C99)	定宽整数类型
`<stdnoreturn.h>` (自 C11)	`noreturn` 方便宏
`<stdbit.h>` (自 C23)	用于处理类型的字节和位表示的宏
有条件地完全独立标准库头文件
`<fenv.h>` (自 C23)	浮点环境
`<math.h>` (自 C23)	常见数学函数
部分独立标准库头文件
`<stdlib.h>` (自 C23)	通用实用程序：内存管理、程序实用程序、字符串转换、随机数、算法
`<string.h>` (自 C23)	字符串处理

C++ 文档用于独立和托管实现