在线时间:8:00-16:00
迪恩网络APP
随时随地掌握行业动态
扫描二维码
关注迪恩网络微信公众号
在研究两个整数互换的方法时(详细看这里),发现了一个有趣的现象。 a ^= b ^= a ^= b; ≠ a ^= b;b ^= a;a ^= b;
有兴趣的童鞋可以看看下面代码的结果是什么: int a = 10; int b = 5; a ^= b ^= a ^= b; Console.WriteLine("{0} {1}", a, b); 一直以为a=b=c就是按照先后顺序执行b=c,a=b。照上面的执行结果来看,还不一定。 到底执行的顺序怎么样,要看看反编译的代码才知道。
先看看a=b=c=30都在做什么:IL_0008: ldc.i4.s 30 //推送30到栈顶端 IL_000a: dup //复制一个30到栈顶端 IL_000b: stloc.2 //提取顶端的30赋值给索引为2的变量,也就是c IL_000c: dup //复制一个栈顶端的30 IL_000d: stloc.1 //提取顶端的30赋值给索引为1的变量,也就是b IL_000e: stloc.0 //提取顶端的30赋值给索引为0的变量,也就是a 这样来看,a=b=c=30可以理解成c=30,b=30,a=30.
再看看a ^= b ^= a ^= b在做什么(初始化这里a=10,b=5):IL_0006: ldloc.0 //推送索引为0的变量值到栈顶端,也就是10 IL_0007: ldloc.1 //推送5 IL_0008: ldloc.0 //推送10 IL_0009: ldloc.1 //推送5 IL_000a: xor //提取10和5,做异或运算,将结果15推送到栈顶端 IL_000b: dup //复制15 IL_000c: stloc.0 //提取15赋值给a IL_000d: xor //取顶端的两个值15和5,做异或运算,将结果10推送到栈顶端 IL_000e: dup //复制10 IL_000f: stloc.1 //提取10赋值给b IL_0010: xor //取顶端的两个值10和10做异或运算,结果0放到栈顶端 IL_0011: stloc.0 //提取0赋值给a 做图解如下(作图水平不高,但应该勉强能看懂): 整个过程,用代码还原就是 a1=a0^b0=15; 然后 b1=b0^a1=10; 再然后 a2=a0^b1=10^10=0。 前面两步的环节基本上是我们想要的,但是第三步a2=a0^b1却脱离了我们的原意,这里采用了a0做异或而不是a1,所以对应的结果也就出现了偏差。 因此,这一行代码执行下来,a=0,b=10,结果显然并不是我们想要的。
接下来,再看看a ^= b;b ^= a;a ^= b;在干嘛:IL_0006: ldloc.0 //推送10 IL_0007: ldloc.1 //推送5 IL_0008: xor //提取10和5做异或运算,得15,推送至栈顶 IL_0009: stloc.0 //将15赋值给a IL_000a: ldloc.1 //推送b的值5 IL_000b: ldloc.0 //推送a的新值15 IL_000c: xor //提取15和5做异或运算,得10,推送至栈顶 IL_000d: stloc.1 //将10赋值给b IL_000e: ldloc.0 //推送a的值15 IL_000f: ldloc.1 //推送b的新值10 IL_0010: xor //提取15和10做异或运算,得5,推送至栈顶 IL_0011: stloc.0 //将5赋值给a 整个过程比较清晰。中规中矩的异或计算然后赋值,再异或,再赋值,再异或赋值。最后a=5,b=10,结果和我们想的一样。
C#里面可以写连等句式,但是其中的逻辑一定要小心,尤其是连等过程中有变量赋值的,更要注意。平时使用的时候,建议不要为了省那两行的代码量而用连等语句拼凑,因为运算的结果可能和我们想要的不一样,而导致程序bug,得不偿失。 |
请发表评论