c++ - 虚函数 const 与虚函数非常量

Question

class Base
{
   public:
   virtual void func() const
   {
     cout<<"This is constant base "<<endl;
   }
};

class Derived : public Base
{
   public:
   virtual void func()
   {
     cout<<"This is non constant derived "<<endl;
   }
};


int main()
{
  Base *d = new Derived();
  d->func();
  delete d;

  return 0;
}

为什么输出会打印“This is constant base”。但是，如果我在 func() 的基本版本中删除 const，它会打印“This is non constant derived”

d->func() 应该正确调用 Derived 版本，即使 Base func() 是 const 对吗？

Answer 1

 virtual void func() const  //in Base
 virtual void func()        //in Derived

const 部分是实际上是函数签名的一部分，这意味着派生类定义了一个new 函数而不是覆盖 基类函数。这是因为他们的签名不匹配。

当您删除 const 部分时，它们的签名匹配，然后编译器将 func 的派生类定义视为 覆盖版本基类函数 func，因此如果对象的运行时类型是 Derived 类型，则调用派生类函数。这种行为称为运行时多态性。