C++ 多态/动态绑定

参照文章: https://blog.csdn.net/sparkjin/article/details/8768743.

上次看到一个继承题目，代码如下：

class A
{ 
	public: 
	A(){func(0);}; 
	virtual void func(int data){printf("A1 :%d\n",data);} 
	virtual void func(int data) const{printf("A2 :%d\n",data);} 
	void func(char *str){printf("A3 :(%s)\n",str);} 
}; 
class B:public A
{ 
	public: 
	void func(){printf("B1 :%s\n","");} 
	void func(int data){printf("B2 :%d\n",data);} 
	void func(char *str){printf("B3 :(%s)\n",str);} 
}; 
int main() 
{ 
	A *pA; //1
	B b; //2
	const A *pcA; //3
	pA=&b; //4
	pA->func(1); //5
	pA->func("test"); //6
	A().func(1); //7
	pcA=&b; //8
	pcA->func(2); //9
	return 0; //
}  

以下是代码输出分析：
1、声明了一个A类指针pA；
2、实例了一个B类对象b；（执行默认构造函数，先父类A的构造，调fun(0)，是虚函数，但是在基类构造时，所有虚函数都不虚；后子类的构造函数，无）
3、const A类指针pcA；
4、基类指针pA指向派生类对象；
5、基类的指针指向派生类对象：那么该指针只能够调用基类所定义的函数，如果基类中没有该函数，则报错，如果有且非虚则调基类该函数（不管派生类中该函数情况），但是如果该函数为虚函数，引发了动态绑定，到派生类中去找是否重写了该函数，重写则调用该派生类自己的成员函数，没重写则仍调用基类的该函数。
基类有，虚，派生类中也有，调派生类的。
6、基类的func(char *str)不是虚函数，所以调A的。
7、A()实例一个临时A类对象，调A的默认构造，.func(1)调A的，因为这个对象就是个A类对象，不因为是虚函数就必须调派生类重写函数。
8、const A类指针pcA指向派生类B对象b；
9、虽然基类对应函数是虚，但是派生类B类并没有对其进行重写，所以还是输出A类的。

答案：
A1 :0 //第2句输出
B2 :1 //第5句输出
A3 :(test) //第6句输出
A1 :0 //第7句输出
A1 :1
A2 :2 //第9句输出

这就比较好解释，为什么基类的虚函数为什么要是虚函数：当用基类操作派生类，在析构时防止只析构基类而不析构派生类的状况发生。当基类的指针指向子类对象析构时，会动态绑定到派生类的析构函数上，调用派生类的析构函数。随后派生类析构后，会自动调用父类的析构函数（C++的设定，与多态无关，即使析构函数不是虚函数，子类析构后也会调用父类的析构函数）。