不支持部分C标准特性的实现是否仍属于符合标准的实现？

标称符合C标准的实现如果刻意省略、篡改标准强制要求的特性，严格意义上不属于合规的符合实现（conforming implementation）。

标准定义依据 #

C标准对符合宿主实现（conforming hosted implementation）的核心要求是：必须能够正确执行任意严格符合标准的C程序。所有你提到的特性都属于标准强制要求的范畴：

• #pragma STDC FENV_ACCESS 是C标准明确要求宿主实现支持的标准pragma
• #pragma STDC FP_CONTRACT 同样是标准规定了语法和行为的强制特性
• sscanf 对十六进制浮点数的解析支持是C99及后续版本标准库的强制要求
  只要实现缺失任意一项强制要求的特性，就不符合标准对conforming implementation的定义。

为什么标称符合的实现会有这些问题 #

你提到的补充说明完全正确：__STDC__ 被定义为 1 仅代表实现宣称自己可能符合标准，不代表100%符合。目前工业界的C实现几乎都没有做到100%严格符合标准，普遍存在以下情况：

• 官方文档会明确列出所有已知的不符合标准的特性，将其标注为未实现/自定义扩展
• 很多实现默认开启大量非标准扩展，需要手动添加编译选项（比如gcc的 -std=c2x -pedantic-errors、msvc的 /std:c17 /permissive-）才会尽量向严格符合标准的模式对齐
• 部分用户使用量少、实现成本高的低优先级标准特性，会被厂商长期搁置不实现

对应示例的具体说明 #

• gcc不支持#pragma STDC FENV_ACCESS：属于官方明确承认的未实现特性，在使用浮点环境控制（自定义舍入模式、浮点异常捕获）的场景下，gcc的行为会偏离标准要求，严格属于不符合。
• msvc不支持标准格式的#pragma STDC FP_CONTRACT：属于自定义修改标准语法，只有使用msvc专属的#pragma fp_contract语法才能实现对应功能，严格符合标准的代码在msvc上无法获得预期行为，属于不符合。
• Cygwin环境下的gcc的sscanf无法处理十六进制浮点数输入：属于C标准库实现缺陷，C99及后续标准明确要求sscanf支持十六进制浮点数解析，该问题属于明确的不符合点。

行业实际现状 #

实际开发中很少有场景需要用到100%的标准强制特性，大部分开发者只要确认自己用到的特性符合标准要求，就可以认为当前实现是“可用的符合实现”。但如果要做完全跨平台、严格依赖标准行为的程序，就需要提前查阅所用实现的文档，避开所有已知的不符合点。

内容的提问来源于stack exchange，提问作者pmor