基类指针指向派生类对象调用带参fun()报错，求原因分析

咱们直接点出问题核心：你这段代码报错是因为基类Base中根本没有定义接受int参数的fun()函数，而你通过Base*指针调用fun(5)时，编译器只会根据指针的静态类型（也就是Base*）去查找匹配的函数。

具体拆解为什么会出现这个问题： #

1. 函数重写的条件没满足
   你可能以为派生类的virtual void fun(int x)是重写了基类的virtual void fun()，但C++里的函数重写要求函数签名完全一致（函数名、参数列表、const修饰符都得匹配，返回值可以是协变类型）。这里基类的fun是无参的，派生类的是带int参数的，两者签名不一样，所以这不是重写，而是派生类对fun函数的重载。

2. 静态类型决定了编译器的查找范围
   当你写Base* bp = &d1;时，bp的静态类型是Base*，编译器在编译阶段会优先在Base类的作用域里找fun()函数。Base里只有无参的fun()，没有接受int参数的版本，所以调用bp->fun(5)时，编译器找不到匹配的函数，自然就报错了。

怎么修复这个问题？ #

如果你想通过基类指针调用派生类的带参数fun，有两种常见思路：

• 方案一：让派生类的fun真正重写基类的函数，也就是把基类的fun改成带int参数的：

  class Base {
  public:
      virtual void fun(int x) {
          cout << "Base::fun(), x = " << x << endl;
      }
  };
  class Derived : public Base {
  public:
      // 加override关键字，明确是重写，编译器会帮你检查签名是否匹配
      virtual void fun(int x) override {
          cout << "Derived::fun(), x = " << x << endl;
      }
  };
  

• 方案二：如果需要同时保留无参和带参的fun，可以在基类中重载fun函数，然后派生类按需重写：

  class Base {
  public:
      virtual void fun() {
          cout << "Base::fun()"<< endl;
      }
      virtual void fun(int x) {
          cout << "Base::fun(), x = " << x << endl;
      }
  };
  class Derived : public Base {
  public:
      virtual void fun(int x) override {
          cout << "Derived::fun(), x = " << x << endl;
      }
  };
  

这里强烈推荐用override关键字，它能让编译器帮你验证是否真的重写了基类的函数，避免因为签名不匹配导致的隐性错误。

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