C++ register 关键字的兴衰

在 C++ 中，有一个看起来很底层、很有性能优化意味的关键字：register。

register int sum = 0;
for (int i = 0; i < n; ++i) {
    sum += a[i];
}

它的意图是手动告诉编译器，sum 是一个频繁使用的变量，希望把它放在 CPU 寄存器里，而不是内存中。寄存器比内存快得多。于是，在早期的 C 和 C++ 程序中，register 曾经是一种很自然的性能优化手段。

但今天，几乎没有人再写这个关键字了。被大众抛弃以后，他又被官方抛弃，C++11 将它标记为弃用（deprecated），C++17 则正式移除了它的语义。一个原本为了提高性能而设计的关键字，为什么最终被语言标准抛弃了？

register 的生

理解 register，需要回到早期编译器的时代。CPU 寄存器数量有限，但访问速度远高于内存。对于循环计数器、累加器、临时变量等频繁访问的数据，如果能保存在寄存器中，就能减少内存访问。问题是，早期编译器的优化能力有限。编译器不一定能准确判断哪些变量值得占用宝贵的寄存器。

于是，语言提供了 register，允许程序员给编译器一个提示：

register int i;
register int sum;

这里的含义不是要求编译器必须使用寄存器，而是建议编译器优先考虑它们。程序员可能比编译器更清楚变量的使用频率，也更了解程序的性能瓶颈。不过，register 从一开始就有一个限制：它只是建议，不是保证。即使写了 register，编译器也可以选择不把变量放进寄存器。毕竟寄存器就那么点，不可能全部放进去。

register 的衰

随着编译器优化技术的发展，事情逐渐发生了变化。现代编译器有专门的寄存器分配（Register Allocation）阶段。它不再简单地根据变量声明决定寄存器的归属，而是分析变量的活跃范围、使用频率以及寄存器之间的竞争关系。

例如：

int sum = 0;
for (int i = 0; i < n; ++i) {
    sum += a[i];
}

即使不写 register，现代编译器通常也能意识到，sum 和 i 都是适合保存在寄存器中的变量。

更重要的是，寄存器分配并不是一个简单的“常用变量放寄存器”问题。假设某个函数同时使用了几十个局部变量，但 CPU 可用的通用寄存器只有十几个。显然，不可能把所有变量同时放进寄存器。编译器需要判断哪些变量的活跃区间相互重叠，哪些变量可以复用同一个寄存器，以及哪些变量必须暂时溢出（spill）到内存。

编译器可以通过图着色（Graph Coloring）、线性扫描（Linear Scan）等算法解决这类问题。实际实现还要考虑指令约束、调用约定以及寄存器类别等因素。此外，经过优化之后，源代码中的一个变量未必还对应一个固定的存储位置。它可能在某段代码中位于寄存器，在另一段代码中被优化掉，甚至直接成为某条指令中的常数。相比之下，程序员写下的 register 只能表达一个非常粗糙的意图：我觉得这个变量很重要。但编译器掌握的信息远不止这些。

于是，一个有些反直觉的结果出现了：程序员显式要求优化，不一定比什么都不写更好。事实上，现代主流编译器通常不会因为一个局部变量带有 register，就为它生成更好的机器代码。

register 的亡

在 C++11 中，register 被正式标记为弃用。此时它仍然属于合法的语言语法，但已经不建议继续使用。到了 C++17，标准（P0001R1：Remove Deprecated Use of the register Keyword）进一步移除了 register 作为存储类说明符的用法。

这份提案的理由很简单：register 已经没有实际的规范性作用，却仍然需要语言标准维护相应的语法规则。因此，register int x = 10;在 C++17 中已不再符合标准（不过这个关键字还是没有释放，不能当变量名用）。标准保留它，也为未来可能赋予它新用途留下了空间。cppreference

另外，这件事只发生在 C++ 中。C 语言至今仍然保留 register，并且具有一些额外的语义限制。例如，在标准 C 中，不能对声明为 register 的对象使用取地址运算符 &。这也是 C 与 C++ 在这个关键字上的一个历史差异。

register 消失了，寄存器优化没有消失

register 关键字被移除，并不意味着寄存器不再重要。寄存器分配至今仍然是编译器后端最重要的优化任务之一。只是这些问题已经无法通过简单地给变量添加一个关键字来解决。

如果希望优化寄存器使用，通常需要关注编译器生成的汇编代码、变量活跃区间、寄存器压力以及实际性能数据，而不是依靠源代码中的 register。这也解释了为什么现代 C++ 更倾向于让程序员表达计算的逻辑，而把具体的寄存器分配交给编译器。

当然，编译器仍不是万能的。在某些高度优化的数值计算、SIMD 或 GPU Kernel 中，程序员仍然手动影响寄存器分配。但也不再是通过简单的添加register关键字，而更加需要用数据布局、架构特性等引导编译器做出决策。

总结：程序更复杂了，编译器更厉害了，优化的责任发生了转移，而register 完成了它的历史使命。