根据标准，c++编译器需要如何处理格式不良的程序?

c++实现是否需要在遇到格式不良的程序时做一些特定的事情，或者c++实现行为只是未定义?

如果标准没有指定，则实现应该发出诊断消息(错误或警告)。然而，对于一些违规，标准明确规定不需要诊断。在这种情况下，程序是病态的，但实现通常不需要告诉用户，因为在一般情况下这样做太困难了。

关于一个定义规则，例如，参见c++ 11标准第3.2/4段:

每个程序应该只包含一个非内联函数或变量的定义在那个项目中;不需要诊断.

关于遇到违反规则时对实现的要求，第1.4/2段规定:

[…]

-如果程序不包含违反本国际标准规则的内容，则为符合标准的实现应在其资源限制内，接受并正确执行该程序。

- 如果程序违反了任何可诊断规则或出现了当实现不支持该构造时，将本标准定义为"条件支持";一个符合标准的实现应该至少发出一条诊断消息。

-如果程序违反了不需要诊断的规则，则本国际标准标准对该程序的实现没有任何要求。

同样相关的是第1.4/1段，它解释了上面引用的段落中"可诊断规则"的含义:

可诊断规则集由本国际标准中的所有语法和语义规则组成对于那些包含"不需要诊断"的显式符号或描述为的规则导致"未定义行为"

所以总结一下:如果一个格式不良的程序包含一个可诊断的违反，而标准没有明确指定"不需要诊断"，符合标准的实现应该发出一个诊断。

引用[intro.compliance]§2:

• 如果程序不包含违反本国际标准规则的内容，则符合标准的实施应在其

• 如果程序违反了任何可诊断规则或发生了本标准中描述的结构当实现不支持时，"条件支持"对于这个构造，一个符合标准的实现应该至少发布一个诊断信息。

• 如果程序违反了不需要诊断的规则，则本国际标准不要求

我没有在标准中找到任何其他相关的段落。如果我们将它与[define .undefined]:

<

未定义行为/strong>

本国际标准未规定的行为

[注:当此国际标准省略了对行为或程序何时执行的任何显式定义使用错误的结构或错误的数据。允许定义行为包括从完全忽视情况到不可预测的结果，在翻译或程序过程中的行为以环境特有的文件化方式执行(无论是否发出诊断消息)，到终止翻译或执行(带有诊断的发布)消息)。许多错误的程序构造不会产生undefined行为;他们需要被诊断出来。-end note]

我想说我们到达了"发出诊断信息，进一步的行为是未定义的"，因为标准没有说更多关于它的事情。