C语言中数组索引与指针运算的实际使用类型及转换疑问

数组索引与指针运算的底层类型 #

数组索引写法a[i]在编译时会被等价转换为*(a + i)，指针与整数的加减运算遵循C标准的寻常算术转换规则，最终参与运算的整数类型是ptrdiff_t——这是一个定义在<stddef.h>中的有符号整数类型，专门用来表示两个指针之间的差值。

unsigned int/long作为索引的类型转换 #

不会直接隐式转换为int，而是按照寻常算术转换规则处理：

• 如果unsigned int的宽度小于等于ptrdiff_t，会直接转换为ptrdiff_t参与运算；
• 如果unsigned int的宽度比ptrdiff_t大（比如部分32位系统中ptrdiff_t为32位，unsigned int为64位），指针会被转换为对应宽度的无符号整数类型（如unsigned long），与unsigned int运算后再转回指针类型；
• 对于long类型，若其宽度大于等于ptrdiff_t，则直接以long类型参与运算，否则转换为ptrdiff_t。

大值unsigned int索引的转换问题 #

如果unsigned int的值超出了ptrdiff_t的最大值（比如32位系统中，unsigned int取3000000000，而ptrdiff_t的最大值是2147483647），此时将unsigned int转换为ptrdiff_t属于无符号整数转有符号整数且超出范围的情况，这是C标准定义的实现定义行为——不同编译器可能按照补码规则转换为负的有符号值，或者触发信号，但前者更为常见。一旦转换为负的ptrdiff_t，再进行指针加法就会变成指针向前偏移，这种行为是未定义的，可能导致程序崩溃或访问非法内存区域。

行为的标准性 #

• 指针运算的类型转换规则（包括寻常算术转换、ptrdiff_t的角色）是C标准明确规定的；
• 无符号整数转有符号整数超出范围的处理方式是实现定义（编译器可选择具体转换逻辑，但必须在文档中说明）；
• 指针使用负偏移的行为是未定义的，C标准不做任何保证，编译器可以自由处理这种情况。

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