C 预处理器：不允许#include 指令的参数以数字开头的原因是什么？

Question

N2479 C17..C2x 工作草案 — 2020 年 2 月 5 日 ISO/IEC 9899:202x (E)：

6.10.2 源文件包含

实现应为由一个或多个非数字或数字 (6.4.2.1) 后跟句点 (.) 和单个非数字组成的序列提供唯一映射。 第一个字符不能是数字。

问题：不允许#include指令的参数（ char-sequence ）以数字开头的原因是什么？

额外的问题：编译器似乎不会在违反上述 shall 要求时生成任何诊断消息（例如使用#include "1.h" ）。 为什么？

UPD。 后来我的同事回答： The first character shall not be a digit仅与unique mappings有关。 所以，这个标准被误解了。

Answer 1

问题：不允许#include 指令的参数（字符序列）以数字开头的基本原理是什么？

就其本身而言，“第一个字符不应是数字”这句话似乎是在说 C 程序不应使用数字作为 header 名称中的第一个字符。 但是，它在两个句子之间告诉我们 C 实现必须如何处理 header 名称，并且在子句 6.10 中，它告诉我们实现如何处理#include指令。 告诉我们 header 名称语法的子句在 C 标准 6.4.7 中的不同位置，其中它给出了#include <1/ah>作为可能指令的示例（C 2018 6.4.7 4）。

所以我相信 6.10.2 5 的意图是提供实现质量保证，说你不能直接使用不支持文件名基本部分中至少八个字符的文件系统来实现 C，但是你可以使用忽略大小写（根据其最后一句）或不支持以数字开头的名称的文件系统。 虽然“第一个字符不得为数字”似乎是对 C 程序的禁止，但那是因为在没有限定的情况下将其放在单独的句子中是错误的； 前两句应该类似于“实现应为由非数字 (6.4.2.1) 后跟零个或多个非数字或数字后跟句点 ( . ) 和单个非数字组成的序列提供唯一映射。”

（在 C 1990 中，此段落出现在 6.8.2 中，其中重要性要求仅针对六个字符。在 C 1999 中增加到八个，反映了更好的文件系统的流行。）