“额外资格”错误。标准如何保证？

Question

This similar ill-fated question 在关闭之前得到了 cmets 和简短的答案，大意是：因为那是 语言是如何定义的。在这里，我要求提供证据 如此定义的 C++ 标准。

gcc 4.8.1 和 clang 3.3 类似，具有默认诊断选项或更严格， 给出额外限定或显式限定的错误 代码如：

struct x
{
    int x::i; // Error: gcc/clang: "extra"
};

int ::y; // Error: gcc: "explicit", clang: "extra"

gcc 自 v4.1 起已诊断出此类错误。但是流行的编译器不是 一致同意这些错误。 MSVC++ 2012（十一月 CTP） 在int ::y; 处出现错误，但即使使用/Wall，也根本不提供诊断 int x::i; - 命运多舛的提问者提出的那种情况 - 并且这种差异表明 MS 编译器作者深思熟虑。

如果存在这些错误，标准如何保证？对 C++11 的引用 标准就足够了。

答案可能是“它们遵循语法”。在这种情况下， 请尝试展示它们如何遵循语法并随意使用 标准的语法分类。我有一份副本，我会重新阅读 理解解释。

Answer 1

C++ 中的限定名称始终必须引用先前声明的名称。这在第 8.3 节和第 3.4.3.2 节中有规定。

您不能首先通过使用限定名称来声明变量或成员 - 最终会出现类似“无法解析标识符”的编译器错误。此类限定符旨在用于重新声明。因此要求这些名称必须找到先前声明的实体。

Answer 2

在struct x 的定义中允许x::i 是Microsoft 编译器中的一个错误。 MSVC 前端有几个这样的错误，并且已报告给 Microsoft，但它们在没有得到修复的情况下关闭（请参阅此处报告的类似但不同的错误：https://connect.microsoft.com/VisualStudio/feedback/details/783433/c-compiler-accepts-explicit-constructor-call#details 和 https://connect.microsoft.com/VisualStudio/feedback/details/794504/keyword-struct-before-constructor-name）。

它无效的原因是因为您都试图声明一个变量int i 并使用x::i 提供一个范围。变量的范围是由它声明的where决定的，所以试图用一个范围规范来声明一些东西就是试图在其他地方声明它，这是无效的。