C++函数查找的一般性规律（二）

上一篇文章中对重载函数的函数查找规律进行说明，这篇文章将会对重写情况进行说明，重写发生

在类的继承过程中，今天将说明重写的函数调用过程

我们有如下假定：函数调用以p->func()或p.func()的形式调用，则主要分为如下四个步骤：

1)首先确定p的静态类型，只有静态类型是类类型，那么我们才能调用成员，并且静态类型决定了哪些成员是可见的。

2)在p对应的静态类型对应的类中查找func。如果找不到，则一次在直接基类中查找直到到达继承链的顶端。若仍然找

不到名为func的函数，则编译器将报错。这一步可以认为是重载中的候选函数的确定。

3)一旦找到了func，就进行常规的类型检查以确认本次找到的func，对于本次调用是否合法。这一步可以看作是重载中

后两步的集合。

4)假设第三步中调用合法，那么编译器蒋根据调用的是否时虚函数而产生不同的代码：

1>如果func是虚函数并且我们是通过应用或者指针进行的调用，则编译器产生的代码将在运行是确定到底运行该虚函

数的哪个版本（基类还是派生类），选择的依据是动态类型。

2>如果func不是虚函数，或者我们是通过对象进行的调用，则编译器将会产生一个常规函数调用的代码，即根据静态

类型进行函数调用。

类定义如下：

class Parent
{

public:

	 Parent () 
	{
		cout<<"Parent"<<endl;		
	}
	~ Parent () 
	{
		cout<<"~Parent"<<endl;
	}
	virtual void vDis()
	{
		cout<<"Parent::virtual void vDis()"<<endl;
	}

};

class Child:public Parent
{
	public:
	Child()
	{
		cout<<"Child"<<endl;
	}
	~Child()
	{
		cout<<"~Child"<<endl;
	}
	void vDis()
	{
		cout<<"Child::void vDis()"<<endl;
	}

};

考虑如下代码：

int main()
{	
	Child c1;
	Parent *p1=&c1;
	p1->vDis();
	c1.vDis();
	return 0;
}

输出结果如下：

Parent

Child

Child::voidvDis()

Child::voidvDis()

~Child

~Parent

结果分析：

在进行p1->vDis();函数调用时首先确定p1的静态类型即Parent类，然后在Parent类中查找vDis(),发现刚好有这个函数，

然后进行第三部发现调用合法，重点在第四步，此时vDis是虚函数，并且vDis是通过指针p1进行调用，所以要在运行

是确定到底调用哪个版本，依据是动态类型，p1的动态类型是Child类型，因此调用Child版本的vDis函数。

而c1.vDis();的前三步和前一个相同，我们分析第四步，此时vDis是虚函数，但是我们是通过对象调用，因此会根据静

态类型调用，即调用Child的vDis函数。

以上是我关于重写函数匹配的一点理解，若有错误，请批评指正，谢谢。