GNU C99手册中register存储类数组不可下标访问的疑问

这个问题其实涉及到标准C的规则和GCC编译器扩展的差异，咱们来慢慢理清楚：

首先理解手册里那句话的本质 #

GNU C99手册里提到的无法为拥有register存储类的数组添加下标，其实是基于标准C的核心规定：

• register存储类的设计初衷是提示编译器将变量放到寄存器中，以此提升访问效率；但寄存器里的变量没有内存地址，所以标准C明确禁止对register变量取地址。
• 数组下标表达式A[i]等价于*((A)+(i))，这里数组名A会隐式转换为指向数组首元素的指针——这本质上就是在取数组的内存地址。结合上面的规则，标准C自然不允许对register数组使用下标操作。

为什么你的测试代码能正常运行？ #

这是因为GCC编译器对register存储类做了非标准的扩展支持：
当你尝试对register数组执行取地址（包括下标操作这种隐式取地址）时，GCC会自动忽略register属性，把这个数组当作普通的auto存储类数组处理（也就是放到内存中，拥有可访问的地址）。所以你的代码能正常编译运行，但这其实是GCC的“特殊照顾”，并非标准C的规定行为。

验证标准规则的方法 #

如果你想看到标准C下的提示，可以用严格的编译选项：

gcc -std=c99 -pedantic your_code.c

编译时会弹出类似这样的警告：

warning: address of register variable ‘arr’ requested

这就明确提示你，当前操作违反了标准C的规则。

总结一下：手册里的描述是标准C的要求，而你的代码能运行是因为GCC的扩展放宽了这个限制——严格来说这种写法不符合C99标准，只是编译器帮你“兼容”了而已。

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