c - 为什么 (x-(x/y)*y) 的计算结果与 x%y 相同？

Question

#include <stdio.h>

int main() {
    int x = 9;
    int y = 2;
    int z = x - (x / y) * y;
    printf("%d", z);
    return 0;
}

为什么这段代码会打印x % y的值？

从严格的数学角度来看，(x/y)*y 与 x 相同，因此如果这样看，人们可能会期望打印 0 .

Answer 1

原因在于 /运算符适用于特定类型。

除法运算x/y执行为整数除法，因为两个操作数都是整数类型。因此结果值的除法小数部分被截断。

将此结果乘以 y因此不一定与 x 相同由于结果值被截断。这个结果和 x 的区别是 x%y .

摘自 C standard 的第 6.5.5 节:

6 When integers are divided, the result of the / operator is the algebraic quotient with any fractional part discarded. If the quotient a/b is representable, the expression (a/b)*b + a%b shall equal a; otherwise, the behavior of both a/b and a%b is undefined.

因此标准明确指出这种等式成立。

如果除法的任一操作数是浮点类型，则 x-(x/y)*y由于浮点运算的不精确性质，它始终为 0 或非常接近 0 的值。