当包含不同的标头时，C 实现可以隐式包含标准标头吗？

Question

在阅读 这是正确的 C 声明吗？如果是这样，为什么不起作用？我在想

#include <stdio.h>

int main(void) {
  int bool = 0;
  return bool == 0;
}

这个程序是否严格符合要求？换句话说，是允许stdio.h包含stdbool.h还是禁止这样做？这是规范指定的吗？

Answer 1

C 标准头文件不能包含其他头文件。这与 C++ 不同，C++ 中明确允许这样做。

C99 标准，第 7.1.3 节

每个标头声明或定义其关联子条款中列出的所有标识符[...]
没有保留其他标识符。

Answer 2

我不确定它是否具有任何权威性，但这就是 Plauger说（当然这是针对 c89 的）。

标准 C 库提供了 15 个标准头文件。标头
有几个属性

它们是相互独立的。没有标准标头要求
首先包含另一个标准标头才能正常工作。
任何标准标头也不包含另一个标准标头。

我在 c99 或 c89 中找不到任何提及这一点。

编辑

我可以看到inttypes.h包含stdint.h

7.8-1

标头 包含标头 并扩展它
以及托管实现提供的附加设施。