天天看点

自增自减运算法的深入理解

例二:

  int i=3;

  int j=4;

  int a = i++ + i++;

  int b = ++j + ++j;

  printf("%d, %d\n", a, b);

问题又来了,i++ + i++是先自增一次,相加,再自增,然后赋值呢,还是先相加赋值然后自增两次呢。另外,++j又将如何表现呢?

结果是:6,12

这下明白了,原来 i++的理解应该是执行完整个表达式的其他操作后,然后才自增,所以例子中的a=3+3=6;而后i再自增2次,i=5;相反,++j是先自增然后再参加其它运算,所以b=6+6=12。

到此,是否就彻底明了了呢?然后回到引子中的问题:

例三:

  int a = i++ + i++ + i++;

  int b = ++j + ++j + ++j;

有人可能会说,这很简单,我全明白了:a=3+3+3=9,i=6,b=5+5+5=15,j=5。真的是这样吗?

结果却是:9,19

这下可好,又糊涂了。对于a = i++ + i++ + i++;我们已经没有疑问了,++后置就是执行完整个表达式的其他操作后,然后才自增,上例中也得到了验证,但 b = ++j + ++j + ++j;又该如何理解呢?

原理表达式中除了预算法本身的优先级外,还有一个结合性问题。在++j + ++j + ++j;中,因为存在两个同级的+运算,根据+运算符的左结合性,在编译时,其实是先处理前面的(++j + ++j)这部分,然后再将此结果再和++j相加。具体过程参见汇编代码:

int b = ++j + ++j + ++j;

0040B7DD mov ecx,dword ptr [ebp-8]

0040B7E0 add ecx,1

0040B7E3 mov dword ptr [ebp-8],ecx // 第一个++j

0040B7E6 mov edx,dword ptr [ebp-8]

0040B7E9 add edx,1

0040B7EC mov dword ptr [ebp-8],edx // 第二个++j

0040B7EF mov eax,dword ptr [ebp-8]

0040B7F2 add eax,dword ptr [ebp-8] // ++j + ++j  

0040B7F5 mov ecx,dword ptr [ebp-8]

0040B7F8 add ecx,1

0040B7FB mov dword ptr [ebp-8],ecx // 第三个++j

0040B7FE add eax,dword ptr [ebp-8] // ++j + ++j + ++j

0040B801 mov dword ptr [ebp-10h],eax // 赋值给b

另外我们看看a = i++ + i++ + i++;的汇编代码:

int a = i++ + i++ + i++;

0040B7B6 mov eax,dword ptr [ebp-4]

0040B7B9 add eax,dword ptr [ebp-4] // i+i

0040B7BC add eax,dword ptr [ebp-4] // i+i+i

0040B7BF mov dword ptr [ebp-0Ch],eax // 赋值给a

0040B7C2 mov ecx,dword ptr [ebp-4]

0040B7C5 add ecx,1

0040B7C8 mov dword ptr [ebp-4],ecx // 第一次i++

0040B7CB mov edx,dword ptr [ebp-4]

0040B7CE add edx,1

0040B7D1 mov dword ptr [ebp-4],edx // 第二次i++

0040B7D4 mov eax,dword ptr [ebp-4]

0040B7D7 add eax,1

0040B7DA mov dword ptr [ebp-4],eax // 第三次i++

果然不出所料。到此,++运算符前置后置的问题应该彻底解决了。

例四:

  int i=1;

  int j=1;

  int a = i++ + i++ + i++ + i++ + i++ + i++ + i++; // 七个

  int b = ++j + ++j + ++j + ++j + ++j + ++j + ++j;

  printf("%d, %d\n", i, j);

规则就是规则,咱的计算机可不是黑客帝国的母体,总是要遵循它的