Chinaunix首页 | 论坛 | 博客
  • 博客访问: 4556230
  • 博文数量: 1214
  • 博客积分: 13195
  • 博客等级: 上将
  • 技术积分: 9105
  • 用 户 组: 普通用户
  • 注册时间: 2007-01-19 14:41
个人简介

C++,python,热爱算法和机器学习

文章分类

全部博文(1214)

文章存档

2021年(13)

2020年(49)

2019年(14)

2018年(27)

2017年(69)

2016年(100)

2015年(106)

2014年(240)

2013年(5)

2012年(193)

2011年(155)

2010年(93)

2009年(62)

2008年(51)

2007年(37)

分类: C/C++

2012-03-11 12:13:06

文章来源:http://old.blog.edu.cn/user4/259041/archives/2007/1978610.shtml

静态绑定与动态绑定

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(),因为pBpD真正指向的都是同一个类型D的对象。

 

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

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

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


阅读(1248) | 评论(0) | 转发(0) |
给主人留下些什么吧!~~