对于c++整数，1除以2是否可靠地等于0，3/2=1，5/2=2等

With c++ integers, does 1 divided by 2 reliably equal 0, and 3/2 = 1, 5/2 = 2 etc.?

本文关键字：整数 c++ 除以是否对于更新时间：2023-10-16

有两个大小不同但相关的向量。较大的是(2 * RESOLUTION) + INDEX_OFFSET(例如2050(，较小的是简单的RESOLUTION(例如1024(。我认为假设uint16_t可以用于包含向量索引是足够安全的。

通过将resultIndex递增2来执行通过较大向量的迭代。在每次迭代期间，对索引(resultIndex - INDEX_OFFSET) / 2处的较小矢量进行赋值。

从本质上讲，该代码依赖于这样一个假设，即无论INDEX_OFFSET是奇数还是偶数，无论架构如何，上述除以2的值都将始终向下取整。例如，如果resultIndex是0或1，则应为0，如果是2或3，则应是1，依此类推。在上述参数范围内，这是一个安全的假设吗？

注意：我承认存在"除法整数类型-结果是可预测的吗？"但这似乎并不完全匹配。

是；这是由以下语言保证的：

[C++11: 5.6/4]:二进制/运算符产生商，二进制%运算符产生第一个表达式除以第二个表达式的余数。如果/或%的第二个操作数为零，则行为未定义对于积分操作数，/算子产生代数商，丢弃任何小数部分如果商a/b在结果的类型中是可表示的，则(a/b)*b + a%b等于a。

在3/2中，3和2都是整数操作数；这个运算的代数商是1.5，当你丢弃分数部分.5时，你得到1。这适用于你的其他例子，以及所有其他例子。