C语言负索引规则及*(arr - 1)与arr[-1]等价性问题

核心结论 #

• C语言完全不会自动把负索引取正映射到数组倒数位置，这类自动映射是Python等高级语言的语法特性，C标准从未定义过该行为。
• 负索引的寻址逻辑为：从当前指针指向的内存位置，向**地址减小的方向（向前）**偏移对应索引绝对值个元素长度后寻址，不会自动跳转到数组尾部。如果arr是指向数组首元素的指针，arr[-1]访问的是数组起始地址前面的内存，和数组最后一个元素（位于首元素的高地址方向）没有任何关联。
• *(arr - 1)和arr[-1]的访问效果完全等价，不存在任何语义或行为差异，这是C语言标准明确规定的语法规则。

规则细节 #

C语言的数组下标运算从标准定义层面就没有“索引必须为非负数”的强制要求，所有下标运算都会被直接翻译为指针偏移+解引用操作：

对于任意表达式E1和E2，E1[E2] 完全等价于 *((E1) + (E2))

也就是说，下标里的数值本质是指针偏移量，偏移量可以是正、零、负：

• 偏移量为正：向内存地址增大的方向偏移，即日常开发中最常用的向后访问数组元素的逻辑
• 偏移量为0：访问当前指针指向的位置
• 偏移量为负：向内存地址减小的方向偏移，即向前访问当前指针位置前面的内存

负索引并非天生非法，只要偏移后的地址落在程序合法申请的内存范围内，行为就是完全可预期的，比如下面的用法完全符合C标准：

int arr[5] = {10, 20, 30, 40, 50};
int *p = &arr[2]; // p指向数组中值为30的元素
// 两种写法完全等价，都会获取值为20的arr[1]
int val1 = p[-1];
int val2 = *(p - 1);

如果偏移后的地址超出了合法内存范围（比如指针已经指向数组首元素，仍通过arr[-1]访问首元素前面的内存），就属于未定义行为：可能读到随机垃圾值、触发程序崩溃、甚至出现完全不符合预期的结果，C语言不会做任何越界检查，也不会自动修正索引。

常见误区提醒 #

• 不要把其他语言的负索引逻辑套用到C/C++中：写arr[-1]永远拿不到数组的最后一个元素，数组最后一个元素的正确访问方式是arr[数组长度 - 1]，对应首元素向后偏移长度-1个元素的高地址位置。
• 如果是编写C++ vector相关代码，vector的元素存储在连续内存上，通过data()获取的首元素指针、原生指针类型的迭代器，负索引规则和C语言完全一致，不要尝试用vec.data()[-1]访问尾元素，这是非常典型的越界Bug来源。

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