C++ 怎么样？ VIRTUAL函数不是多余的吗？

Question

可能的重复：
覆盖与虚拟
我如何覆盖这个 C++继承的成员函数没有使用 virtual 关键字？

我现在正在学习 C++，但对于编程语言我并不是完全一无所知。有些事对我来说毫无意义。我的理解是类中的虚拟函数可以在子类中重写。但是，默认情况下不是允许的吗？例如：

class Color {
    public:
        void Declare() { std::cout <<"I am a generic color."; }
};

class Purple : public Color {
};

如果我创建一个 Purple 的实例，然后调用它的 Declare 函数，那么它显然会在控制台窗口输出“我是通用颜色”。如果我想在 Purple 类中重写这个函数，我可以简单地在那里定义它来生成：

class Purple : public Color {
    public:
        void Declare() { std::cout <<"I am purple."; }
};

当然，这会输出“我是紫色的”。到控制台。如果我可以默认覆盖函数，那么使用 VIRTUAL 函数来明确告诉编译器它可以被覆盖有什么意义呢？抱歉问了这个愚蠢的问题。 :/

Answer 1

考虑这段代码：

class Color
{
public:
    void Declare() { std::cout << "I am a generic color"; }
};

class Purple : public Color
{
public:
    void Declare() { std::cout << "I am purple"; }
}

Color* color = new Purple();
color->Declare();

正如所写，这将打印出“I am a generic color”，即通过基类指针（Color*）调用Declare()将调用基类的函数实现。

如果在 Declare() 的 Color 声明前面添加关键字 virtual，则会打印“I am Purple”。 virtual 关键字告诉编译器，通过基类指针对函数的调用应该分派到具体类 (Purple) 实现。

Answer 2

虚函数在处理多态性时很有用。非虚函数是在编译时查找的，因此创建 Color 类型的变量并调用其 Declare() 方法将总是导致Color::Declare() 被调用，即使变量中的对象是Purple。

Answer 3

区别在于，如果你有一个函数 foo ，它接受一个颜色并调用它的声明方法，如果它们是虚拟的，并且你传入一个紫色，它会说我是紫色，如果该方法不是虚拟的，它会说我是一个通用的颜色...

Answer 4

虚函数允许多态性——您可以有一个指向基类的指针，但它仍然调用派生类中的函数。在您的示例

Color *c=new Purple;
c->Declare();

中将输出“我是通用颜色”。如果 Color 中的 Declare() 函数是 virtual，则 Purple 中的函数将覆盖 它，因此这段代码将打印“我是紫色的”。

Answer 5

重要的区别是在这种情况下发生的情况：

Purple p;
Color* pC = &p;
pc->Declare();

如果函数 Declare 被定义为非虚拟，那么调用将调用转到基类。如果该函数被声明为virtual，则调用将转到派生类。因此，拥有一个函数将允许您使用基类指针调用派生类方法。基本上它支持多态性。

Answer 6

不，这并不多余。

尝试：

Color* color = new Purple();
color->Declare();

你希望它打印“我是紫色的”。只有当您将 Declare 声明为虚拟时，这种情况才会发生。

选择允许覆盖派生类中的函数名称而不将其设为虚拟函数是 C++ 程序中错误的一个次要来源。不同的语言对此有不同的补充。