C++成员指针的算术运算问题及解决方法

错误原因 #

C++标准不允许对成员指针执行算术运算（比如+/-整数）。成员指针和普通指针的内部逻辑完全不同：普通指针直接对应内存地址，而成员指针存储的是成员相对于结构体起始地址的偏移（在虚继承场景下，还可能包含额外的调整信息）。因此编译器没有为成员指针与整数的组合提供operator+重载，直接写+1会触发编译错误。

实现所需功能的方法 #

要调整成员指针的偏移，需要先将成员指针转换为可操作的整数类型，修改偏移量后再转换回目标成员指针类型，具体步骤如下：

1. 通过reinterpret_cast把原始成员指针转为uintptr_t类型（该类型能完整容纳指针的所有位模式）。
2. 调整偏移量：因为目标是uint64_t成员的后半部分（小端序下对应高4字节），所以给转换后的整数加上sizeof(uint32_t)（即4）。
3. 将调整后的整数转换回uint32_t Foo::*类型。

修正后的代码 #

#include <cstdint>

struct Foo {
  uint64_t x;
};

void test32(Foo& f, uint32_t Foo::* p) {
  (f.*p) = 5;
}

void test(Foo& f, uint64_t Foo::* p) {
  // 将成员指针转换为整数形式的偏移量
  uintptr_t offset = reinterpret_cast<uintptr_t>(p);
  // 调整偏移，指向uint64_t的后半部分（小端序）
  offset += sizeof(uint32_t);
  // 转换回目标成员指针类型
  auto p32 = reinterpret_cast<uint32_t Foo::*>(offset);
  test32(f, p32);
}

注意事项 #

• 该方法仅适用于非虚继承的结构体/类，若存在虚继承，成员指针内部包含额外的调整信息，直接修改偏移量会导致未定义行为。
• 依赖平台的小端序内存布局，若为大端序，需根据实际内存排布调整偏移逻辑。
• 这种转换属于实现定义行为，不同编译器的成员指针内部表示可能有差异，需在目标平台上测试验证。

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