C 预处理器:不允许#include 指令的参数以数字开头的基本原理是什么?

C preprocessor: what is the rationale behind not allowing argument of the #include directive to begin with a digit?

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

6.10.2 Source file inclusion

The implementation shall provide unique mappings for sequences consisting of one or more nondigits or digits (6.4.2.1) followed by a period (.) and a single nondigit. The first character shall not be a digit.

问题:不允许 #include 指令的参数 (char-sequence) 以数字开头的原因是什么?

额外问题:当违反上述 shall 要求时(例如使用 #include "1.h"),编译器似乎不会生成任何诊断消息。为什么?

更新。后来同事回答说:The first character shall not be a digit只和unique mappings有关。所以,标准被误解了。

Question: what is the rationale behind not allowing argument (char-sequence) of the #include directive to begin with a digit?

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

所以我认为 6.10.2 5 的意图是提供一个 quality-of-implementation 保证,说你不能直接使用不支持至少八个字符的文件系统来实现 C 的基本部分文件名,但您可以使用忽略大小写(根据其最后一句话)或不支持以数字开头的名称的文件系统。虽然“第一个字符不能是数字”看起来是C程序的禁令,但那是因为不加限定地把它放在一个单独的句子中是错误的;前两句话应该类似于“实施应为由一个非数字 (6.4.2.1) 后跟零个或多个非数字或数字后跟一个句点 (.) 和一个非数字组成的序列提供唯一映射”

(在C 1990中,该段出现在6.8.2中,其中的重要性要求只针对六个字符。在C 1999中增加到八个,反映了更好的文件系统的流行。)