Problems About Rearrangement for Expressions in C

一些数学法则(如：结合律，分配律等)在C语言表达式中通常是不适用的。

比如下面的代码段：

double x, y, z;
/* ... */
x = (x * y) * z;                     // not equivalent to x *= y * z;
z = (x - y) + y ;                    // not equivalent to z = x;
z = x + x * y;                       // not equivalent to z = x * (1.0 + y);
y = x / 5.0;                          // not equivalent to y = x * 0.2;

由于舍入与精度的问题，上面的表达式通常是不相等的。

又如：

int a, b;
/* ... */
a = a + 32760 + b + 5;

与下面的表达式也是不等的：

a = (a + b) + 32760;

假设int的表示范围是[-32768, +32767]，则如果a = -32754, b = -15，则第2个表达式会溢出，而原表达式不会。