符合性

符合性 有三重定义

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

内容

标准未定义对翻译单元的任何最小实现限制。宿主环境有操作系统；独立环境没有。在宿主环境中运行的程序可以使用库条款（第 7 条）中描述的所有特性；在独立环境中运行的程序可以使用第 4 条要求的库特性的子集。

每个完全独立头文件中的所有标准库特性都必须由独立实现提供。

一些标准库头文件是条件性独立的。

如果实现预定义了宏 __STDC_IEC_60559_BFP__ 或 __STDC_IEC_60559_DFP__，则 <math.h> 和 <fenv.h> 是完全独立的头文件。但是，只有当程序不将 FENV_ACCESS pragma 的状态设置为 ON 时，这些头文件中的函数的行为才需要在独立环境中良好定义。

一些标准库头文件是部分独立的。

在 <stdlib.h> 中，memalignment 是独立的。此外，当预定义了 __STDC_IEC_60559_BFP__ 或 __STDC_IEC_60559_DFP__ 时，数值转换函数（atoX、strtoX 和 strfromX）也是独立的，而只有当程序不将 FENV_ACCESS pragma 的状态设置为 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++ 文档，关于独立和宿主实现