C语言register关键字详解

# C 语言 register 关键字详解

在 C 语言中，有一些关键字是用来修饰变量的类型或属性的，比如 const、static、extern 等。这些关键字可以影响变量的作用域、存储方式、初始化方式等。今天我们要介绍的是一个比较少见但很有用的关键字：register。

## register 的含义和作用

register 的字面意思是“寄存器的”，它是一种存储类说明符（storage class specifier），用它声明的变量表示可以被存储在 CPU 的寄存器中，而不是通过内存寻址访问，以提高效率。寄存器是 CPU 的内部存储单元，它们的访问速度比内存要快得多，但是它们的数量和容量都很有限。因此，使用 register 关键字可以向编译器提示，这个变量是一个频繁使用的变量，如果可能的话，应该将它放在寄存器中。

那么，为什么我们需要用 register 来修饰这些变量呢？这是因为编译器在编译程序时，为了提高运行效率，可能会对某些代码进行优化，其中就有可能会将某些变量直接放在寄存器中，或者将多次读取的变量只读取一次，或者将多次写入的变量只写入一次等。这样的优化在一般情况下是没有问题的，但是如果变量的值是由程序中的语句频繁改变的，那么这样的优化就会导致程序的逻辑错误。例如，如果一个变量被放在寄存器中，而程序中有一个循环对这个变量进行累加操作，那么这个变量的值就不会及时写回到内存中，从而造成程序读取的值和实际的变量值不一致。

为了避免这种情况，我们就可以用 register 关键字来告诉编译器，这个变量是一个不稳定的，每次使用它的时候必须从它的寄存器地址中读取或写入数据，而不是使用已经存在寄存器中的值，也不要对它的读写操作进行优化。这样就可以保证对这些变量的正确访问。

## register 的用法和注意事项

register 关键字的用法和其他存储类说明符类似，可以用来修饰基本类型、指针类型、数组类型、函数参数等。例如：

```c
register int x; // 声明一个 register 类型的整数变量 x
register int *p; // 声明一个指向 register 类型整数的指针 p
register int a[10]; // 声明一个包含 10 个 register 类型整数的数组 a
void func(register int n); // 声明一个函数 func，它的参数 n 是一个 register 类型的整数

需要注意的是，register 修饰的是变量的存储方式，而不是变量的值。也就是说，register 修饰的是变量本身，而不是变量所指向的对象。例如：

int x;
register int *p = &x; // p 是一个指向 register 类型整数的指针，但是 x 不是 register 类型
int *q = &x; // q 是一个指向普通类型整数的指针，和 x 的类型一致

在这个例子中，p 和 q 都指向同一个变量 x，但是 p 是一个 register 指针，而 q 是一个普通指针。这意味着，通过 p 对 x 的读写操作都会直接访问寄存器，而不会被优化，而通过 q 对 x 的读写操作可能会被优化，例如放在寄存器中。因此，如果 x 的值是由程序中的语句频繁改变的，那么通过 p 读取的值可能和通过 q 读取的值不一致。

另外，register 关键字有以下几点限制：

• register 变量必须是能被 CPU 所接受的类型。这通常意味着 register 变量必须是一个单个的值，并且长度应该小于或等于寄存器长度。不过，有些机器的寄存器也能存放浮点数或指针。
• 不能对 register 变量使用 & 运算符，因为该变量没有内存地址。如果试图获取 register 变量的地址，编译器可能会给出错误或警告。
• 只有局部自动变量和函数参数可以作为 register 变量，其它（如全局变量或静态变量）不行。这是因为 register 变量的生命周期只在一个块或一个函数内，而全局变量或静态变量的生命周期是整个程序的运行期间。
• 由于寄存器的数量有限，不能定义任意多个 register 变量，而且某些寄存器只能接受特定类型的数据（如指针和浮点数）。因此，真正起作用的 register 修饰符的数目和类型都依赖于运行程序的机器，而任何多余的 register 修饰符都将被编译器所忽略。

总结

本文介绍了 C 语言中 register 关键字的含义、作用、用法和注意事项。register 关键字是一种存储类说明符，用来修饰那些需要频繁访问的变量，防止编译器对它们的读写操作进行优化，从而提供对寄存器的直接访问。register 关键字的使用场景一般有以下几种：

• 大量循环中的计数器或累加器
• 频繁调用的函数的参数
• 需要快速访问的数组元素

使用 register 关键字时，需要注意以下几点：

• register 变量必须是能被 CPU 所接受的类型，且不能超过寄存器的长度
• 不能对 register 变量使用 & 运算符，因为它没有内存地址
• 只有局部自动变量和函数参数可以作为 register 变量，其它不行
• register 修饰符只是一个提示，不是一个命令，编译器可能会忽略它