C++：类的相关知识点2

虚函数

虚函数是一种成员函数，它是一种成员函数，它为派生类中具有相同名字，接受相同参数的函数定义了一个一致的调用接口。
当调用一个虚函数时，实际被调用的是对应派生类中的函数。
在派生类中定义与基类中虚函数名字和参数相同的函数，产能为虚函数被覆盖（override）。

class Shape(){
public:
    virtual void draw();    //virtual意味着“可以覆盖”
    virtual ~Shape() {};    //虚析构函数
    //....
};

class Circle : public Shape {
public:
    void draw();     //覆盖Shape::draw
    ~Circle();       //覆盖Shape::~Shape()
    //....
};

大致来说，基类中（在上述例子中是Shape）的虚函数为派生类（在上述例子中是Circle）定义了一个调用接口：

void f(Shape& s)
{
    //...
    s.draw();
}

void g()
{
    Circle c(Point{0,0}, 4};
    f(c);     //将会调用Circle的draw
}

需要注意到是，f()并不知道Circle类，它只知道Shape。定义了虚函数的类都有一个额外的指针，通过这个指针可以找到覆盖函数。
定义了虚函数的类通常需要定义虚析构函数。
可以用override后缀表明覆盖基类虚函数的愿望。eg

class Square : public Shape
public:
{
    void draw() override;    //覆盖Shape::draw
    ~Shape() override;       //覆盖Shape::~Shape()
    void silly() override;   //错误，因为Shape没有虚函数Shape::silly()
    //....
};

抽象类

抽象类是只能用作基类的类，C++不允许创建抽象类的对象。

Shape s;    //错误，Shape是抽象类

class Circle : public Shape
{
public:
    void draw();     //覆盖Shape::draw
    //...
};

Circle c(p,20);     //正确，Circle不是抽象类

使一个类称为抽象类的最常用的方法是定义至少一个纯虚函数。
纯虚函数是必须在派生类中被覆盖的虚函数：

class Shape{
public:
    virtual void draw() = 0;     // = 0表示“纯”
    //....
};

另一种很少使用但同样有效的定义抽象类的方法是将类的所有构造函数都声明为保护的。