[简介.合规性.一般]/2 https://timsong-cpp.github.io/cppwp/n4868/intro.compliance.general#2指定编译器应如何处理给定的程序。
特别是它有两点涉及格式错误的程序。 (2.2) 要求编译器针对违反可诊断规则的情况发出至少一个诊断。 (2.3) 指出,对于违反不需要诊断的规则的程序,没有对编译器强加任何要求。
不幸的是,我认为该段落没有明确说明这两个要求之间的优先级。如果程序包含违反需要诊断的可诊断规则的情况以及违反不需要诊断的规则的情况,编译器是否需要发出诊断?
作为一个例子(被视为一个完整的单翻译单元程序):
// ill-formed, diagnostic required
int main() { using T = void&; }
// IFNDR according to [temp.res.general]/8.1 and [temp.res.general]/8.4
void f(auto) { using T = void&; }
此外,如果 IFNDR 优先,则同样的情况可能适用于通常被视为运行时 UB 的未定义行为,例如做
// always runtime undefined behavior
int main() { return *(int*)0; }
// ill-formed, diagnostic required
using T = void&;
那么从技术上来说也不需要诊断(被视为一个完整的单翻译单元程序)?
从实现质量的角度来看,我认为编译器在这种情况下应该尽可能发出诊断。
但我的印象是,该标准实际上并不要求这样做,这也是我之前读到/听到的。例如“资格”并且模板未实例化" in [一般温度响应]/8.1 https://timsong-cpp.github.io/cppwp/n4868/temp.res.general#8.1否则就没有多大意义。然而,在其他时候,该标准在似乎应该需要的情况下并不使用此类反转限定条件,例如[dcl.constexpr]/6 https://timsong-cpp.github.io/cppwp/n4868/dcl.constexpr#6.