如何在C++中实现符合floor定义的无溢出模运算

在C中，%运算符是截断取余（公式为 a − trunc(a/b)•b），但我们需要实现符合floor定义的模运算（公式为 a − floor(a/b)•b），同时必须保证无溢出。特别地，mod(LONG_MIN, -1)需要有定义行为并返回0——在补码规则下，C标准未定义LONG_MIN % -1的行为，因为它依赖的除法LONG_MIN / -1会溢出。

你提供的现有实现存在溢出风险：

long r = x % y;
if ((x ^ y) < 0 && r != 0) {
      return r + y;
}

return r;

问题分析 #

当x = LONG_MIN且y = -1时，x / y会触发溢出，导致x % y的行为完全未定义——程序可能崩溃、返回错误值，或出现其他不可预测的结果，这是补码系统的固有特性（LONG_MIN是唯一无法通过取反得到正数的有符号整数）。

结论：必须添加特殊溢出检查 #

不存在无需特殊检查的高效实现，因为这个溢出场景是唯一且无法通过常规运算规避的。不过这个检查的性能开销极低，只是一次简单的条件判断。

正确的无溢出实现 #

long floor_mod(long x, long y) {
    // 处理唯一的溢出场景：LONG_MIN / -1，按要求返回0
    if (y == -1) {
        return 0;
    }
    
    long r = x % y;
    // 当x与y符号不同且余数非0时，调整为floor定义的模结果
    if ((x ^ y) < 0 && r != 0) {
        r += y;
    }
    
    return r;
}

补充说明 #

这个实现的核心逻辑和你提供的代码一致，只是提前拦截了唯一会触发溢出的场景。由于y == -1的情况极少，这个条件判断对整体性能几乎没有影响，同时完全避免了未定义行为，保证了所有输入下的正确性。

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