对于 int a, b，当仅有 a 和 b 中的一个为负数时，a / b 和 a % b 的结果会依赖于计算机。但是当 b 不为零时，是否始终满足 (a / b * b) + a % b == a 呢？
1个回答
19
C++11 §5.6[expr.mul]/4规定：
如果商在结果类型中是可表示的，则( a/b ) * b + a%b 等于a。
C11 §6.5.5/6有稍微不同的措辞，但也指出了同样的规则：
如果商是可表示的，则(a/b)*b + a%b应等于a；否则，和的行为将是未定义的。
- James McNellis
3
2请注意，“如果商可表示”这个限定条件是关键的。例如，如果
a==INT_MIN 并且 b==-1，则相等性为假（行为未定义）。 - R.. GitHub STOP HELPING ICE@R.. - 这对于二进制补码表示法是正确的，但不适用于符号-幅度表示法。我不确定关于反码。这三种都是C和C++的有效整数表示法。 - Pete Becker
抱歉，我的意思是一般情况下是错误的，因为二进制补码是一种可能性。在实践中也是错误的，因为不存在一补数和符号/大小实现。 - R.. GitHub STOP HELPING ICE
网页内容由stack overflow 提供, 点击上面的可以查看英文原文，
原文链接
原文链接
- 相关问题
- 23 当b为零时，为什么a%b会产生SIGFPE错误？
- 16 既然b始终不为零，为什么 `b ? --b : ++b` 可以工作，而 `--b` 不行？
- 4 "a=b"和"a=&b"有什么区别？
- 5 a = (a + b) - (b = a); C++ vs php
- 5 未定义对B::B和B::~B的引用
- 3 while(a==b); vs while(a==b) {;}
- 7 使用rand()生成在(a,b)，[a,b)，(a,b]和[a,b]上均匀分布的浮点数
- 51 对于 { A=a; B=b; }，"A=a" 在"B=b"之前严格执行吗？
- 6 简化 (a + b) XOR (c + b)
- 3 add(a,b) and a.add(b)
b非零时，等式始终成立。 - R.. GitHub STOP HELPING ICE