动态绑定和静态绑定

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
");
	}
	virtual void Func()
	{
		printf("刘大 Func
");
	}
};
class 刘B : public 刘大
{
public:
	void Oneday()
	{
		printf("刘B Oneday
");
	}
	virtual void Func()
	{
		printf("刘B Func
");
	}
};
class 刘C : public 刘B
{
public:
	void Oneday()
	{
		printf("刘C Oneday
");
	}
	virtual void Func()
	{
		printf("刘C Func
");
	}
};

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*,函数依赖于对象的动态类型,所以,他们的调用的是同一个函数。

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

   

原文地址:https://www.cnblogs.com/lsh123/p/7427513.html