Typescript的number类型或Math.ceil()的什么特性导致算术运算错误？

• Number类型精度溢出：JavaScript/TypeScript中的number类型为双精度64位浮点数，最大安全整数为2^53 - 1（值为9007199254740991，约9e15）。当前new Date().getTime()返回的毫秒时间戳约为1.7e12，乘以系数10000后得到1.7e16，已经远超安全整数范围，超出后整数会丢失精度，直接导致运算结果不符合预期。
• Math.ceil逻辑存在边界问题：Math.random()返回值范围为[0, 1)，当返回值恰好为0时，Math.ceil(Math.random()*10)会得到0，最终code = codeBody * 0直接输出0，属于异常结果。
• 唯一性逻辑本身存在缺陷：同一毫秒内调用函数时codeTime完全相同，随机数部分有概率重复，额外乘以随机系数反而会进一步提升重复概率，无法保证生成值唯一。

方案1：使用BigInt避免精度溢出（保留大数值类型） #

function nonce(): bigint {
    const millidate = BigInt(new Date().getTime());
    const factor = 10000n;
    // 生成1~10000的随机数，避免0值
    const codeEnd = BigInt(Math.ceil(Math.random() * Number(factor)));
    // 生成1~10的随机系数，避免0值
    const codeMult = BigInt(Math.ceil(Math.random() * 10));
    const codeTime = millidate * factor;
    const codeBody = codeTime + codeEnd;
    const code = codeBody * codeMult;
    console.log("Breakdown of " + code.toString() + ": ", codeTime.toString(), codeEnd.toString(), codeBody.toString(), codeMult.toString());
    return code;
};

方案2：缩小系数适配安全整数范围（保留普通number类型） #

如果不需要过大的数值，可缩小系数保证运算结果在安全整数范围内：

function nonce(): number {
    const millidate = Date.now();
    // 系数调整为1000，运算结果约为1.7e15，在安全整数范围内
    const factor = 1000;
    const codeTime = millidate * factor;
    // 生成1~1000的随机后缀，避免0值
    const codeEnd = Math.ceil(Math.random() * factor);
    // 移除随机乘数，避免不必要的数值放大
    return codeTime + codeEnd;
}

方案3：优化为字符串类型nonce（冲突概率极低） #

如果不需要严格的数值类型，更推荐用时间戳拼接随机串的方式，实现简单且稳定性高：

function nonce(): string {
    const time = Date.now().toString();
    // 生成4位固定长度的随机后缀
    const random = Math.floor(Math.random() * 10000).toString().padStart(4, '0');
    return `${time}${random}`;
}

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