一、抽象类
1.抽象类的概念
在虚函数的后面写上 =0 ,则这个函数为纯虚函数。包含纯虚函数的类叫做抽象类(也叫接口类),抽象类不能实例化出对象。派生类继承后也不能实例化出对象,只有重写纯虚函数,派生类才能实例化出对象。纯虚函数规范了派生类必须重写,另外纯虚函数更体现出了接口继承 。
至于为什么起这个抽象的名字,我们可以理解为,这个类在现实世界中没有实体。所以不能实例化出对象。而且由于派生类继承了抽象类,它里面也包含了纯虚函数,那么它自然也不能实例化出对象了。派生类如果真的想要实例化出对象,我们可以使用重写的方式,这样的话,它里面的这个纯虚函数就被覆盖,就没有纯虚函数了,自然就可以实例化出对象了
class Car
{
public:virtual void Drive() = 0;
};
class Benz :public Car
{
public:virtual void Drive(){cout << "Benz-舒适" << endl;}
};
class BMW :public Car
{
public:virtual void Drive(){cout << "BMW-操控" << endl;}
};
void Test()
{Car* pBenz = new Benz;pBenz->Drive();Car* pBMW = new BMW;pBMW->Drive();
}
int main()
{Test();return 0;
}
如下是由于包含纯虚函数导致不能实例化出对象的情形
class Car
{
public:virtual void Drive() = 0;
};
class Benz :public Car
{
public://virtual void Drive()//{// cout << "Benz-舒适" << endl;//}
};
class BMW :public Car
{
public:virtual void Drive(){cout << "BMW-操控" << endl;}
};
void Test()
{Car* pBenz = new Benz;pBenz->Drive();Car* pBMW = new BMW;pBMW->Drive();
}
int main()
{Test();return 0;
}
对于抽象类的多态,我们可能更多是应用于如下场景
class Car
{
public:virtual void Drive() = 0;
};
class Benz :public Car
{
public:virtual void Drive(){cout << "Benz-舒适" << endl;}
};
class BMW :public Car
{
public:virtual void Drive(){cout << "BMW-操控" << endl;}
};
//void Test()
//{
// Car* pBenz = new Benz;
// pBenz->Drive();
// Car* pBMW = new BMW;
// pBMW->Drive();
//}
void Func(Car* obj)
{obj->Drive();
}
int main()
{Func(new Benz);Func(new BMW);return 0;
}
那么现在有一个问题,Car类有虚表吗?其实Car类甚至都没有实例化出对象,是根本不可能有虚表的。只有Benz和BMW类才有虚表。
其实纯虚函数的作用就是强制了派生类的重写,因为如果不重写的话,要虚函数其实也没有什么其他用处了。
它与override的区别就是,override则是检查派生类中的虚函数是否完成了重写
两者还是有一些差距的,一个是在基类的,一个是在派生类的。
2.接口继承与实现继承
普通函数的继承是一种实现继承,派生类继承了基类函数,可以使用函数,继承的是函数的实现。虚函数的继承是一种接口继承,派生类继承的是基类虚函数的接口,目的是为了重写,达成多态,继承的是接口。所以如果不实现多态,不要把函数定义成虚函数 。