为何C++标准库使用如__r这类带双下划线前缀的变量名？

首先得明确：宏展开是核心导火索。

你可能觉得用户代码不会直接用到std函数的参数名，但C里宏是全局生效的——如果用户在代码里定义了类似#define r 123这种宏，当包含标准库头文件时，要是std::addressof的参数名是r，这个参数名会被直接替换成123，瞬间把标准库的代码搞崩。而带__前缀的名称是C标准明确保留给实现的，用户代码绝对不能定义这类宏（定义了就是未定义行为），用它们做参数名就能从根源上避免这种宏冲突。

再说说私有成员和局部变量用__前缀的情况：

• 首先是统一编码规范，标准库实现体量巨大，不同模块的开发者用统一的命名规则，能快速区分哪些是对外接口的名称、哪些是内部实现细节，维护起来更高效。
• 其次是彻底隔离实现细节。虽然私有成员理论上用户代码访问不到，但架不住有些用户会用编译器扩展（比如某些编译器的私有成员访问技巧）或者offsetof这类危险操作去碰内部实现。用__前缀明确标注这些是实现专属的，一方面符合标准的保留名称规则，另一方面也在视觉上给所有阅读代码的人（包括用户）明确信号：这部分是不能依赖的，碰了后果自负。

至于源码难读的问题，真不是故意为难人。标准库的实现本身就要处理无数极端场景、适配不同编译器的特性，代码复杂度本来就高。__前缀只是内部命名规范的一部分，目的是安全合规，而不是故意让读者头疼——毕竟标准库的首要目标是正确性和兼容性，可读性是次要需求（当然主流实现也会做一些注释来平衡）。

内容的提问来源于stack exchange，提问作者Lajos Nagy