c - 当 y 为 0 时，模运算符 x % y 的语义是什么？

Question

假设我尝试执行以下操作:

y = 0;
z = x % y;

这个语义是定义明确的、平台相关的还是未定义的？我主要询问 C/C++，但我对各种编程/脚本语言(Java、perl、sh 等)的答案很感兴趣

我问的部分原因是有 different possible定义模运算的方法: As the remainder of a division operation ;作为 size of a quotient group等

Answer 1

C 的行为未定义。

来自 C11 6.5.5 乘法运算符，p5

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.