寻求uint64_t类型带舍入的无分支高效除法最优实现方案

你当前的无分支实现已经能被GCC良好优化，但尝试的(n + d/2)/d写法存在无符号整数溢出问题——当n取UINT64_MAX这类极大值时，n + d/2会超出uint64_t的取值范围，触发数值回绕，最终得到错误结果（比如你测试的divide_with_rounding(UINT64_MAX, 1000)返回0）。

更简洁的无分支无溢出实现 #

下面是和你初始实现逻辑等价，但更简洁的写法，完全避免溢出问题，且保持无分支特性：

static inline uint64_t divide_with_rounding(uint64_t n, uint64_t d)
{
    return (n / d) + ((n % d) * 2 >= d);
}

逻辑说明 #

• n / d直接得到除法的整数商
• (n % d) * 2 >= d等价于判断余数是否满足舍入条件：
  • 当d为偶数时，d/2 * 2 = d，余数≥d/2时该条件成立，对应向上进位
  • 当d为奇数时，(d+1)/2 * 2 = d+1 > d，余数≥(d+1)/2时条件成立，正好匹配你初始代码中r >= d - (d/2)的判断逻辑
• 整个表达式无分支，编译器会将布尔比较结果直接转换为1或0，结合商完成计算

效率说明 #

现代编译器（如GCC）会将n/d和n%d合并为一条除法指令（比如x86的div指令会同时返回商和余数），不会产生额外的除法开销；乘法和比较操作都是单周期指令，整体效率和你最初的实现一致，但代码更简洁。

内容的提问来源于stack exchange，提问作者Kevin Meier