为什么虚函数优于派生类对象？

Question

所以我是学习虚拟函数的新手，我正在关注在线教程，但我似乎无法找到我的问题的答案。我想问为什么通过设置基类对象指向派生类对象来使用下面的虚函数，比只使用派生类对象本身来访问函数更好？

似乎无论哪种方式我都得到相同的输出，而且创建基类对象和虚函数似乎是额外的步骤。我在一个在线教程中看到了一个与此类似的示例，它声称虚拟函数使编码更容易，但我不太明白这个示例的好处？

我在网上看到：

虚函数的主要优点是它们直接支持面向对象的编程。当您将函数声明为虚拟函数时，您是在说执行的代码具体取决于您调用它的对象的类型。

但是使用派生对象似乎已经是这种情况，并且没有必要创建基类对象？我确定我遗漏了一些明显的东西，所以我非常感谢任何帮助。我展示了我在下面编写的示例代码，它与我在详细介绍虚拟函数时看到的类似：

#include <iostream>

using namespace std;

//////////////////////////////////////////////////////
//base class
class Shape {

public:
virtual void draw()=0;  //pure virtual function
};

//derived classes
class Square : public Shape {

public:
void draw() {
    cout << "Draw square" << endl;
    }

};

class Circle : public Shape {

public:
void draw() {
    cout << "Draw circle " << endl;
    }

};

//////////////////////////////////////////////////////
int main()
{
Square so;  //create derived class objects
Circle co;

Shape* shape1 = &so;  //setting base class objects as pointers to derived objects
Shape* shape2 = &co;


shape1->draw();  //using base class objects to access derived class
shape2->draw();

so.draw();  //using derived class objects
co.draw();

}

Answer 1

使用基类指针类型和虚函数的巨大好处是，您可以拥有一个包含多种不同类型的Shape 的列表，并且您可以在一个函数中处理它们由于它们的派生类型而具有不同的行为。

例如，我通过添加函数DrawAllShapes 来修改您的代码，该函数接受vector<Shapes*>&。 （小心使用原始指针。你真的应该使用vector<std::unique_ptr<Shape>>&here 或类似的东西。

您可以通过这种模式获得难以置信的灵活性，它允许您在基类指针对象的集合上调用相同的函数，但会导致集合中每个对象的行为不同，具体取决于其派生类型。

#include <iostream>
#include <vector>
using namespace std;

//////////////////////////////////////////////////////
//base class
class Shape {

public:
    virtual void draw() = 0;  //pure virtual function
};

//derived classes
class Square : public Shape {

public:
    void draw() {
        cout << "Draw square" << endl;
    }

};

class Circle : public Shape {

public:
    void draw() {
        cout << "Draw circle " << endl;
    }

};

void DrawAllShapes(std::vector<Shape*>& shapes) {
    for (int i = 0; i < shapes.size(); ++i) {
        shapes[i]->draw();
    }
}

//////////////////////////////////////////////////////
int main()
{
    std::vector<Shape*> shapeVec{ new Square, new Circle, new Square, new Square, new Circle };
    DrawAllShapes(shapeVec);

    system("pause");
}

另外，想象一下，如果您使用的是已经定义了 Shape 类和多个形状的预构建图形库。如果您想添加自己的新型 Shape 并使其与库的所有功能完美配合，该怎么办？您所要做的就是创建自己的派生类并实现库的 Shape 类公开的所有必要的虚函数，然后您就可以将库扩展至超出其原始功能的范围。