【C++温故】(2) 类的继承（二）

虚函数

当父类定义为虚拟函数后，子类同名函数也默认为虚拟函数
主要考虑普通虚函数和虚拟析构函数

#include "stdafx.h"
#include "iostream"
using namespace std;

class A
{
public:
    A()
    {
        cout << "A constructed"<<endl;
    }
    virtual ~A()
    {
        cout << "A de-constructed"<<endl;
    }
public:
    virtual void func(){cout << "A::func()"<<endl;}
};

class B: public A
{
public:
    B()
    {
        cout << "B constructed"<<endl;
    }
    ~B()
    {
        cout << "B de-constructed"<<endl;
    }
public:
    void func(){cout << "B::func()"<<endl;}
};

int _tmain(int argc, _TCHAR* argv[])
{
    A* objA = new B;
    objA->func();

    delete objA;

    return 0;
}

// 输出
// A constructed
// B constructed
// B::func()
// B de-constructed
// A de-constructed

现在把 A 类的析构函数和 func 函数都变成非虚拟函数

~A()
{
    cout << "A de-constructed"<<endl;
}
public:
    void func(){cout << "A::func()"<<endl;}

// 输出
// A constructed
// B constructed
// A::func()
// A de-constructed

这里的前提是：使用基类的指针（或引用）指向子类

• 对于普通同名函数，如果不定义为虚拟，那么会调用指针（或引用）本身类（在这里是基类）的那个函数；如果定义为虚拟，则会调用指针指向对象类型的那个函数
• 对于析构函数，如果不定义为虚拟，那么只会调用指针本身类（基类）的析构，而不会调用其指向对象类型的析构
• 这样做的意义就是：允许同一类的指针指向不同类的对象，并调用相应类的方法。实现了多态性（运行时）

由此给出两条原则：

• 基类的析构尽量设计成虚拟的
• 如果希望派生类对某个方法进行改写，在基类里将其声明为 virtual

---

抽象基类

以圆和椭圆的类设计为例：似乎可以简单的将圆作为椭圆的派生类，但这样一来，从椭圆类继承过来的很多变量和方法（长、短轴等）是没有意义的

因此考虑抽象两者的共性，将其组织为一个基类，圆和椭圆均从该基类派生

• 当类方法至少有一个纯虚函数时，该类为抽象类

// 纯虚函数由 virtual、后面加 ‘=0’ 组成
virtual double Area()const = 0;

• 抽象类专门用来派生，不能实例化