TypeScript中优雅扩展Uint8Array：兼容实例化与初始化为全1

我想在TypeScript中基于Uint8Array扩展出一个自定义类型数组，要求：

• 初始化时默认填充1（而非原生类型数组的0）
• 支持添加额外方法
• 兼容原生类型数组的实例化方式，比如new SpecialArray([1, 2, 3])和new SpecialArray(3)都能正常工作且不触发类型错误

我写了这段代码：

class SpecialArray extends Uint8Array {

   constructor(arg: number | number[]) {
      super(arg)
      this.fill(1)
   }
   
   // 其他额外方法...

}

但TypeScript抛出了类型错误：

No overload matches this call.
The last overload gave the following error.
Argument of type 'number | number[]' is not assignable to parameter of type 'ArrayBufferLike'.
Type 'number' is not assignable to type 'ArrayBufferLike'.ts(2769)

我试过用类型断言super(arg as unknown as ArrayBufferLike)绕过，但这种写法不够优雅，有没有更简洁的实现方式？

核心问题是TypeScript对Uint8Array构造函数的重载类型推导不够灵活，无法自动匹配number | number[]对应的重载。可以通过显式分发构造逻辑来解决，既符合类型系统要求，又避免粗暴的类型断言：

class SpecialArray extends Uint8Array {
  constructor(arg: number | number[]) {
    // 显式判断参数类型，调用对应构造重载
    if (typeof arg === 'number') {
      super(arg);
    } else {
      super(arg);
    }
    this.fill(1);
  }

  // 示例额外方法
  sum(): number {
    return this.reduce((acc, val) => acc + val, 0);
  }
}

为什么这样有效？ #

当TypeScript看到分支里的typeof arg === 'number'，会自动将该分支内的arg类型收窄为number，完美匹配Uint8Array接收长度参数的构造重载；同理，数组分支会匹配接收数组参数的重载。这样无需类型断言，就能让TypeScript正确推导构造函数的参数类型。

进阶优化：兼容更多原生构造参数 #

如果需要兼容Uint8Array的所有构造重载（比如传入ArrayBuffer、TypedArray等），可以直接复用原生构造函数的类型定义，再在构造逻辑里统一处理初始化填充：

// 复用Uint8Array的构造函数参数类型
class SpecialArray extends Uint8Array {
  constructor(...args: ConstructorParameters<typeof Uint8Array>) {
    super(...args);
    this.fill(1);
  }

  // 自定义方法示例
  double(): SpecialArray {
    return new SpecialArray(this.map(val => val * 2));
  }
}

这种写法直接继承了原生所有构造方式，同时保持类型安全，还能统一执行初始化填充逻辑，是最灵活的实现方式。

内容的提问来源于stack exchange，提问作者Adam B.