如何在C/Perl中精准模拟JS32位有符号整数运算？存在差异

问题说明 #

将JavaScript普通var变量的整数算术运算（+、-、*、/、<<、>>）转换为C/Perl代码时，发现溢出场景下行为不一致，需要完全模拟JS的运算逻辑（包括溢出处理）。

示例对比 #

JS代码及运行结果 #

function calc(a, b){ return (a<<b) + (a<<b); }
var x = calc(1, 30);
// 运行结果：2147483648

C代码及运行结果 #

#include <stdio.h>
#include <stdint.h>
int main(void){
    int32_t lop = 1<<30; // 1073741824;
    int32_t rop = 1<<30; // 1073741824;
    int32_t res = lop + rop;
    printf("1<<30 + 1<<30 : %d\n", res);
}
// 运行结果：1<<30 + 1<<30 : -2147483648

Perl代码及运行结果 #

sub to32bit { unpack("l", pack("L", $_[0])) } # 来自PerlMonks社区Corion的实现
print to32bit(to32bit(1<<30)+to32bit(1<<30));
// 运行结果：-2147483648

差异原因 #

• JS的var变量使用64位双精度浮点数存储数值，只要整数在2^53范围内，就能被精确表示。运算时不会触发有符号整数溢出的循环行为，而是保留精确的数值结果。
• C的int32_t是32位有符号整数，溢出后会按补码规则循环（属于C标准中的未定义行为，但多数编译器按补码处理），导致结果变为负数。
• 示例中的Perlto32bit函数是模拟32位有符号整数的补码行为，因此运算结果和C一致，与JS产生差异。

调整方案 #

C代码调整 #

要模拟JS的运算逻辑，需使用能容纳更大数值范围的类型，避免32位有符号整数的溢出：

方案1：使用64位无符号整数

#include <stdio.h>
#include <stdint.h>

int main(void){
    uint64_t lop = (uint64_t)1 << 30;
    uint64_t rop = (uint64_t)1 << 30;
    uint64_t res = lop + rop;
    printf("1<<30 + 1<<30 : %llu\n", res);
}
// 运行结果：2147483648

方案2：直接使用双精度浮点数（贴合JS的存储逻辑）

#include <stdio.h>

int main(void){
    double lop = 1.0 << 30;
    double rop = 1.0 << 30;
    double res = lop + rop;
    printf("1<<30 + 1<<30 : %.0f\n", res);
}
// 运行结果：2147483648

Perl代码调整 #

方案1：利用Perl默认的任意精度整数

Perl原生支持大整数运算，无需强制转换为32位有符号整数，直接运算即可得到和JS一致的结果：

sub calc {
    my ($a, $b) = @_;
    return ($a << $b) + ($a << $b);
}
print calc(1, 30); # 输出2147483648

方案2：使用Math::JS模块（2024年2月更新）

可使用CPAN上的Math::JS模块，该模块专门模拟JavaScript的数值运算逻辑，无需手动处理溢出和类型转换。相关讨论在PerlMonks社区的对应节点中。

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