指向同基类派生类指针的类成员指针赋值问题求解

你遇到的是C成员指针的转换规则限制——虽然Bool*可以隐式转换为Base*，但Bool* Test::*（指向Test类中Bool*类型成员的指针）不能直接隐式转换为Base* Test::*，这是C标准的明确规定，成员指针的转换逻辑和普通对象指针完全不同。

下面是几种可行的解决方案：

方案1：显式类型转换 #

使用static_cast完成安全的强制转换（前提是你确认要转换的成员确实是Base派生类的指针）：

// 单个成员指针初始化
Base* Test::* Test::fields = static_cast<Base* Test::*>(&Test::flag);

// 如果是遍历多个成员，建议用数组存储
static Base* Test::* fields[] = {
    static_cast<Base* Test::*>(&Test::flag),
    static_cast<Base* Test::*>(&Test::size),
    static_cast<Base* Test::*>(&Test::data)
};

static_cast在这里是标准允许的，因为底层的Derived*可以安全转换为Base*，对应的成员指针转换也被视为合法。

方案2：模板包装遍历逻辑 #

如果不想用显式转换，可以通过模板函数在访问成员时完成指针转换，既保留原始类型信息，又能统一处理：

// 模板函数，处理任意Derived*类型的Test成员
template<typename DerivedPtr>
void process_test_member(Test& obj, DerivedPtr mem_ptr) {
    Base* base_ptr = obj.*mem_ptr;
    // 这里可以对base_ptr执行统一的基类操作
}

// 遍历调用示例
int main() {
    Test obj;
    process_test_member(obj, &Test::flag);
    process_test_member(obj, &Test::size);
    process_test_member(obj, &Test::data);
    return 0;
}

方案3：统一成员变量类型 #

如果业务场景允许，可以直接将Test的成员声明为Base*类型，初始化时用派生类指针赋值：

class Test {
    static Base* Test::* fields[];
public:
    Base* flag;
    Base* size;
    Base* data;
};

// 成员指针数组直接初始化
Base* Test::* Test::fields[] = {&Test::flag, &Test::size, &Test::data};

// 构造Test对象时赋值
Test create_test() {
    Test t;
    t.flag = new Bool();
    t.size = new Size();
    t.data = new More();
    return t;
}

这种方式最直接，但会丢失编译期的类型信息，若后续需要调用派生类的特有方法，需使用dynamic_cast进行类型转换。

注意事项 #

• 避免使用reinterpret_cast完成转换：它会跳过C++的类型检查机制，一旦成员类型不匹配，运行时会触发未定义行为。
• 若使用显式转换，务必确保所有被转换的成员都是Base派生类的指针，否则会导致访问错误。

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