C++动态绑定和静态绑定
为了支持c++的多态性,才用了动态绑定和静态绑定。理解他们的区别有助于更好的理解多态性,以及在编程的过程中避免犯错误。
需要理解四个名词:
1、对象的静态类型:对象在声明时采用的类型。是在编译期确定的。
2、对象的动态类型:目前所指对象的类型。是在运行期决定的。对象的动态类型可以更改,但是静态类型无法更改。
关于对象的静态类型和动态类型,看一个示例:
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*
3、静态绑定:绑定的是对象的静态类型,某特性(比如函数)依赖于对象的静态类型,发生在编译期。
4、动态绑定:绑定的是对象的动态类型,某特性(比如函数)依赖于对象的动态类型,发生在运行期。
class B
{
void DoSomething();
virtual void vfun();
}
class C : public B
{
void DoSomething();//首先说明一下,这个子类重新定义了父类的no-virtual函数,这是一个不好的设计,会导致名称遮掩;这里只是为了说明动态绑定和静态绑定才这样使用。
virtual void vfun();
}
class D : public B
{
void DoSomething();
virtual void vfun();
}
D* pD = new D();
B* pB = pD;
让我们看一下,pD->DoSomething()和pB->DoSomething()调用的是同一个函数吗?
不是的,虽然pD和pB都指向同一个对象。因为函数DoSomething是一个no-virtual函数,它是静态绑定的,也就是编译器会在编译期根据对象的静态类型来选择函数。pD的静态类型是D*,那么编译器在处理pD->DoSomething()的时候会将它指向D::DoSomething()。同理,pB的静态类型是B*,那pB->DoSomething()调用的就是B::DoSomething()。
让我们再来看一下,pD->vfun()和pB->vfun()调用的是同一个函数吗?
是的。因为vfun是一个虚函数,它动态绑定的,也就是说它绑定的是对象的动态类型,pB和pD虽然静态类型不同,但是他们同时指向一个对象,他们的动态类型是相同的,都是D*,所以,他们的调用的是同一个函数:D::vfun()。
上面都是针对对象指针的情况,对于引用(reference)的情况同样适用。
指针和引用的动态类型和静态类型可能会不一致,但是对象的动态类型和静态类型是一致的。
D D;
D.DoSomething()和D.vfun()永远调用的都是D::DoSomething()和D::vfun()。
至于那些事动态绑定,那些事静态绑定,有篇文章总结的非常好:
我 总结了一句话:只有虚函数才使用的是动态绑定,其他的全部是静态绑定。目前我还没有发现不适用这句话的,如果有错误,希望你可以指出来。
特别需要注意的地方
当缺省参数和虚函数一起出现的时候情况有点复杂,极易出错。我们知道,虚函数是动态绑定的,但是为了执行效率,缺省参数是静态绑定的。
class B
{
virtual void vfun(int i = 10);
}
class D : public B
{
virtual void vfun(int i = 20);
}
D* pD = new D();
B* pB = pD;
pD->vfun();
pB->vfun();
有上面的分析可知pD->vfun()和pB->vfun()调用都是函数D::vfun(),但是他们的缺省参数是多少?
分析一下,缺省参数是静态绑定的,pD->vfun()时,pD的静态类型是D*,所以它的缺省参数应该是20;同理,pB->vfun()的缺省参数应该是10。编写代码验证了一下,正确。
对于这个特性,估计没有人会喜欢。所以,永远记住:
“绝不重新定义继承而来的缺省参数(Never redefine function's inherited default parameters value.)”
原文出处:http://www.jb51.net/article/37245.htm
C++动态绑定和静态绑定相关推荐
- 深入理解C++的动态绑定和静态绑定
为了支持c++的多态性,才用了动态绑定和静态绑定.理解他们的区别有助于更好的理解多态性,以及在编程的过程中避免犯错误. 需要理解四个名词: 1.对象的静态类型:对象在声明时采用的类型.是在编译期确定的 ...
- 深入理解C++的动态绑定和静态绑定 1
为了支持c++的多态性,才用了动态绑定和静态绑定.理解他们的区别有助于更好的理解多态性,以及在编程的过程中避免犯错误,需要理解四个名词: 1.对象的静态类型:对象在声明时采用的类型.是在编译期确定的. ...
- 动态绑定和静态绑定详解
动态绑定和静态绑定详解 弄清调用对象方法的执行过程十分重要.下面是调用过程的详细描述: 1.编译器查看对象的声明类型(注意和实际类型区分)和方法名.假设调用x.f(param),且隐式参数x声明为C类 ...
- Java多态与泛型 ,动态绑定,静态绑定
文章目录 (一)多态 1.概念 1.1 使用继承: 1.2 实现接口(推荐): 2.作用 3.多态的实现原理 3.1 Java 动态绑定以及内部实现机制 程序绑定的概念 关于final.static. ...
- java动态绑定和静态绑定区别_理解静态绑定与动态绑定
一个Java 程序要经过编写.编译.运行三个步骤,其中编写代码不在我们讨论的范围之内,那么我们的重点自然就放在了编译 和 运行这两个阶段,由于编译和运行阶段过程相当繁琐,下面就我的理解来进行解释: J ...
- java中的动态绑定与静态绑定
首先是方法的参数是父类对象,传入子类对象是否可行 然后引出Parent p = new Children(); 这句代码不是很理解,google的过程中引出向上转型 要理解向上转型又引出了动态绑定 从 ...
- java 静态绑定_java的动态绑定和静态绑定
首先是方法的参数是父类对象,传入子类对象是否可行 然后引出Parent p = new Children(); 这句代码不是很理解,google的过程中引出向上转型 要理解向上转型又引出了动态绑定 从 ...
- 【C++要笑着学】虚函数表(VBTL) | 观察虚表指针 | 运行时决议与编译时决议 | 动态绑定与静态绑定 | 静态多态与动态多态 | 单继承与多继承关系的虚表
C++ 表情包趣味教程
- C++中的静态绑定与动态绑定
1.动态绑定与静态绑定 为了支持c++的多态性,才用了动态绑定和静态绑定.理解他们的区别有助于更好的理解多态性,以及在编程的过程中避免犯错误.需要理解四个名词: 对象的静态类型:对象在声明时采用的类型 ...
最新文章
- VC6.0制作OCX并web调用 .
- VBA:指定なフォルダしたのすべてのファイル名
- CLR 中 线程的 ThreadState 解释
- Android 带有字数统计的 TextInputLayout
- scala部分应用函数_Scala中的部分函数
- 在silverlight中,创建webservice的client报错
- SQLServer 2005新功能
- 你赞同企业年薪百万的高管对员工说别羡慕赚的多,人家加班和付出的时候你在玩的说法吗?
- chrome浏览器糟糕WEBGL遇到了问题,如何解决
- 没有U盘怎么给电视盒子装软件?新手必看三种方法
- 泌阳县鸿蒙机器人编程,鸿蒙教育机器人编程课程开始招生了!!!
- OGL纹理之纹理过滤器和多级渐进纹理mipmap
- Python 优雅地利用两点经纬度计算地理空间距离
- 2021年危险化学品生产单位安全生产管理人员最新解析及危险化学品生产单位安全生产管理人员免费试题
- matlab poly用法
- 整车新产品研发的多项目管理分析
- 技术贴_关于某信辅助分析记录和若干检测方法
- Javaweb学习(一)
- 【Linux学习(3)】----C语言编程篇(1)
- 一文搞懂 HTTP 的长连接和短连接
热门文章
- instanceof java 原理_JAVA中 instanceof 和 getClass() 区别小结
- Python入门语法知识点合集
- 两周从爬虫小白变大神,看完你就知道我不是标题党了【五万字教程,建议收藏】
- 红旗linux mysql_请问红旗Linux下,安装Mysql时,应该下载mysql 的哪一种rpm包?谢谢
- java log4j 实例_log4j使用例子 - 小代码2016的个人页面 - OSCHINA - 中文开源技术交流社区...
- 荣耀手表gspro会用鸿蒙,真实使用荣耀手表GS Pro功能用2个月评测反馈!一定看看如何!...
- eas库存状态调整单不能反审核_把握 商品 周转,做好 动态 库存 管理
- 让子弹飞,零成本让你的网站更快一点,boxopened http/3 (QUIC) 协议实战
- MySQL8.0二进制免编译部署过程详解(二)
- 沉迷Link-Cut tree无法自拔之:[BZOJ2594][Wc2006]水管局长数据加强版