如何高效判断值是否超出TypedArray范围并实现溢出检测？

这个问题提得很实用——毕竟TypedArray的静默截断确实容易埋坑，我来分享下最优的实现思路和方案：

最佳实现思路：构造函数映射表 + 类型专属判断 #

目前TypedArray原型上并没有直接获取范围或检测溢出的内置方法，所以最可靠且高效的方式是：

1. 提前建立一个TypedArray构造函数与对应范围的映射表，覆盖所有标准类型；
2. 根据传入的TypedArray实例，找到它的构造函数对应的范围；
3. 针对整数和浮点类型，分别做精准判断。

具体代码实现 #

先定义映射表，包含所有TypedArray的合法范围：

const typedArrayRanges = new Map([
  [Int8Array, { min: -128, max: 127 }],
  [Uint8Array, { min: 0, max: 255 }],
  [Uint8ClampedArray, { min: 0, max: 255 }],
  [Int16Array, { min: -32768, max: 32767 }],
  [Uint16Array, { min: 0, max: 65535 }],
  [Int32Array, { min: -2147483648, max: 2147483647 }],
  [Uint32Array, { min: 0, max: 4294967295 }],
  [Float32Array, { min: -3.4028234663852886e+38, max: 3.4028234663852886e+38 }],
  [Float64Array, { min: -1.7976931348623157e+308, max: 1.7976931348623157e+308 }]
]);

然后实现valOverflows函数，分类型处理：

function valOverflows(val: number, arr: TypedArray): boolean {
  const range = typedArrayRanges.get(arr.constructor as typeof TypedArray);
  if (!range) {
    throw new TypeError('Input is not a valid TypedArray');
  }

  // 处理整数类TypedArray：严格检测范围+是否为整数
  const integerTypes = [Int8Array, Uint8Array, Uint8ClampedArray, Int16Array, Uint16Array, Int32Array, Uint32Array];
  if (integerTypes.includes(arr.constructor as any)) {
    // 非整数存入整数数组也会被截断，所以也要检测
    return !Number.isInteger(val) || val < range.min || val > range.max;
  }

  // 处理Float32Array：检测范围+精度损失
  if (arr instanceof Float32Array) {
    if (val < range.min || val > range.max) return true;
    // 存进Float32后再取出，和原值对比判断是否丢失精度
    return Float32Array.from([val])[0] !== val;
  }

  // 处理Float64Array：检测范围+大整数精度损失
  if (arr instanceof Float64Array) {
    if (val < range.min || val > range.max) return true;
    // Float64能精确表示所有±2^53以内的整数，超出则丢失精度
    if (Number.isInteger(val)) {
      return Math.abs(val) > 2 ** 53;
    }
    // 非整数检测精度损失
    return Float64Array.from([val])[0] !== val;
  }

  return false;
}

为什么这个方案比「存值再对比」更好？ #

1. 无副作用：不需要修改原数组的元素，避免了对数组状态的干扰，也适用于只读TypedArray视图；
2. 性能更优：直接通过构造函数映射表做范围判断，比修改数组再读取的IO操作更快；
3. 更全面：覆盖了整数数组的非整数截断、浮点数组的范围溢出和精度损失，比单纯的存值对比考虑更周全。

关于其他方案的补充说明 #

• 存值再对比的方法：确实对整数数组有效，但浮点数组中，有些值只是丢失精度而非超出范围，且修改数组可能带来不必要的性能开销或副作用，不推荐作为通用方案；
• TypedArray原型的实验性方法：目前TC39并没有相关的提案或实验性API能直接获取范围或触发溢出信号，所以还是手动维护映射表最可靠；
• instanceof判断：可以替代数组包含检测，比如直接用arr instanceof Int8Array等，性能上和数组包含差不多，看个人代码风格选择即可。

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