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++的设定,与多态无关,即使析构函数不是虚函数,子类析构后也会调用父类的析构函数)。