C++如何定义指向成员变量的偏移量指针-C++-PHP中文网

offsetof 是标准库宏，可直接获取标准布局类型中成员变量的编译期字节偏移量，返回 size_t 整数，不依赖实例且行为确定；对非标准布局类型（如含虚函数、多重继承的类）结果未定义。

c++如何定义指向成员变量的偏移量指针

什么是`offsetof`，它能直接拿到成员变量偏移量吗

offsetof 是 C/C++ 标准库提供的宏（定义在 <cstddef></cstddef>），用于计算结构体或类中某个成员相对于其起始地址的字节偏移量。它返回的是 size_t 类型整数，不是指针，更不是“指向成员变量的指针”——这点常被误解。

它只能用于标准布局类型（standard-layout type），比如普通 struct、POD 类；对含虚函数、多重继承、非公有继承、引用成员的类，offsetof 行为未定义。

示例：

C++ Code Review Master

组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。

下载

struct S { int a; char b; double c; };
size_t off = offsetof(S, c); // 正确：off 是 c 相对于 &s 的字节偏移（考虑对齐）

注意：offsetof(S, c) 不产生任何运行时指针，也不绑定实例，纯编译期常量计算。

如何真正定义“指向成员变量”的指针（member pointer）

C++ 有原生语法支持指向类成员的指针，但必须区分“指向成员函数”和“指向数据成员”。后者就是你要的“指向成员变量”的指针，语法是 类型类名::*指针名。

这种指针不存储绝对地址，只存偏移量（编译器内部实现），且必须配合具体对象实例才能解引用。

关键点：

int S::*p = &S::a; 是合法声明，p 是“指向 S 中 int 类型成员的指针”
不能用 nullptr 初始化（C++17 起允许，但仍是空值，解引用 UB）
不能直接转成 void* 或整数，也不能做算术运算
解引用必须用对象（或指针）： s.*p 或 ps->*p

示例：

struct S { int x; double y; };
int S::*px = &S::x;
S s{42, 3.14};
int val = s.*px; // val == 42

为什么不能把 member pointer 当作普通指针用

成员指针不是内存地址，而是编译器生成的“描述信息”。在单继承无虚函数的简单类中，它可能就是一个整数偏移量；但在多重继承、虚基类等场景下，它可能是多个字段（如 offset + adjustor + vtable index），大小甚至可能是 sizeof(void*) * 2 或更大（取决于 ABI）。

常见误用及后果：

reinterpret_cast<uintptr_t>(px)</uintptr_t>：结果不可移植，不同编译器/平台含义不同
px + 4：非法，member pointer 不支持算术运算
if (px == nullptr)：C++17 前不合法；C++17 后虽可比较，但空 member pointer 解引用必崩溃
跨类使用：int T::*q = px;（T 和 S 无关）：编译失败

它本质是类型安全的访问契约，不是底层地址操作工具。

需要运行时动态偏移访问？用 `offsetof` + `char*` 强转

如果你真要绕过类型系统、按字节偏移读写（比如序列化、反射模拟、内存池管理），就得手动组合 offsetof 和 reinterpret_cast。

必须确保：

类型是标准布局（std::is_standard_layout_v<t></t>）
目标成员可平凡复制（trivially copyable）
对齐满足要求（通常 offsetof 已隐含对齐）

示例（安全读取）：

struct S { int a; char b; };
S s{123, 'x'};
int* pa = reinterpret_cast<int>(reinterpret_cast<char>(&s) + offsetof(S, a));
int val = *pa; // val == 123</char></int>

注意：这比 member pointer 更底层、更易出错，且失去类型检查；一旦结构体内存布局变化（如加字段、改访问控制、换编译器），这段代码就静默失效。

成员指针的语义和 offsetof 的用途完全不同：前者是 C++ 类型系统的一部分，用于泛化访问；后者是低层布局工具。混用或强转它们，往往意味着你在用类型系统之外的方式解决本该由设计或模板处理的问题。