全局命名空间中的保留名称

Question

源于我对Dynamic array of objects in C++ 的回答以及对What are the rules about using an underscore in a C++ identifier? 的跟进： 显然，以_ 后跟一个大写字母开头的名称被保留在全局命名空间中。

17.4.3.2.1 全局名称 [lib.global.names]

某些名称和函数签名始终保留给实现：

• 每个包含双下划线 (__) 或以下划线后跟大写字母 (2.11) 的名称都保留给实现以供任何使用。
• 以下划线开头的每个名称都保留给实现，用作全局命名空间中的名称。¹⁶⁵

¹⁶⁵⁾ 此类名称也保留在命名空间::std (17.4.3.1) 中。

在我对第一个问题的回答中，我有一个看起来像这样的课程

class A
{
 private:
   vector<int> _Ints;
}

在 cmets 中，有人告诉我 _Ints 标识符会调用未定义的行为，因为它是一个保留名称。但是，根据最近的标准草案，成员变量的名称查找使用以下规则：

3.4.3.1 类成员 [class.qual]

如果 qualiified-id 的 nested-name-speciifier 指定了一个类，则查找在 nested-namespeciifier 之后指定的名称在类 (10.2) 的范围内，除了下面列出的情况。该名称应 表示该类或其基类之一的一个或多个成员

对我来说，这意味着任何成员变量都不能成为全局命名空间的一部分，因为它的作用域就是类。

现在，问题来了：

我的理解是正确的吗，成员变量永远不会违反实现保留名称规则，因为它们不在全局命名空间中？如果我不正确，有人可以解释我对查找规则的误解吗？

Answer 1

_Int 显然违反了第一条规则：“每个名称都包含一个 双下划线 (_ _) 或以下划线开头，后跟 大写字母 (2.11) 保留给任何实现 采用。” “任何用途”的意思正是它所说的：它可以 是预定义的宏，或者在编译器中触发一些特殊行为， 或编译器作者想要的任何其他内容。不管你在哪里 使用名称，如果使用它，它是未定义的行为（除非 编译器文档另有说明）。

更一般地说，至少从历史上看，编译器相当松懈， 并且许多系统头文件传统上包含宏 名称以一个下划线开头，后跟一个小写字母。 最好也避免这些。 （历史上，甚至有 名称也没有下划线。我知道我遇到了问题 名称 linux 变为 1。看不到下划线，但是... 但是，您对此无能为力，除了更改名称 当冲突发生时。）

更一般地说，下划线在某些字体中的显示效果不佳， 最好避免在符号的两端使用它们。

Answer 2

您从标准状态中引用的规则是，以下划线后跟大写字母开头的标识符是为任何用途保留的，而不仅仅是在全局命名空间中。所以命名成员变量_Ints是不允许的。

以下划线开头且后跟不带下划线或大写字母的标识符保留在全局命名空间中。因此，您可以将成员变量命名为 _ints，但不能在全局命名空间中拥有名为 _ints 的全局变量。

Answer 3

显然 _(大写字母) 保留在全局命名空间中。

没有。它在无处不在保留。再次阅读 17.4.3.2.1：

每个包含双下划线 (__) 或以下划线后跟大写字母 (2.11) 的名称都保留给实现以供任何使用。

这里根本没有提到“全局命名空间”（全局命名空间只在后面的规则中相关）。