同名不同参数返回值的虚函数调用问题解析及非虚场景说明

嘿，我来帮你拆解下你在这个面试题里踩的坑～

你的思路误区在哪里？ #

你对虚函数表（vtable）和函数调用匹配的理解有两个关键错误：

• 错误1：认为Derived的double func(double)会进入基类的虚函数表
  虚函数表只存放对基类虚函数的重写（override）版本，而重写要求函数签名（返回值、参数类型/数量、const属性）完全匹配（协变返回值除外）。你的Derived::func(double)和Base::func(int)参数类型不同，这不是重写，而是派生类的重载（overload）函数，它不会被放进Base的虚函数表里。
• 错误2：认为基类指针能直接调用派生类的重载函数
  基类指针bd的静态类型是Base*，编译器在编译阶段只会根据Base类的接口去匹配函数。Derived新增的double版本func，在Base类里根本没有声明，所以基类指针看不到这个函数，自然不会去调用它。

实际调用逻辑解析 #

我们一步步看代码的执行过程：

1. bd->func(2)：
   这是精确匹配Base的virtual int func(int)，而Derived没有重写这个函数，所以动态绑定后依然调用Base的版本，输出Base func()和3，这部分你的预期是对的。
2. bd->func(2.3)：
   编译器先在Base类的接口里找能接受double参数的func，但Base只有int func(int)。这时候C++会触发隐式类型转换，把2.3转换成int类型的2，然后匹配Base的虚函数，最终还是调用Base的版本，所以输出Base func()和3，而不是你预期的Derived版本。

当Base::func()非虚时的情况 #

• 是否存在vtable？
  如果Base类里没有任何虚函数（包括析构函数），编译器不会为它生成虚函数表，因为不需要支持动态绑定。
• 函数调用如何解析？
  此时所有函数调用都是静态绑定，编译时直接根据指针的静态类型（Base*）确定调用的函数。不管bd实际指向Base还是Derived对象：
  • bd->func(2)直接调用Base的int func(int)；
  • bd->func(2.3)依然会把double转成int，调用Base的int func(int)；
    派生类的double func(double)对Base*指针完全不可见，除非你先把指针强制转换成Derived*类型（但这是不安全的，除非确定指针指向Derived对象）。

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