C++中的下划线：破坏代码的隐蔽规则

C++中的下划线：代码的沉默杀手

想象一下这种情况：你正在编写干净、漂亮的C++代码。编译器保持沉默，代码检查工具没有报错，一切运行完美。然后——砰！——在另一个编译器上，或者使用新版本的标准，一切毫无缘由地崩溃了。熟悉吗？

大多数情况下，罪恶的根源隐藏在下划线字符（_）中，它看似无害。这个话题对于新手甚至经验丰富的C++开发者来说，简直就是一个“坟场”。难怪Stack Overflow上关于下划线使用规则的问题获得了数万次浏览。让我们一劳永逸地弄清楚什么可以做，什么不可以做，以及如何避免陷入未定义行为的陷阱。

为什么C++标准对下划线如此严格？

问题的根源在于兼容性和全局命名空间。C++标准库广泛使用下划线来满足其内部需求。如果你不小心创建了一个与库或编译器内部名称冲突的标识符——那就全完了。编译器可能会默默地重新定义你的变量，你就会得到未定义行为，它会在最不合时宜的时刻显现出来。

C++标准（从C++03开始，以及所有后续版本，包括C++20和C++23）明确规定了哪些标识符是为实现而保留的。违反这些规则不仅会使你的代码不正确，而且不可移植。

下划线的五大致命错误

我们来分析一下即使是经验丰富的程序员也经常踩到的最常见的陷阱。

错误 #1：任何位置的双下划线

规则：任何包含两个连续下划线字符（__）的标识符，无论出现在何处，都为实现所保留。

// 错误！为“实现”保留\nint __myVariable = 42;\nvoid my__function();\nclass My__Class {};\n\n// 正确\nint myVariable = 42;\nvoid my_function();\nclass MyClass {};\n

为什么这很危险？编译器可能会将__myVariable用于其内部宏。例如，许多编译器定义了__LINE__或__cplusplus。如果你创建了自己的__LINE__，编译器可能会直接忽略你的定义，或者更糟，用它的值替换掉。结果就是未定义行为。

错误 #2：全局作用域中的下划线加大写字母

规则：以下划线开头，后跟大写字母（A-Z）的标识符，在任何作用域中都为实现所保留。

// 错误！即使在局部作用域中也是如此！\nvoid foo() {\n    int _MyVar = 10; // 违反规则\n}\n\n// 错误！全局作用域更不用说了\nint _GlobalVar = 20;\n\n// 正确\nvoid foo() {\n    int myVar = 10;\n}\n

这条规则是最阴险的。许多人认为：“嗯，我在函数内部，这能妨碍到谁呢？”会妨碍到！如果标识符以下划线和大写字母开头，标准不会对局部作用域做出例外。编译器完全有权为自身目的保留此类名称。

错误 #3：全局作用域中以下划线开头后跟小写字母

规则：以下划线开头，后跟小写字母（a-z）的标识符，在全局作用域（命名空间作用域）中为实现所保留。

// 错误！在全局命名空间中\nint _myGlobal = 0;\nvoid _helperFunction();\n\n// 正确——在函数或类内部\nclass MyClass {\n    int _memberVar; // 在类内部——可以（但最好用 m_）\n};\n\nvoid foo() {\n    int _localVar = 5; // 在函数内部