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

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

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

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


当前回答

其他答案已经在C99或更高版本中解释过,涉及负操作数的整数除法总是截断为零。

注意,在C89中,结果向上舍入还是向下舍入是由实现定义的。因为(a/b) * b + a%b在所有标准中都等于a,包含负操作数的%的结果也是在C89中实现定义的。

其他回答

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

这是参考资料

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

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

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

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

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

其他答案已经在C99或更高版本中解释过,涉及负操作数的整数除法总是截断为零。

注意,在C89中,结果向上舍入还是向下舍入是由实现定义的。因为(a/b) * b + a%b在所有标准中都等于a,包含负操作数的%的结果也是在C89中实现定义的。

根据C99规格:a == (a / b) * b + a % b

我们可以写一个函数来计算(a % b) == a - (a / b) * b!

int remainder(int a, int b)
{
    return a - (a / b) * b;
}

对于模运算,我们可以有以下函数(假设b > 0)

int mod(int a, int b)
{
    int r = a % b;
    return r < 0 ? r + b : r;
}

我的结论是C中的a % b是一个余数运算,而不是一个模运算。

模量可以是负的吗?

%可以是负数,因为它是余数运算符,是除法后的余数,而不是欧几里得除法后的余数。由于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