多态的核心--虚函数--静态类型和动态类型

最新推荐文章于 2023-01-23 12:13:15 发布

LevinLin

最新推荐文章于 2023-01-23 12:13:15 发布

阅读量830

点赞数

文章标签： fun 编译器 function system class c

本文链接：https://blog.csdn.net/shandianling/article/details/7466963

版权

静态类型（在编译时可知的引用类型或指针类型）

动态类型（指针或引用所绑定的对象的类型这是仅在运行时可知的）

#include <iostream>
using namespace std;
class A
{
public:
	A()
	{
		fun();
	};

//private: //如果这里设置为private则编译不通过
	virtual void fun(int i=10) 
	{
		cout<<"A init; "<<i<<endl;;
	}
};
class B:public A
{
public:
	B(){
		cout<<"B init2"<<endl;
	};
	
	virtual void fun2()
	{
		cout<<"B fun2 "<<endl;
	}
	virtual  void fun(int i=88)
	{
		cout<<"B init "<<i<<endl;
	}
};
int main()
{
	B b;
	A* p=&b;
	p->fun();
	system("pause");
	return 0;
}

为什么编译不通过？

（当设置为public 时，输出： B init 10 )

过程：

1，在编译阶段，p->fun(); 只是按其静态类型来处理的, 在这里为类型A。

也就是说，碰到p->fun(); 编译器就当作调用A的fun来进行相应的检查和处理。

例如 A类中 fun()设为private的时，类用户是不能访问的，所以编译出错。

2，运行时，

B b; 这条语句执行了以下操作：（PS：类的非静态成员函数都会编译加一个指针参数，指向调用该函数的对象，我们平常用的this就是该指针的值）

（1）调用基类的构造函数，通过附加的this指针（指向的是b）,把b对应的虚函数表中的第一项改为：A::fun(int)

（2）调用派生类的构造函数，能过附加的this指针（指向b）,把b对应的函数表中的第一项改为：B:fun(int),把刚才的覆盖了。

PS：虚函数表里的每一项都保存着函数指针，最后是一项是一个结束标记。

所以执行p->fun();的时候，实际上执行的B::fun()。