[C++进阶]抽象类

一、抽象类

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.接口继承与实现继承

普通函数的继承是一种实现继承，派生类继承了基类函数，可以使用函数，继承的是函数的实现。虚函数的继承是一种接口继承，派生类继承的是基类虚函数的接口，目的是为了重写，达成多态，继承的是接口。所以如果不实现多态，不要把函数定义成虚函数 。