C++中派生类成员函数作为基类成员函数指针传递问题

为什么不能隐式转换派生类成员函数指针到基类成员函数指针 #

C++的隐式转换规则要求转换必须是绝对安全、无调用风险的，而这种方向的成员函数指针转换天然存在风险，因此被编译器禁止：

• 基类成员函数指针void (Object::*fn)()的语义是：该指针指向的函数是Object类本身拥有的成员，任何Object类实例调用这个函数都是合法的。
• 你使用的&Derived::printit是派生类独有的成员函数，基类Object中完全没有这个函数的定义。如果允许隐式转换，就会出现合法但致命的调用场景：给tryit传入一个真正指向Object实例的指针，搭配转换后的成员函数指针调用，就会访问不存在的函数内存，触发未定义行为。
  编译器为了避免这种潜在风险，直接禁止了该方向的隐式转换。

为什么手动强制转换可以正常运行 #

手动强制转换相当于你主动向编译器声明：你明确知道该转换存在风险，并且保证实际调用时传入的Object指针一定指向对应派生类的实例，风险由你自己承担，因此编译器会放行。
在你的示例中，传给tryit的第一个参数确实是Derived类的实例，调用的printit函数真实存在，因此运行没有问题。
注意：如果后续你给tryit传入真正的Object实例指针，搭配转换后的成员函数指针调用，仍然会触发未定义行为，大概率直接崩溃。

更安全的替代实现 #

如果你不想使用虚函数，又要避免强制转换的风险，可以将tryit改为模板实现，既支持调用不同名称的函数，也能保证类型安全：

template<typename T>
void tryit(T* obj, void (T::*fn)()) {
    (obj->*fn)();
}

修改后直接调用tryit(&d, &Derived::printit)即可正常编译运行，不需要额外的类型转换。

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