指针自增/自减的偏移量由 sizeof(ptr) 决定,p++ 并非地址加 1,而是加 sizeof(ptr),如 int 加 4、double 加 8、char 加 1;p + n 的实际字节偏移为 n × sizeof(p),且 void* 不支持算术运算,越界操作导致未定义行为。

指针自增/自减的偏移量由 sizeof(*ptr) 决定
写 p++ 不是地址加 1,而是加 sizeof(*ptr)。比如 int* 自增加 4(x86-64 下通常仍是 4),double* 加 8,char* 加 1。这个规则适用于所有指针算术:p + n 的实际字节偏移是 n × sizeof(*p)。
常见错误现象:(int*)0x1000 + 1 == 0x1004,不是 0x1001;误用 void* 做 +1 会编译失败(C++ 不支持 void* 算术);用 reinterpret_cast<int>(p) + 1</int> 后再转回指针,会丢失类型语义,导致越界或错位。
- 必须确保
p指向合法内存块,否则p + n超出数组边界即为未定义行为(UB),不报错但可能崩溃或读脏数据 - 指针减法结果类型是
ptrdiff_t,不是int;用int diff = p2 - p1;在 64 位系统上可能截断高位 - 跨平台安全写法:用
auto diff = p2 - p1;或显式声明为ptrdiff_t diff
offsetof 和 (T*)0 是计算结构体成员偏移的标准技巧
标准库宏 offsetof(T, m) 就是靠 &((T*)0)->m 实现的:把空指针 0 强转为 T*,再取成员 m 的地址。编译器不真正解引用,只做静态布局计算,所以不会段错误。
使用场景:写序列化层、内存映射 I/O、驱动开发、手写反射逻辑。
立即学习“C++免费学习笔记(深入)”;
- 不能对
(T*)0做*p、memset、free等内存操作,那会崩溃 - 仅适用于标准布局类型(POD 或至少是标准布局类),含虚函数、非公有继承、虚基类的类不保证偏移可预测
- 成员指针(如
int T::*)底层也存的是偏移量,但它和offsetof的值不一定相等——因编译器可能插入 vptr 或调整 this 指针
虚表中函数指针的偏移要按 sizeof(void*) 缩放
虚函数在虚表(vtable)里是连续的函数指针数组,每个元素大小等于平台指针宽度(通常是 8 字节)。索引从 0 开始,顺序严格对应类中虚函数首次声明顺序(含隐式析构函数)。
例如 Base 类中声明顺序是 ~Base()、foo()、bar(),那么 foo 的虚表索引是 1,其字节偏移就是 1 × sizeof(void*),即 8(x86-64)。
- 获取虚表指针必须从已构造完成的对象取:
void** vtable = *static_cast<void>(&obj);</void>,未构造对象直接读vptr会段错误 - 虚表项内容是函数地址,但调用时不能直接用普通函数指针类型转换;必须用匹配的成员函数指针类型(如
void (Base::*)())或手动传this的裸函数指针(后者在有多重/虚继承时极易失败) - clang/gcc 开启
-fno-vtable-verify或优化后,this 调整代码可能被省略或重排,导致裸调用失效
文件流偏移和内存偏移是两套独立机制
seekg/seekp 操作的是文件内部的字节位置,与内存指针算术无关。参数 off 是字节偏移量,单位恒为字节,不缩放。
例如:file.seekg(10, ios::beg) 表示跳到第 11 个字节(从 0 开始计);file.seekg(-5, ios::end) 表示倒数第 6 字节。
-
seekg影响读位置,seekp影响写位置,二者可独立移动(尤其在读写同一流时) - 不要混淆
streamoff(带符号整型,用于偏移)和streampos(用于保存绝对位置) - 文件偏移无类型概念,而内存指针偏移永远绑定所指类型大小——这是最根本的区别,也是新手最容易混用的地方
偏移计算本身很简单,难的是判断“该用哪一套偏移规则”。内存指针偏移看 *ptr 类型,结构体成员偏移看布局,虚表偏移看指针宽度,文件偏移就是纯字节。选错规则,结果就完全不可控。


















