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

这是参考资料

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

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

其他答案已经在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标准，第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".

C中的%操作符不是模操作符而是余数操作符。

模运算符和余数运算符不同于负值。

对于余数运算符，结果的符号与被除数(分子)的符号相同，而对于模运算符，结果的符号与除数(分母)的符号相同。

C将a % b的%操作定义为:

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

用/表示整型除法，并截断为0。这是对0(而不是负无穷)的截断，它将%定义为余数运算符而不是模运算符。

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时才会发生这种情况