C++ 属性命名空间？

Question

Cppreference 表示双括号内的 attribute-list [[ ]] 可以是标识符。

假设我的 C++ 程序中有一个名为 noreturn 的变量（因此它是变量的标识符）。它会干扰[[noreturn]] 属性的解释吗？我的想法是，如果 attribute-list 中的标识符与普通标识符共享相同的命名空间（在此示例中，它们都位于全局命名空间中），编译器可能会将其解释为一个标识符变量，则它不会将其识别为有效的 C++ 属性。

例子：

int noreturn = 1;
[[ noreturn ]] void f() {
     throw "error";
}

[[noreturn]]的用法在这里给出：https://en.cppreference.com/w/cpp/language/attributes/noreturn

更新：为了澄清，我知道在 C（不是 C++）中有 4 个“预定义”命名空间：标签、标签、结构/联合成员和普通标识符。但它是为 C (C11 6.2.3) 定义的，所以我想知道 C++11 是否添加了“属性”命名空间。根据公认的答案，在 C++ 中，规则的表达方式不同，但类比成立。

Answer 1

属性属于不同的命名空间（与namespace 无关）。属性有一个命名空间。

标签也一样：

int l=2;
l: if (l<5) { l++; goto l; };

也是有效的（即使可能会让人难以理解）。

编译器可能会将其解释为变量的标识符，

不，不会的！

因此，在您的示例中，编译器不会将属性 noreturn 与变量 noreturn 混淆，就像在我上面的示例中一样，它不会将标签 l 与变量 l 混淆

参见 C++11 标准 n3337 §7.6.1 [dcl.attr.grammar] 进一步解释：

不会对包含在 属性令牌。

当然为了可读性，我建议不要使用属性名称作为变量标识符（但这是一个提示，不是必需的）。

顺便说一句，您不想将预处理器 #define-d 符号与属性混合。