c += c-- | ++b;
一切都是从这开始的
一个大一学弟通过QQ给我发来一个C++的题:
int c = 8, b = 3;
c += c-- | ++b;
问c的值是多少。通过笔算得到c为19,然后随手建了个C#控制台项目跑了一下,悲剧了。。。C#输出的为20。重新笔算一遍还是19啊,赶紧重新建了一个C++控制台项目跑出的结果为19。到底为什么C++和C#会不一样呢?
求证1
通过网上查资料得知,是C#求值顺序的问题,具体是怎么样的情况呢?我们来反汇编一下:
.method private hidebysig static void Main(string[] args) cil managed
{
.entrypoint
// Code size 33 (0x21)
.maxstack 4
.locals init ([0] int32 c,
[1] int32 b)
IL_0000: nop
IL_0001: ldc.i4.8
IL_0002: stloc.0
IL_0003: ldc.i4.3
IL_0004: stloc.1
IL_0005: ldloc.0
IL_0006: ldloc.0
IL_0007: dup
IL_0008: ldc.i4.1
IL_0009: sub
IL_000a: stloc.0
IL_000b: ldloc.1
IL_000c: ldc.i4.1
IL_000d: add
IL_000e: dup
IL_000f: stloc.1
IL_0010: or
IL_0011: add
IL_0012: stloc.0
IL_0013: ldloc.0
IL_0014: call void [mscorlib]System.Console::WriteLine(int32)
IL_0019: nop
IL_001a: call valuetype [mscorlib]System.ConsoleKeyInfo [mscorlib]System.Console::ReadKey()
IL_001f: pop
IL_0020: ret
} // end of method Program::Main
通过IL代码我们可以清晰的看到他的计算过程:
- 0~4行 为变量赋值Call Stack里0为变量c值为8,1为变量b值为3
- 5行 缓存了c的值,放到了Evaluation Stack里,缓存的值为8
- 6行 缓存了一个c值,缓存的值为8
- 7~a行 执行了c=c-1,此时c值为7
- b~f行 执行了b=b+1,并留了一个副本,值为4
- 10行 6行缓存的数8和b~f行中留的4做or,值为12
- 11行10行中结果12再加5行中缓存的8结果为20
- 12行存储到变量c中
c += c-- | ++b; 等价于 c = c + (c-- | ++b);,通过反汇编我们可以看出:
- C#的求值顺序为从左到右不会因为运算顺序改变,等号右侧第一个c的值在一开始就缓存了。
- c--在求值之后立刻就进行了结算,c变量此时值变为了7,但是c变量的值并不影响算式最终的结果,原因见1。
- 把算式变为c = c + (--c | ++b);得到的值为15(8+(7|4)),反汇编后观察,结论同第一条,c--和--c只影响了括号中的运算结果。
根据上面结论我们把算式改成c = (c-- | ++b) + c;,得到的结果为19。
求证2
那么C++到底是怎么执行的呢?继续,反编译之:
(上图反汇编的程序基于VS2013的C++ Debug编译结果,GCC 4.6.1的反汇编代码略有区别,执行过程一致,结论仅限定在这两个编译环境下)
C++的执行过程:
- 使用eax寄存器做b=b+1
- 使用ecx寄存器做c=8+(8|4)(此时b=4)
- 使用edx寄存器做c=c-1
从反汇编可以看出:
- C++不会缓存数值,C++也没有规定求值顺序。
- C++在计算的时候才取值,所以c = (c-- | ++b) + c;的结果还是19。
- C++是在整个算式结束的时候才进行的c--,也就是说之所以结果是19不是20,不是因为先算括号中的or造成最后的加法中的c为7,而是因为c--是在算式赋值结束后才进行结算。(老师们,你们教对了么?)
最后验证一下,改变算式为c = c * 2 + (c-- | ++b);C++的输出结果为27,8*2+12=28-1=27,反汇编也可以看到最后才执行的sub,图就不上了。
最后
- 如果你在学C++,千万不要用C#来验证你的作业题答案。。。
- 就让‘++’这种东西只出现在for语句中吧。。。
随机推荐
- 配置android sdk 环境
1:下载adnroid sdk安装包 官方下载地址无法打开,没有vpn,使用下面这个地址下载,地址:http://www.android-studio.org/
- NYOJ 1007
在博客NYOJ 998 中已经写过计算欧拉函数的三种方法,这里不再赘述. 本题也是对欧拉函数的应用的考查,不过考查了另外一个数论基本定理:如何用欧拉函数求小于n且与n互质所有的正整数的和. 记eule ...
- django server之间通过remote user 相互调用
首先,场景是这样的:存在两个django web应用,并且两个应用存在一定的联系.某些情况下彼此需要获取对方的数据. 但是我们的应用肯经都会有对应的鉴权机制.不会让人家随随便便就访问的对吧.好比上车要 ...
- Ajax 概念 分析 举例
Ajax是结合了访问数据库,数据访问,Jquery 可以做页面局部刷新或者说是页面不刷新,我可以让页面不刷新,仅仅是数据的刷新,没有频繁的刷页面,是现在比较常用的一种方式做页面那么它是怎么实现页面无刷 ...
- react-redux
1. 首先redux,与react是两个独立的个体,项目中可以只用react,也可以只用redux 1.1 react-redux: 是一个redux作者专门为react制作的 redux, 增加了新 ...
- javascript中的事件冒泡和事件捕获
1.事件冒泡 IE 的事件流叫做事件冒泡(event bubbling),即事件开始时由最具体的元素(文档中嵌套层次最深的那个节点)接收,然后逐级向上传播到较为不具体的节点(文档).以下面的HTML ...
- Velocity初探小结--Velocity在spring中的配置和使用
最近正在做的项目前端使用了Velocity进行View层的数据渲染,之前没有接触过,草草过了一遍,就上手开始写,现在又回头细致的看了一遍,做个笔记. velocity是一种基于java的模板引擎技术, ...
- ASP.NET Core 中文文档 第四章 MVC(4.1)Controllers, Actions 和 Action Results
原文:Controllers, Actions, and Action Results 作者:Steve Smith 翻译:姚阿勇(Dr.Yao) 校对:许登洋(Seay) Action 和 acti ...
- [jquery]显示隐藏div标签的几种方法
1.$("#demo").attr("style","display:none;");//隐藏div $("#demo" ...
- 我的MYSQL学习心得(八) 插入 更新 删除
我的MYSQL学习心得(八) 插入 更新 删除 我的MYSQL学习心得(一) 简单语法 我的MYSQL学习心得(二) 数据类型宽度 我的MYSQL学习心得(三) 查看字段长度 我的MYSQL学习心得( ...