如何用最简公式实现C语言银行家舍入整数除法函数divround？

需求回顾 #

需要实现一个int divround(int a, int b)函数，遵循**银行家舍入（四舍六入五成双）**规则，完全复刻NumPy中np.around(a/b)的行为，且满足：

• 纯C实现，无外部库依赖
• 兼容ARM、RISC-V架构，无需汇编
• 嵌入式环境友好

最简实现（无库依赖版） #

int divround(int a, int b) {
    int q = a / b;
    int r = a % b;
    
    // 整除直接返回商
    if (r == 0) return q;
    
    int abs_r = r < 0 ? -r : r;
    int abs_b = b < 0 ? -b : b;
    
    // 判断是否需要舍入：余数超半则进位，余数等于半值且商为奇数则进位
    int need_round = (abs_r * 2 > abs_b) || ((abs_r * 2 == abs_b) && (q % 2 != 0));
    
    if (need_round) {
        // 同号加1，异号减1（利用异或判断符号是否一致）
        return q + ((a ^ b) >= 0 ? 1 : -1);
    }
    
    return q;
}

逻辑说明 #

1. 基础计算：先通过a/b得到向零取整的商q，a%b得到余数r（C99+标准中余数符号与被除数a一致）。
2. 整除判断：余数为0时直接返回商，无需舍入。
3. 舍入规则判断：
   • 当余数绝对值的2倍大于除数绝对值时，执行四舍/六入（比如8/3余数2，2*2=4>3，进位到3）。
   • 当余数绝对值的2倍等于除数绝对值时，仅当商为奇数时进位（即“五成双”：3/2商1为奇数，进位到2；5/2商2为偶数，保留2）。
4. 进位符号处理：通过a^b判断被除数与除数是否同号，同号则商为正，加1进位；异号则商为负，减1进位（对应负数的舍入逻辑，比如-3/2商-1为奇数，进位到-2）。

验证用例 #

兼容性说明 #

• 该实现完全基于C99标准的整数运算规则，ARM、RISC-V架构下的GCC、Clang等主流编译器均支持，无架构特定依赖。
• 未使用任何标准库函数，仅通过基础整数操作实现，适配无库的嵌入式环境。

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