C++基类继承异常行为：跨派生类非虚成员函数调用疑问

这不是编译器巧合，本质是非虚成员函数的调用机制和你强制类型转换的行为共同导致的结果，具体原因如下：

1. 非虚成员函数的调用本质 #

非虚成员函数的地址在编译期就已确定，调用时不依赖对象的实际类型——编译器只是把对象指针作为隐含的this参数传递给函数。对于无虚函数的类，对象内存布局里没有虚表，成员函数调用不需要通过虚表查找，直接使用编译期绑定的函数地址。

2. 回调3的原因分析 #

DerivedA和DerivedB都继承自空的Base类，它们的对象内存布局完全一致（都没有额外成员变量）。当你把&DerivedB::CallbackB强制转换成Base::*类型的成员函数指针后：

• 传递的DerivedA对象指针被当作Base*使用，由于Base是空类，this指针的地址和DerivedA对象起始地址完全相同；
• 成员函数指针实际指向DerivedB::CallbackB的地址，调用时只是把DerivedA的地址作为this传给了这个函数。而CallbackB没有访问任何成员变量，所以不会触发内存错误，能正常输出。

如果DerivedA或DerivedB有自己的成员变量，且CallbackB访问了DerivedB的成员，此时就会出现未定义行为（比如读取错误的内存地址）。

3. 回调4的原因分析 #

DerivedC继承自AnotherBase，同样是空类，对象内存布局和Base类对象完全一致。你用reinterpret_cast把DerivedC*转换成Base*，又把&DerivedC::CallbackC转换成Base::*成员函数指针：

• 转换后的指针地址没有变化（空类对象大小为1，地址就是对象起始地址）；
• 调用时，this指针被传递给CallbackC，函数本身不访问成员变量，所以能正常执行。

这种行为属于未定义行为，C++标准不保证它能一直正常工作——如果类的内存布局发生变化（比如添加成员变量、虚函数），或者编译器的成员函数指针实现方式不同，就可能崩溃或出现奇怪的结果。

正确的实现方式 #

如果要实现类型安全的回调机制，推荐以下几种方案：

• 虚函数机制：在Base中定义纯虚函数，派生类重写，通过Base*调用时会自动绑定到正确的派生类函数；
• std::function+lambda：捕获对象指针，封装成可调用对象，类型安全且灵活；
• 模板封装：用模板存储成员函数指针和对象，保证类型匹配。

std::function示例 #

#include <iostream>
#include <vector>
#include <functional>

using namespace std;

// 类定义与原代码一致...

int main() {
    DerivedA derived_a;
    DerivedB derived_b;
    DerivedC derived_c;

    vector<function<void()>> callbacks;

    callbacks.push_back([&](){ derived_a.CallbackA(); });
    callbacks.push_back([&](){ derived_b.CallbackB(); });
    // 错误调用会在编译期被阻止，比如下面这行无法通过编译
    // callbacks.push_back([&](){ derived_a.CallbackB(); });
    callbacks.push_back([&](){ derived_c.CallbackC(); });

    for (auto& callback : callbacks) {
        callback();
    }
}

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