指针偏移引发溢出问题求助：负偏移运算异常现象解析

你观察到的现象其实戳中了C#不安全代码中指针运算的几个核心规则，我来给你拆解清楚：

1. 指针的本质：无符号的内存地址 #

C#里的指针类型（比如double*）本质就是无符号的内存地址——和nuint（原生无符号整数）是同一类东西，它只代表内存里的一个位置，没有正负的概念。当你用有符号整数（比如int j=-1）当偏移量时，CLR会先把这个有符号整数转成对应的有符号原生整数nint，再参与运算，但最终的结果还是会被当作无符号地址来处理。

2. 指针算术不是字节偏移，是元素偏移 #

别忘了一个关键点：指针加减整数时，不是直接偏移字节数，而是按指针指向的元素大小来偏移。比如double是8字节，所以：

• opx+1 → 地址加8字节
• opx-1 → 地址减8字节
• opx+j（j=-1）→ 本质就是地址减8字节，所以和opx-i（i=1）的结果完全一致，这也是你看到opx2和opx3地址相同的原因。

3. checked/unchecked上下文是异常的核心原因 #

这就是你遇到溢出异常的关键：

• checked上下文（默认可能由项目设置开启，或者显式用checked块）：CLR会强制检查运算后的指针是否落在原数组的有效边界内——简单说就是必须满足：

  数组起始地址 ≤ 运算后的指针 < 数组起始地址 + 数组长度 × 元素大小
  

  如果偏移后地址低于数组起始地址，或者超出数组末尾，就会抛出OverflowException。
• unchecked上下文（显式用unchecked块，或者项目设置为unchecked）：CLR完全不做边界检查，哪怕运算后的地址指向数组外的无效内存，也不会报错，只会直接返回那个地址——这时候负偏移导致的“负数地址”会被转成无符号的超大地址，看起来就像是把负偏移量转成了无符号数再运算。

为什么你的例子里opx+j会触发异常？ #

你的代码里opx是px+500，j=-1运算后是px+499，这个地址明明在数组范围内（数组有1000个元素，px到px+999都是合法的），理论上checked下不会报错。如果实际运行确实抛出了异常，大概率是你代码里的j取值导致偏移后地址低于了数组的起始地址px——比如j=-501，那opx+j就是px+500-501=px-1，这时候checked上下文就会触发溢出检查，抛出异常。

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