javascript数值溢出必须前置拦截：整数运算用bigint兜底并预判边界，浮点运算用对数累加和isfinite检查，递归需校验参数、中间值及深度，同时警惕无符号模运算与静默精度丢失。
JavaScript 中数值运算溢出不能靠“事后 catch”解决，必须在运算前主动拦截——整数运算要防截断，浮点运算要防上下溢，递归场景还要叠加深度与中间值双重校验。
整数运算：用更大类型兜底 + 边界预判
JS 的 Number 是双精度浮点，看似无溢出，但实际参与位运算（>>>、&）、TypedArray（如 Uint32Array）或与后端/硬件交互时，常需模拟整数语义。此时溢出风险真实存在：
- 乘法前做安全预判：若需计算
a * b是否超出2^32-1，可用Math.abs(a) > 0 && Math.abs(b) > (MAX_UINT32 / Math.abs(a))判断 - 更稳妥的做法是升维计算：转成
BigInt运算再回落，例如BigInt(a) * BigInt(b) - 避免依赖
Number.MAX_SAFE_INTEGER做“安全整数”判断——它只保证 表示唯一性，不防1e16 + 1 === 1e16这类精度丢失
浮点运算：平移与对数空间是关键
指数类函数（如 Math.exp、Math.pow(10, x)）极易触发 Infinity 或下溢为 0，尤其在 softmax、logsumexp、概率链等场景中：
- softmax 必须先减去最大值：
const max = Math.max(...x); const exps = x.map(v => Math.exp(v - max)); - 连续乘积改用对数累加：
log(p1 * p2 * p3) → logP1 + logP2 + logP3，最后再Math.exp(sum) - 每轮浮点计算后检查：
if (!isFinite(result) || isNaN(result)) throw new Error('Numerical instability');
递归中的数值与栈双重防护
递归既是逻辑结构，也是数值放大器。一次参数失控可能引发指数级中间值爆炸或栈溢出：
- 入口强制校验初始参数：如阶乘输入
n超过 170 就直接拒绝（Math.factorial(171)已超Number.MAX_VALUE） - 每次递归调用后、使用返回值前做中间值检查：比如子问题返回
res，再执行acc * res前先判断是否安全 - 显式传入并递增
depth参数，设阈值（建议 1000–2000），超限立即终止，不依赖引擎的尾调用优化（TCO） - 对不可控深度场景（如解析用户上传配置），果断降级为显式栈迭代，避免调用栈被压垮
别忽略无符号行为与静默精度丢失
JS 没有原生无符号整数类型，但通过 >>> 或 TypedArray 使用时，会表现出模运算特性——这容易掩盖逻辑错误：
- 用
Uint8Array存帧序号时，255 + 1变成0，业务上却期望报错或告警，需手动加范围断言 - 精度丢失不是溢出，但危害相当：
9007199254740992 + 1 === 9007199254740992，检测要用Object.is(a + b, a + b)配合误差容忍，而非仅靠isFinite - 所有涉及用户输入、API 返回、序列化反序列化的数值，都应做类型+范围双重校验，不信任任何外部来源
Java免费学习笔记：立即使用
解锁 Java 大师之旅：从入门到精通的终极指南
