指针自增(如int p++)按所指类型大小偏移,而非字节级加1;int加4、double加8、char加1,由sizeof(*ptr)决定,且指针减法结果为ptrdiff_t类型。

int* p++ 是在移动地址,不是在加 1
很多人看到 p++ 就以为指针值只加了 1,其实它加的是 sizeof(int) —— 在绝大多数平台上是 4。这是因为指针自增的本质是“跳到下一个同类型元素”,不是字节级偏移。
常见错误现象:
用 char* 和 int* 同样做 ++,结果地址差值不同;或者误以为 (int*)0x1000 + 1 == 0x1001,实际是 0x1004。
- 使用场景:遍历
int数组、手动内存布局解析、写底层数据结构(如 ring buffer) - 参数差异:
int*自增加 4,double*加 8,char*加 1 —— 完全由所指类型的sizeof决定 - 性能影响:无额外开销,是编译器直接生成的地址计算指令(如 x86 的
add eax, 4) - 示例:
int arr[3] = {10, 20, 30};<br>int* p = arr;<br>p++; // p 现在指向 arr[1],地址值比初始值大 4
ptr + n 的偏移量 = n × sizeof(*ptr)
这是 C++ 指针算术的核心规则。写 ptr + 3 不等于地址加 3,而是加 3 * sizeof(*ptr)。它和 *(ptr + n) 等价于 ptr[n],但底层全是基于类型大小的缩放。
容易踩的坑:
把 void* 直接做 + 1(C++ 不允许,会编译失败);
用 reinterpret_cast<int>(p) + 1</int> 强转后自增,却忘了原指针可能是 char*,导致逻辑错位。
立即学习“C++免费学习笔记(深入)”;
- 兼容性注意:在 32/64 位平台,
sizeof(int)通常不变(仍是 4),但sizeof(long)或指针本身会变 —— 偏移计算只依赖*ptr类型,和平台无关 - 安全边界:
ptr + n只有在n ≤ 数组长度且未越界时才定义良好;超出则行为未定义(UB),不报错但可能读到脏数据或崩溃 - 示例:
char data[100];<br>int* ip = reinterpret_cast<int*>(data);<br>ip + 2; // 实际偏移 2 × 4 = 8 字节,即 data[8]
指针减法结果是 ptrdiff_t,不是 int
两个同类型指针相减(如 p2 - p1)得到的是元素个数,类型是 ptrdiff_t —— 这是一个有符号整型,宽度足够容纳任意对象地址差,通常等同于 long 或 long long。
常见错误现象:
用 int diff = p2 - p1; 在 64 位系统上截断高位,尤其当指针差超过 2GB 时出错;
拿这个差值去和 size_t 比较(有符号 vs 无符号),触发隐式转换警告甚至逻辑翻转。
- 正确做法:始终用
ptrdiff_t接收,或用auto diff = p2 - p1;让编译器推导 - 使用场景:计算数组长度(
&arr[N] - &arr[0])、判断两指针是否同属一块内存、实现安全的区间检查 - 注意:只有指向同一数组(或末尾后一位置)的指针才能相减;跨数组、跨 malloc 块相减是未定义行为
reinterpret_cast 是唯一安全的“字节级”指针操作入口
如果你想真正按字节偏移(比如解析二进制协议头、手写 memcpy),必须先把指针转成 char* —— 因为只有 char 的 sizeof 被标准保证为 1,且 char* 支持任意字节偏移。
为什么不用 unsigned char*?也可以,但 char* 更通用(IO、内存视图接口常用);int* 或其他类型直接偏移,会受对齐、别名规则(strict aliasing)限制,优化器可能乱序或删掉代码。
- 典型误用:
int* p = ...; *(p + 1) = 42;本意是跳 1 字节,结果跳了 4 字节 - 正确姿势:
int val = 0x12345678;<br>char* bytes = reinterpret_cast<char*>(&val);<br>printf("%02x", (unsigned char)bytes[0]); // 低字节(小端) - 性能提示:现代 CPU 对非对齐访问(如
int从奇数地址读)可能慢几倍甚至触发 trap,char*操作本身无对齐要求,但后续重解释为其他类型时需自行保证对齐
偏移量计算本身很简单,难的是时刻意识到:指针不是数字,它的算术永远绑定类型。哪怕你写的是 int*,编译器也只认 sizeof(int),不会迁就你的直觉。越早放弃“地址+1”的幻想,越少掉进内存越界和未定义行为的坑里。









