C++协变场景下调用子类独有方法是否必须使用强制类型转换

报错根因 #

你调用b->getThis()时，b的静态类型是Base*，编译期只会匹配Base类中定义的getThis()接口，它的返回值静态类型固定为Base*。协变返回是运行时的动态特性，编译期无法感知getThis()实际返回的是Derived*，自然找不到Base类中不存在的func2成员，这就是编译报错的原因。

是不是必须用强制类型转换？ #

不一定，根据场景可以选择以下几种替代方案，不需要显式写类型转换：

• 方案1：基类新增虚函数接口
  这是最符合面向对象设计的方案，直接在Base类中定义func2的虚接口，编译期就能识别该成员，运行时会自动调度到子类的实现：

  class Base
  {
  public:
      virtual Base* getThis() { std::cout << "called Base::getThis()\n"; return this; }
      virtual void func1() { std::cout << "called Base::func1\n"; }
      // 新增func2虚接口，可设为纯虚或者给默认实现
      virtual void func2() {}
  };
  

  修改后直接调用b->getThis()->func2()即可正常运行。

• 方案2：用CRTP实现静态多态
  如果不想在基类新增多余的虚函数，也可以用奇异递归模板模式，让编译期直接拿到子类类型：

  template <typename DerivedT>
  class Base
  {
  public:
      DerivedT* getThis() { 
          std::cout << "called Base::getThis()\n"; 
          return static_cast<DerivedT*>(this); 
      }
      virtual void func1() { std::cout << "called Base::func1\n"; }
  };
  
  class Derived : public Base<Derived>
  {
  public:
      void func1() override { std::cout << "called Derived::func1\n"; }
      void func2() { std::cout << "called Derived::func2\n"; }
  };
  

  这种方案下getThis()的返回值在编译期就是Derived*类型，可以直接调用func2，仅适用于可以把基类改造为模板类的场景。

如果你的场景不允许修改基类定义，也不能用模板静态多态，那要调用子类独有的、基类没有的成员函数，就必须用static_cast或者dynamic_cast做类型转换：

• 你100%确定指针指向的是Derived类型时用static_cast，性能更高，没有运行时开销
• 不能确定类型安全时用dynamic_cast，转换失败会返回空指针，可以做异常判断，避免未定义行为

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