关于C语言中的复合赋值操作符

复合赋值操作符有 +=, -=, *=, /=,%=, <<=, >>=, &=, ^=, |=。

下面以+=为例

a += expression        (1)

等价于：

a = a + expression   (2)

但是，这里是有区别的，(1)式中的a（如数组下标访问的元素）只求值一次，(2)式中的a求值两次，当然编译器也许会优化，可能会使得(2)式效果和(1)式一样，但是有例外的情况，编译器是无法优化的。如：

int f(int x){return x;} int a[10] = {0};int x = 2; a[f(x) + 1] += 1;              // (1)a[f(x) + 1] = a[f(x) +1] +1;      // (2)

以上两个表达式机器代码是完全不同的，对于(2)式，由于是调用函数，编译器并不能确定每次函数都返回相同的值（即是否有副作用），所以编译器对此无能为力，不能对此优化，因此也就会去乖乖地调用两次函数，而(1)式只调用一次函数，参见VS2010下的汇编代码：

    a[f(x) + 1] = a[f(x) +1] +2;013B1413  mov        eax,dword ptr [ebp-3Ch] 013B1416  push       eax 013B1417  call       @ILT+110(_f) (13B1073h) 013B141C  add        esp,4 013B141F  mov        esi,dword ptr [ebp+eax*4-2Ch] 013B1423  add        esi,2 013B1426  mov        ecx,dword ptr [ebp-3Ch] 013B1429  push       ecx 013B142A  call       @ILT+110(_f) (13B1073h) 013B142F  add        esp,4 013B1432  mov        dword ptr [ebp+eax*4-2Ch],esi     a[f(x) + 1] += 2;013B1436  mov        eax,dword ptr [ebp-3Ch] 013B1439  push       eax 013B143A  call       @ILT+110(_f) (13B1073h) 013B143F  add        esp,4 013B1442  lea         ecx,[ebp+eax*4-2Ch] 013B1446  mov        dword ptr [ebp-104h],ecx 013B144C  mov        edx,dword ptr [ebp-104h] 013B1452  mov        eax,dword ptr [edx] 013B1454  add        eax,2 013B1457  mov        ecx,dword ptr [ebp-104h] 013B145D  mov        dword ptr [ecx],eax

因此，如果我们能确定表达式中不含有副作用的元素（如上面的函数f），那么我们应尽量使用复合赋值操作符，不失效率同时书写方便。