动态绑定和静态绑定

0x01　   对象的静态类型和动态类型    静态绑定和动态绑定

　　　　对象的静态类型：对象在声明时采用的类型。是在编译期确定的
　　　　对象的动态类型：目前所指对象的类型。是在运行期决定的。对象的动态类型可以更改，但是静态类型无法更改

class B
{
}
class C : public B
{
}
class D : public B
{
}
D* pD = new D();//pD的静态类型是它声明的类型D*，动态类型也是D*
B* pB = pD;//pB的静态类型是它声明的类型B*，动态类型是pB所指向的对象pD的类型D*
C* pC = new C();
pB = pC;//pB的动态类型是可以更改的，现在它的动态类型是C*

　　

　　静态绑定：绑定的是对象的静态类型，某特性（比如函数）依赖于对象的静态类型，发生在编译期。
　　动态绑定：绑定的是对象的动态类型，某特性（比如函数）依赖于对象的动态类型，发生在运行期。

 

class 刘大
{
public:
	void Oneday()
	{
		printf("刘大 Oneday\n");
	}
	virtual void Func()
	{
		printf("刘大 Func\n");
	}
};
class 刘B : public 刘大
{
public:
	void Oneday()
	{
		printf("刘B Oneday\n");
	}
	virtual void Func()
	{
		printf("刘B Func\n");
	}
};
class 刘C : public 刘B
{
public:
	void Oneday()
	{
		printf("刘C Oneday\n");
	}
	virtual void Func()
	{
		printf("刘C Func\n");
	}
};

int main()
{
	刘C* pC = new 刘C();
	刘大* p大 = pC;
	pC->Oneday();
	p大->Oneday();        //非virtual函数，采用的是静态绑定，编译器根据对象的静态类型来选择函数，pC的静态类型是刘C*，p大的静态类型是刘大*
	
	pC->Func();
	p大->Func();          //virtual函数，采用的是动态绑定，刘C和刘大虽然静态类型不同，但是他们同时指向一个对象，他们的动态类型是相同的，都是刘C*，函数依赖于对象的动态类型，所以，他们的调用的是同一个函数：刘C::Func()。
    return 0;
	//以上对象指针的情况，对于引用（reference）的情况同样适用。
}

　　

　　在这里很明显pC->Oneday()和p大->Oneday()调用的是各自的类中的不同函数，虽然p大和pC都指向同一个对象。因为函数Oneday是一个no-virtual函数，它是静态绑定的，也就是编译器会在编译期根据对象的静态类型来选择函数。pC的静态类型是刘C*，那么编译器在处理pC->Oneday()的时候会将它指向刘C::Oneday()。同理，p大的静态类型是刘大*，那p大->Oneday()调用的就是刘大::Oneday()。

　　而对于pC->Func()和p大->Func()，他们的调用的是同一个函数：刘C::Func()。因为virtual函数，采用的是动态绑定，刘C和刘大虽然静态类型不同，但是他们同时指向一个对象，他们的动态类型是相同的，都是刘C*，函数依赖于对象的动态类型，所以，他们的调用的是同一个函数。

 

　　对于那些是静态绑定，那些是动态绑定，某位博主曾说：只有虚函数才使用的是动态绑定，其他的全部是静态绑定。