当b不为零时，我总是有`（a / b * b）+ a％b == a`吗？

Question

对于int a, b，我知道当a和b中只有一个为负数时，a / b和a % b的结果取决于机器。但是当(a / b * b) + a % b == a不为零时，我总是b吗？

Answer 1

C ++11§5.6[expr.mul] / 4指定：

  

如果商品a/b在结果类型中可以表示，(a/b)*b + a%b等于a。

C11§6.5.5/ 6规定了相同的语法略有不同：

  

如果商a/b可表示，则表达式(a/b)*b + a%b应等于a;否则，a/b和a%b的行为都是未定义的。