对负数的模运算

在一个C程序中，我尝试了以下操作(只是为了检查行为)

 x = 5 % (-3);
 y = (-5) % (3);
 z = (-5) % (-3); 

printf("%d ,%d ,%d", x, y, z);

在gcc中输出为(2，-2，-2)我以为每次都会有积极的结果。模量可以是负的吗?有人能解释一下这种行为吗?

当前回答

模算子给出余数。 c中的模算子通常取分子的符号

X = 5%(-3)这里分子是正的，所以结果是2 Y =(-5) %(3)分子为负，结果为-2 Z =(-5) %(-3)这里分子是负的所以结果是-2

此外，模(余数)运算符只能用于整型，不能用于浮点数。

2017-08-26 11:55:57

其他回答

我认为没有必要检查数字是否为负。

求正模的一个简单函数是这个-

编辑:假设N > 0和N + N - 1 <= INT_MAX

int modulo(int x,int N){
    return (x % N + N) %N;
}

这对x的正负都成立。

原始p.s.:也正如@chux指出的那样，如果你的x和N可能分别达到INT_MAX-1和INT_MAX，只需将int替换为long long int。

如果它们也越过了long long的限制(即在LLONG_MAX附近)，那么你应该分别处理正的和负的情况，在这里的其他答案中描述。

2017-02-09 08:30:55

模量可以是负的吗?

%可以是负数，因为它是余数运算符，是除法后的余数，而不是欧几里得除法后的余数。由于C99的结果可能是0，负或正。

 // a % b
 7 %  3 -->  1  
 7 % -3 -->  1  
-7 %  3 --> -1  
-7 % -3 --> -1

要的模OP是一个经典的欧几里得模，而不是%。

我以为每次都会有积极的结果。

要执行定义良好的欧几里得模，只要a/b有定义，a,b是任意符号，且结果永远不为负:

int modulo_Euclidean(int a, int b) {
  int m = a % b;
  if (m < 0) {
    // m += (b < 0) ? -b : b; // avoid this form: it is UB when b == INT_MIN
    m = (b < 0) ? m - b : m + b;
  }
  return m;
}

modulo_Euclidean( 7,  3) -->  1  
modulo_Euclidean( 7, -3) -->  1  
modulo_Euclidean(-7,  3) -->  2  
modulo_Euclidean(-7, -3) -->  2

2018-09-27 04:26:32

在数学中，这些惯例的起源，没有断言模算术应该产生一个正的结果。

Eg.

1 mod 5 = 1，但也可以等于-4。也就是说，1/5从0得到余数1或从5得到余数-4。(都是5的因数)

同样的, -1 mod 5 = -1，它也可以等于4。也就是说，-1/5从0得到余数-1或从-5得到余数4。(都是5的因数)

要进一步阅读，请参阅数学中的等价类。

2017-04-09 22:46:23

模运算的结果取决于分子的符号，因此y和z都是-2

这是参考资料

http://www.chemie.fu-berlin.de/chemnet/use/info/libc/libc_14.html

整数的除法介绍整数除法的函数。这些函数在GNU C库中是多余的，因为在GNU C中 '/'运算符总是四舍五入到零。但是在其他C中实现中，'/'可以用不同的负参数四舍五入。 Div和ldiv很有用，因为它们指定了如何舍入商:趋于零。余数的符号和分子。

2012-07-30 11:42:40