C++中,非虚函数都是静态绑定,而虚函数却是动态绑定。
为了能够更清楚地了解静态绑定与动态绑定,我们可以看下面这个例子:
#include<iostream>
using namespace std;
class B
{
public:
void fun()
{
cout<<"我来自B"<<endl;
}
};
class D: public B
{
public:
//void fun()
//{
//cout<<"我来自D"<<endl;
//}
};
int main()
{
D x;
B *pB = &x;
pB->fun();
D *pD = &x;
pD->fun();
return 0;
}
那么两次调用fun()函数是否相同呢?当然,如果D中没有定义fun()函数(如例子中),那么两次调用的行为肯定会是一样的,为:
我来自B
我来自B
但是调用过程却不同。
pB->fun(); //pB为指向B类型的指针,直接调用B中的fun()函数。
pD->fun(); //pD为指向D类型的指针,编译器首先在D中查找fun()函数的声明,没有找到,然后到D的基类B中去找,找到fun(),停止查找。
但如果D中有自己定义的fun()函数,那执行结果就会不同:
取消上面例子中的注释,结果为:
我来自B
我来自D
过程:
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的对象。请看如下代码:
class B
{
public:
virtual void fun()
{
cout<<"我来自B"<<endl;
}
};
class D: public B
{
public:
void fun()
{
cout<<"我来自D"<<endl;
}
};
int main()
{
D x;
B *pB = &x;
pB->fun();
D *pD = &x;
pD->fun();
return 0;
}
程序中把fun函数声明为虚函数,所以不管是通过pB还是pD调用fun()函数,都会调用D::fun(),因为pB和pD真正指向的都是同一个类型D的对象。程序的输出结果验证了这一点:
我来自D
我来自D
因此在C++中,绝对不要重新定义继承而来的(non-virtual)非虚函数,因为这样的话,函数的调用决定因素不在对象本身,而与调用函数的指针类型有关,这将给程序留下不可预知的隐患。
如上例,任何一个对象D都可能表现出B或D的行为,决定因素不在x对象本身,而在于指向x的指针类型。同时,绝对不要重新定义一个继承而来的virtual函数的缺省参数值,因为缺省参数值都是静态绑定,而virtual函数却是动态绑定。
C++中动态绑定和静态绑定
最新推荐文章于 2024-04-10 09:11:49 发布