根据C99标准，第6.5.5节 乘法运算符，需要以下条件:

(a / b) * b + a % b = a

结论

余数运算结果的符号 到C99，和红利是一样的。

让我们看一些例子(除数/除数):

只有股息是负的

(-3 / 2) * 2  +  -3 % 2 = -3

(-3 / 2) * 2 = -2

(-3 % 2) must be -1

当只有除数为负时

(3 / -2) * -2  +  3 % -2 = 3

(3 / -2) * -2 = 2

(3 % -2) must be 1

除数和被除数都为负

(-3 / -2) * -2  +  -3 % -2 = -3

(-3 / -2) * -2 = -2

(-3 % -2) must be -1

6.5.5 Multiplicative operators Syntax multiplicative-expression: cast-expression multiplicative-expression * cast-expression multiplicative-expression / cast-expression multiplicative-expression % cast-expression Constraints Each of the operands shall have arithmetic type. The operands of the % operator shall have integer type. Semantics The usual arithmetic conversions are performed on the operands. The result of the binary * operator is the product of the operands. The result of the / operator is the quotient from the division of the first operand by the second; the result of the % operator is the remainder. In both operations, if the value of the second operand is zero, the behavior is undefined. When integers are divided, the result of the / operator is the algebraic quotient with any fractional part discarded [1]. If the quotient a/b is representable, the expression (a/b)*b + a%b shall equal a. [1]: This is often called "truncation toward zero".

模量可以是负的吗?

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

C99要求当a/b是可表示的时:

(a/b) * b + a%b等于a

从逻辑上讲，这是有道理的。对吧?

让我们看看这会导致什么:

例A. 5/(-3) = -1

=> (-1) * (-3) + 5%(-3) = 5

这只能在5%(-3)= 2时发生。

例b (-5)/3 = -1

=> (-1) * 3 + (-5)%3 = -5

只有当(-5)%3为-2时才会发生这种情况

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

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

看来问题不在现场操作。

int mod(int m, float n)
{  
  return m - floor(m/n)*n;
}

我认为在抽象算术中定义mod会更有用;不是作为一个运算，而是作为一个完全不同的算术类别，有不同的元素和不同的运算符。这意味着mod 3中的加法与“正常的”加法不同;这是;整数加法。

所以当你这样做的时候:

5 % -3

你试图将整数5映射到mod -3集合中的一个元素。这些是mod -3的元素:

{ 0, -2, -1 }

So:

0 => 0, 1 => -2, 2 => -1, 3 => 0, 4 => -2, 5 => -1

假设你因为某种原因不得不熬夜30个小时，那一天你还剩下几个小时?30 mod -24。

但是C语言实现的不是余，而是余数。不管怎样，关键是返回负号是有意义的。