Free Pascal的mod运算符结果与Python/Google不一致的原因及解决方法

我来帮你理清这个问题哈！核心原因其实是不同编程语言对取模运算的余数符号规则定义不一样，这直接导致了结果差异：

为什么结果不一样？ #

• Free Pascal的mod运算符：余数的符号和被除数保持一致。它的计算逻辑是先做「向零取整」的除法（也就是div操作），再通过被除数 = 商×除数 + 余数推导余数。比如你的例子里，-1282397916除以2147483647，向零取整的商是0，所以余数就是-1282397916，和被除数同号。
• Python/Google/VAX-Pascal的取模：余数的符号和除数保持一致。这里的除法是「向负无穷取整」，比如-1282397916除以2147483647，向负无穷取整的商是-1，余数就变成了-1282397916 - (-1)*2147483647 = 865085731，和除数同号。

怎么在Free Pascal里得到Python一样的结果？ #

你可以自己实现一个遵循Python取模规则的函数，替换原生的mod调用就行。比如这个简单的实现：

function PythonMod(a, b: longint): longint;
var
    remainder: longint;
begin
    if b = 0 then
        raise Exception('除数不能为零');
    
    remainder := a mod b;
    // 若余数不为零，且被除数和除数符号不同，就调整余数使其与除数同号
    if (remainder <> 0) and ((a < 0) xor (b < 0)) then
        remainder := remainder + b;
    
    PythonMod := remainder;
end;

把这个函数加到你的代码里测试，比如：

program test(output);

var
    a, b, c: longint;

function PythonMod(a, b: longint): longint;
var
    remainder: longint;
begin
    if b = 0 then
        raise Exception('除数不能为零');
    
    remainder := a mod b;
    if (remainder <> 0) and ((a < 0) xor (b < 0)) then
        remainder := remainder + b;
    
    PythonMod := remainder;
end;

begin
    a := -1282397916;
    b := 2147483647;
    c := PythonMod(a, b);
    writeln(c:16);
end.

运行后就能得到和Python一致的结果：865085731。

备注：内容来源于stack exchange，提问作者Mike T.