在 C++ 标准中，当违反“应”要求时，会发生什么规定？

Question

例如，名言（§3.2/1）

任何翻译单元都不得包含一个以上的任何变量、函数、类类型、枚举的定义 类型或模板。

我认为除非另有说明，否则我认为“应”要求应被解释为隐含地遵循“否则程序格式错误”。然而，其他人声称“应该”的意思是“否则行为未定义”。

在我遇到的每一种标准中，“应”要求没有遵循“否则行为未定义”或“不需要诊断”之类的标准，它发生的规则是显然是可诊断的，并且由我所知道的所有编译器诊断（上面的段落是一个例子）。这就是为什么我认为它的意思是“否则程序格式错误”，即，需要进行诊断。

无论如何，这些只是我的想法。我会很感激一个权威的答案。

Answer 1

是的，要形成良好的格式，程序必须遵循您在问题中引用的单一定义规则（第 1.3.26 节）：

格式良好的程序

根据语法规则、可诊断语义规则和单一定义规则 (3.2) 构造的 C++ 程序。

其他可诊断规则指定为（§1.4）：

1.4 实施合规性 [intro.compliance]

1 可诊断规则集由本国际标准中的所有句法和语义规则组成，除了 对于那些包含“不需要诊断”或被描述为导致“未定义行为”的明确表示法的规则。
2 尽管本国际标准仅规定了对 C++ 实现的要求，但如果将这些要求表述为对程序、程序部分或程序执行的要求，则通常更容易理解。此类要求具有以下含义：
— 如果程序不违反本国际标准中的规则，则符合要求的实现应在其资源限制内接受并正确执行²该程序。
— 如果程序包含违反任何可诊断规则的行为，或者当实现不支持该构造时，本标准中描述为“有条件支持”的构造发生，符合要求的实现应发出至少一条诊断消息。
— 如果一个程序违反了不需要诊断的规则，则本国际标准对该程序的实现没有任何要求。
[强调添加]

是的，如第二个要点所述，如果违反了可诊断规则，则需要进行诊断。

Answer 2

除了@JerryCoffin 的回答，还有ISO/IEC Directives Part 2（管理所有 ISO/IEC 文档，包括 C++ 标准），特别是附件 H 表达的语言形式条文

应使用表 H.1 中所示的语言形式来表示 要求严格遵守，以符合 不允许偏离的文件。

应：

• 是，
• 需要，
• 要求，
• 必须，
• 只允许……，
• 这是必要的

不得：

• 不允许[允许][可接受][允许]，
• 必须不是
• 要求……不是
• 不应该

因此，违反“shall”要求会使程序格式错误。诊断问题已在别处得到解答。