重新定义虚函数调用

Question

考虑：

#include <iostream>

class Base
{
public:
    virtual void foo() { std::cout << "Base::foo()\n"; };

};

class Derived : public Base
{
public:
    void foo() override 
    {
        std::cout << "Derived::foo()\n";  
        Base::foo();
    }

};

int main()
{
    Derived obj;
    obj.foo();

    return 0;
}

这是我的代码。为什么我可以在衍生的类，如果我已经重新定义它衍生的班级。为什么编译器不删除类中的 Base::foo衍生的重新定义后？

Answer 1

“为什么编译器在重新定义后不删除派生类中的 Base::foo”

因为那不是 virtual 和 override 所做的。当您为基类函数提供覆盖时，您不会替换它。您正在为该函数定义一个新版本。基类的实现继续存在并且可以访问。

考虑以下代码。有人仍然可以使用 Base 对象，并且行为不应更改，因为 Derived 存在。无论Derived 是否存在，base_obj.foo() 的输出都应该继续为"Base::foo()"。 :

#include <iostream>

class Base
{
public:
    virtual void foo() { std::cout << "Base::foo()
"; }
};

class Derived : public Base
{
public:
    void foo() override { std::cout << "Derived::foo()
"; }
};

int main()
{
    Derived obj;
    obj.foo();

    Base base_obj;
    base_obj.foo();

    return 0;
}

还要考虑多个类可以从 Base 派生。我可以添加一个 class MyClass : public Base 和它自己的 foo() 版本，它不应该干扰 Base 或 Derived 对象的行为。

如果重写一个成员函数会导致基成员函数被完全替换或删除，那么如果不仔细阅读从代码派生的每个类，就几乎不可能对代码进行推理。除非您的 IDE 为此提供工具，否则它意味着阅读所有代码库。这会使使用多态性的 C++ 代码极难理解。