[C++]静态绑定与动态绑定

 

静态绑定与动态绑定

MoaKap

C++中，非虚函数都是静态绑定，而虚函数却是动态绑定。

为了能够更清楚地了解静态绑定与动态绑定，我们可以看下面这个例子：

class B

{

public:

     void fun();

     ...

}

class D: public B

{

     ...

}

 

D x;

B *pB = &x;

pB->fun();

 

D *pD = &x;

pD->fun();

 

那么两次调用fun()函数是否相同呢？当然，如果D中没有定义fun()函数，那么两次调用的行为肯定会是一样的，但是调用过程却不同。

pB->fun(); //pB为指向B类型的指针，直接调用B中的fun()函数

pD->fun();  //pD为指向D类型的指针，编译器首先在D中查找fun()函数的声明，没有找到，然后到D的基类B中去找，找到fun()，停止查找。

 

但如果D中有自己定义的fun()函数，那执行结果就会不同：

pB->fun(); //调用B::fun()

pD->fun(); //调用D::fun()

 

原因就是，（non-virtual）非虚函数都是静态绑定，也就是说，由于pB被声明为指向B类型的指针，那么通过pB调用的（non-virtual）非虚函数永远是B所定义的版本，即使pB指向一个类型为“B的派生类D“的对象。

但另一方面，（virtual）虚函数却是动态绑定，那么不管是通过什么类型的指针调用的这个虚函数，都会根据指针实际指向的对象类型来决定虚函数的调用，而与指针类型无关。如果fun()函数为虚函数，那么不管是通过pB还是pD调用fun()函数，都会调用D::fun()，因为pB和pD真正指向的都是同一个类型D的对象。

 

因此在C++中，绝对不要重新定义继承而来的（non-virtual）非虚函数，因为这样的话，函数的调用决定因素不在对象本身，而与调用函数的指针类型有关，这将给程序留下不可预知的隐患。

如上例，任何一个对象D都可能表现出B或D的行为，决定因素不在x对象本身，而在于指向x的指针类型。

同时，绝对不要重新定义一个继承而来的virtual函数的缺省参数值，因为缺省参数值都是静态绑定，而virtual函数却是动态绑定。