在C＆＃x2b;＆＃x2B中使用下划线的规则是什么。标识符？

Question

在C ++中常见的是将成员变量命名具有某种前缀的成员变量，以表示它们是成员变量而不是局部变量或参数的事实。如果您来自MFC背景，则可能会使用 M_FOO 。我还偶尔也看过 myfoo 。

C＃（或可能只是.NET）似乎建议仅使用下划线，例如 _foo 。这是C ++标准允许的吗？

Answer 1

规则（在C ++ 11中没有更改）：

• 保留在任何范围中，包括用于实施宏：
  • 标识符以下划线开始，然后立即进行大写字母
  • 含有相邻下划线的标识符（或“双重下划线”）

• 全球名称空间中保留 ：
  • 标识符以下划线开头
• ，保留了 std 名称空间中的所有内容。 （不过，您可以添加模板专业化。）

从2003 C ++标准开始：

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

某些名称和功能签名始终保留到实现：

• 每个包含双重下划线的名称（ __ ）或以下划线开始，然后将大写字母（2.11）保留到实现中以供任何用途。
• 以下划线开头的每个名称都保留到实现中，以用作全局名称空间中的名称。 ¹⁶⁵

^165）此类名称也保留在命名空间 :: std （17.4.3.1）。

C ++语言基于C语言（1.1/2，C ++ 03），而C99是标准参考（1.2/1，C ++ 03），因此了解1999 C标准的限制很有用（尽管它们不直接适用于C ++）：

7.1.3保留标识符

每个标头均声明或定义了其关联子中列出的所有标识符，并且
可选地声明或定义了其关联的未来库方向列出的标识符，该标识符始终保留用于任何用途或用作文件范围标识符。

• 所有以下划线和大写字母或另一个开始的标识符
  下划线总是保留用于任何用途。
• 所有以下划线开头的标识符始终保留作为标识符
  在普通名称空间和标签名称空间中都有文件范围。
• 以下任何一个子条款中的每个宏名称（包括未来库
  如果包括其相关的任何标头，则保留说明供使用；
  除非另有明确说明（请参阅7.1.4）。
• 所有具有外部链接的标识符在以下任何一个子条款中（包括
  未来图书馆的说明）始终保留作为外部的标识符
  链接。 ¹⁵⁴
• 每个标识符都在以下任何一个子条款中列出的文件范围（包括
  未来图书馆的指示）保留作为宏名称和标识符。
  如果包括任何关联的标头，则在同名空间中以同一名称空间为单位。

没有其他标识符保留。如果程序声明或定义标识符
保留它的上下文（除了7.1.4允许以外）或定义保留的上下文
标识符是宏名称，行为是未定义的。

如果程序删除（使用 #undef ）在第一个标识符中的任何宏定义
上面列出的组，行为是不确定的。

^154）带有外部链接的预留标识符列表包括 errno ， Math_errhandling ， setjmp 和<代码> va_end 。

其他限制可能适用。例如，POSIX标准保留许多可能以正常代码显示的标识符：

• 以资本 e 开头的名称遵循数字或大写字母：
  • 可用于其他错误代码名称。
• 以开头的名称为或 ，然后是小写字母：
  • 可用于其他字符测试和转换功能。
• 以 lc _ 开头的名称，然后是大写字母：
  • 可用于指定语言环境属性的其他宏。
• 保留了所有现有数学功能的名称。
  • 分别在浮点和长时间参数上运行的相应函数。
• 以 sig 开头的名称，然后保留大写字母：
  • 有关其他信号名称。
• 以 sig _ 开始的名称，然后保留大写字母：
  • 用于其他信号动作。
• 名称以开始， mem 或 wcs ，然后保留一个小写字母：
  • 对于其他字符串和数组功能。
• 名称以开始pri 或 scn ，然后保留任何小写字母或 x ：
  • 对于其他格式指定宏
• 对于以 _T 结尾的 名称，请保留：
  • 对于其他类型名称。

尽管现在出于您自己的目的使用这些名称可能不会引起问题，但它们确实增加了与该标准的未来版本发生冲突的可能性。

---

就我个人而言，我只是没有开始使用下划线标识符。我规则的新增加：不要在任何地方使用双重下划线，这很容易，因为我很少使用下划线。

在对本文进行研究之后，我不再使用 _T 结束标识符
因为这是由POSIX标准保留的。

任何标识符以 _T 结尾的规则令我感到惊讶。我认为这是一个Posix标准（尚不确定），以寻找澄清以及官方章节和经文。这是从 gnu libtool手册 。

cesarb提供了以下链接，指向 posix 2008 保留的符号在此处定义。这些限制比上面的限制更为细微。

Answer 2

避免名称相撞的规则都在C ++标准中（请参阅Stroustrup Book），并由C ++ Gurus（Sutter等）提到。

个人规则

是因为我不想处理案件，并且想要一个简单的规则，所以我设计了一个简单而正确的个人：

命名符号时，如果您：，您将避免与编译器/OS/标准库发生碰撞：

• 永远不会启动使用下划线的符号
• 切勿在内部有两个连续下强调的符号命名。
  

当然，将您的代码放在唯一的名称空间中也有助于避免碰撞（但不会防止邪恶的宏）

一些示例

（我使用宏，因为它们是C/C ++符号的更高代码污染，但这可能是从变量名到class名称的任何内容）

#define _WRONG
#define __WRONG_AGAIN
#define RIGHT_
#define WRONG__WRONG
#define RIGHT_RIGHT
#define RIGHT_x_RIGHT

从

n3242.pdf 文件（我希望最终的标准文本相似）：

17.6.3.3.2全局名称[global.names]

某些名称和功能签名始终保留到实现：

- 每个包含双重下划线_ _或以下划线开始的名称，然后将大写字母（2.12）保留给实现。

- 以下划线开头的每个名称都保留到实现中，以用作全局名称空间中的名称。

但是也：

17.6.3.3.5用户定义的文字后缀[usrlit.suffix]

不以下划线开头的文字后缀标识符保留用于将来的标准化。

最后一个子句令人困惑，除非您考虑一个以一个下划线开头的名称，然后再说一个小写字母，如果在全球名称空间中定义了 not> not>

Answer 3

来自 msdn ：

在标识符开始时使用两个顺序下划线字符（__），或一个单一的领导下划线，然后是大写字母，用于所有范围的C ++实现。您应该避免使用一个领先的下划线下划线，然后是一个带有文件范围的名称的小写字母，因为可能与当前或将来的保留标识符发生冲突。

这意味着您可以将单个下划线作为成员变量前缀，只要接下来是下案字母。

这显然是从C ++标准的第17.4.3.1.2节中获取的，但是我找不到完整标准在线的原始来源。

另请参见这个问题。

Answer 4

至于问题的另一部分，通常将变量名称的 end score放在变量名称的上，以与内部任何内容不冲突。

我甚至在课堂和名称空间内都这样做，因为我只需要记住一个规则（与“在全局范围中的名称的末尾，以及其他地方的名称的开始”）。

Answer 5

是的，可以在标识符中的任何地方使用下划线。我相信规则是：第一个字符中的AZ，AZ，_中的任何一个，以及以下字符的 +0-9。

下划线前缀在C代码中很常见 - 单个下划线表示“私有”，并且通常保留编译器的双重下划线。

Answer 6

首先，当前工作草案中的规则在 [lex.name] p3 << /a>：

此外，某些标识符以令牌或预处理 - token-token 保留为C ++实现，否则不得使用；无需诊断。

• 每个包含双重下划线的标识符 __ 或以下划线开头，然后将大写字母保留给实现。
• 以下划线开头的每个标识符都保留在实现中，以用作全局名称空间中的名称。

此外，标准库保留在名称空间std 和一些僵尸名称中定义的所有名称；请参阅 [Reserved.names.general] 。

Posix呢？

正如公认的答案所指出的那样，实现的其他部分，例如POSIX标准，它限制了您可以使用的标识符。

标题部分中描述的每个标识符都保留在同一名称空间中的文件范围的标识符中，如果包括标题。

任何标头 [储备] 后缀 _t

v2_chap02.html“ rel =“ nofollow noreferrer”> posix 2008标准，2.2.2

在C ++中，几乎所有与POSIX相关的问题都可以通过命名空间来避免。
这也是为什么C ++标准可以添加诸如 std :: enable_if_t 之类的符号，而不会破坏POSIX的兼容性。

可视化

int x;      // OK
int x_;     // OK
int _x;     // RESERVED
int x__;    // RESERVED (OK in C)
int __x;    // RESERVED
int _X;     // RESERVED
int assert; // RESERVED (macro name)
int x_t;    // RESERVED (only by POSIX)

namespace {
int y;      // OK
int y_;     // OK
int _y;     // OK
int y__;    // RESERVED (OK in C, ignoring namespaces)
int __y;    // RESERVED
int _Y;     // RESERVED
int assert; // RESERVED (macro name)
int y_t;    // OK
}

y 的上述规则适用于命名和未命名的名称空间。
无论哪种方式，在以下名称空间中，全局名称空间的规则
不再应用（请参阅 [namespace.unamed] ）。

y 的上述规则还适用于类，功能等中的标识符。除了全球范围外。

即使断言在此处不像功能风格的宏一样使用，但该名称已保留。这也是为什么到目前为止取得了一些成功。

推荐的练习

要安全，始终避免双重下降，并始终避免使用领先的下划线。
在某些情况下，后者还可以，但是很难记住这些规则，而且要安全比后悔要好。

_ 本身呢？

有些人使用 _ 表示未使用某些变量或功能参数。但是，您可以避免以下内容：

void foo(T _) { /* ... */ }
// replace with:
void foo(T) { /* ... */ }

std::scoped_lock _{mutex};
// replace with:
std::scoped_lock lock{mutex};

您也可以施放参数 p to void 喜欢（void）p ，如果这是关于沉默警告关于 p 未使用，您需要C兼容性。请参阅为什么为什么将未使用的返回值投入到void？。