多态和虚函数
考虑有一个animal基类和一个派生类cat:
class Animal
{
public:
void say()
{
cout << "animal words" << endl;
}
};
class Cat : public Animal
{
public:
void say()
{
cout << "miaomiao"<< endl;
}
};
如果我们有其它像Dog、Bird等Animal的派生类,并且我们需要将这些不同Animal放到某个数据结构中。由于数据结构只能是容纳同种类型的数据,因此我们需要在声明Cat、Dog、Bird的时候,都把它们声明为Animal. 这时,我们看say()函数:
int main()
{
Animal *cat = new Cat();
cat->say(); //输出"animal words"
}
可见,cat的say()并不是cat这个类特别定义了的内容,而是基类Animal的。让cat这个类特别定义了的say()展现出来,就叫做多态。实现多态的方法就是虚函数,即在基类加virtual:
class Animal
{
public:
virtual void say()
{
cout << "animal words" << endl;
}
};
这时再执行上面的main()函数,输出结果就是"miaomiao".
虚函数表
在Animal没有使用虚函数前,cat这个实例对象的say()函数的地址在程序编译阶段就确定好了(叫early bounding),而我们将其声明为Animal,所以就是Animal这个类的say(). 而使用virtual的效果则是,say()函数的地址不在编译时确定,而是在运行时确定(late bounding)——通过一个叫虚函数表的东西来实现。
当一个基类中的函数声明为virtual时,编译器就会给这个类一个虚函数表(链表),表中存储了所有虚函数的地址。当派生类把基类的函数覆盖掉时(就像cat里的say()函数),派生类虚函数表里的这个函数地址也会相应地覆盖掉(基类的)。那么在运行阶段就会确切地把这个函数作用出来。
纯虚函数
如果把Animal类改成下面这样:
class Animal
{
public:
virtual void say() = 0;
};
那么say()就是一个纯虚函数(完全没有定义函数),这时Animal就叫做抽象类(含一个以上纯虚函数的类)。抽象类不能实例化。这种类一般是用作公共接口。