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

问题描述

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

6.10.2 源文件包含

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

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

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

更新。后来我的同事回答说：The first character shall not be a digit 只与 unique mappings 相关。因此，该标准被误解了。

解决方法

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

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

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

（在 C 1990 中，这一段出现在 6.8.2 中，其中显着性要求仅为 6 个字符。在 C 1999 中增加到 8 个，反映了更好的文件系统的流行。）