带负值的模算子

Question

带负值的模算子为什么这些行动：std::cout << (-7 % 3) << std::endl;std::cout << (7 % -3) << std::endl;给出不同的结果？-1 1

Answer 1

这个标志在这种情况下(即当一个或两个操作数为负数时)是实现定义的。规范在第5.6/4节(C+03)中说，

二进制/运算符产生商，二进制%运算符从第一个表达式除以第二个表达式得到余数。如果/或%的第二个操作数为零，则行为未定义；否则(a/b)*b+a%b等于a。如果没有，则剩余部分的标志是实现定义的。.

就C+03而言，这就是语言所要说的。

Answer 2

a % b

在c+默认情况下：

(-7/3) => -2

-2 * 3 => -6

so a%b => -1

(7/-3) => -2

-2 * -3 => 6

so a%b => 1

在python中：

-7 % 3 => 2

7 % -3 => -2

在c+到python中：

(b + (a%b)) % b