C语言指针算术操作原理及C标准6.5.6.8相关疑问解析

作为天天和C指针打交道的老码农，我来逐个拆解这些问题，尽量用接地气的方式讲明白：

1. 指针与整数加法的工作机制 #

指针和整数做加法不是简单的地址值加整数数值，而是会根据指针指向的类型自动调整偏移量。举个例子：

• 假设你有一个int*类型的指针p，指向地址0x1000，在32位系统里sizeof(int)是4字节，那么p + 1的结果不是0x1001，而是0x1004——因为要跳到下一个int类型的元素位置。
• 换成char*指针的话，p + 1就是地址加1，因为sizeof(char)是1字节。

本质上，指针算术的规则是：p + i的实际地址偏移量 = i * sizeof(*p)，这是为了适配数组的连续存储特性，让指针能直接定位到数组的第i个元素，和数组索引arr[i]等价。

2. 表达式(p + i)的行为，以及标准规则难理解的原因 #

首先明确两个关键点：

• 什么时候是定义良好的行为？ 只有当p指向某个数组的元素（或者数组末尾的下一个位置），且p + i的结果仍然指向该数组的元素，或者数组末尾的下一个位置时，这个表达式才是合法的。如果超出这个范围（比如指向数组第一个元素之前，或者末尾之后超过一个位置），那就是未定义行为（UB），不是简单的“溢出”——溢出是数值层面的，而UB意味着编译器可以任意处理，可能崩溃、可能输出奇怪结果。
• 等价于&arr[0]吗？ 只有当p本身就是&arr[0]且i=0时才等价，其他情况完全不是一回事。比如p=&arr[2]，i=1的话，p+i是&arr[3]，和&arr[0]八竿子打不着。

至于C标准6.5.6.8的规则难理解，主要是因为：
标准用数组索引的术语来定义指针算术，本质是把指针算术的合法场景严格绑定到数组模型上。但我们平时用指针时，可能会指向单个变量、动态分配的内存块，容易忽略“只有数组范围内的指针算术才合法”这个前提。标准的表述非常严谨，要覆盖所有边界情况（比如允许指向数组末尾下一个位置，但不能再往后），新手容易觉得绕，其实核心就是一句话：指针算术是为数组设计的，超出数组合法范围的操作都是UB。

3. 指针加上负整数值的结果 #

指针加负整数，等价于指针减去该负整数的绝对值，也就是向低地址方向偏移，偏移量依然是|负数| * sizeof(*p)。比如int* p = &arr[3]，p + (-2)就等于p - 2，结果是&arr[1]。

同样要遵守规则：结果必须落在数组的合法范围内（指向数组元素，或者数组第一个元素的前一个位置——不过指向第一个元素之前的位置虽然标准允许，但不能解引用，否则还是UB），超出的话就是未定义行为。

4. 4字节指针与int64_t整数做算术运算的情况 #

首先，C标准规定：指针和整数运算时，整数会先被转换为ptrdiff_t类型（这是一个专门用来表示指针差值的有符号整数类型）。

• 如果你的系统是32位，ptrdiff_t通常是32位有符号整数，而int64_t是64位。这时候如果int64_t的值在32位有符号整数的范围内，转换后正常参与运算，偏移量还是按照指针类型的大小计算；如果int64_t的值超出了ptrdiff_t的范围，转换结果是实现定义的（不同编译器可能处理方式不同），后续的指针算术行为也不确定。
• 另外，指针本身是4字节，只能存储32位地址，就算转换后的整数合法，要是偏移后的地址超出了32位地址空间的范围，那结果也是未定义行为——因为指针根本存不下这个地址。

5. C99用数组索引定义指针算术的原因 #

这个其实要从C语言的设计初衷和核心特性说起：

1. 指针与数组的天然绑定：C语言里数组名在绝大多数场景下会隐式转换为指向第一个元素的指针，而且arr[i]本质上就是*(arr + i)——指针算术和数组索引本来就是等价的，标准用数组索引来定义，只是把这种等价性明确化。
2. 严谨性与可移植性：数组是连续存储的同类型元素，用数组索引的术语定义指针算术，可以明确合法的操作范围，避免歧义。如果允许任意指针都能做算术，那不同系统、不同编译器的行为会千差万别，C语言的可移植性就没了。
3. 历史原因：C语言最初是为了处理底层内存和数组设计的，指针算术就是为了方便遍历数组、操作连续内存块，所以从数组模型出发定义规则，是最自然的选择。

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