TypeScript中能否为特定类型扩展Array.prototype？sum方法仅适配number可行吗

嘿，这两个问题问得很精准，刚好是TypeScript原型扩展里的常见场景，我来给你拆解清楚：

问题1：在TypeScript中，是否可以仅针对特定类型扩展Array.prototype？ #

当然可以！TypeScript的类型系统支持你精准针对特定类型的数组扩展原型方法，而不是给所有数组都强行加上方法。核心是利用「接口合并」特性，只给目标类型的数组接口添加扩展，而非给泛型的Array<T>做通用扩展。

问题2：如何让sum()扩展仅适用于number类型数组？ #

你原来的代码给所有Array<T>都加了sum()方法，这会导致非number数组（比如string[]、boolean[]）也能调用它，显然不符合你的需求。我们可以通过两种方式来严格限制：

方式1：直接扩展Array<number>接口 #

这种方式最直接，只给数字数组添加sum()方法：

// 如果你的代码在ES模块（有import/export）中，必须用declare global包裹
declare global {
  interface Array<number> {
    sum(): number;
  }
}

// 实现方法时，用this参数约束调用者必须是number[]
Array.prototype.sum = function(this: number[]): number {
  return this.reduce((acc, curr) => acc + curr, 0);
};

// 测试效果：
const nums = [1, 2, 3];
console.log(nums.sum()); // 输出6 ✅

const strs = ["a", "b"];
strs.sum(); // TypeScript直接报错：Property 'sum' does not exist on type 'string[]' ❌

方式2：用条件类型做泛型约束 #

如果你想保留泛型接口，但只允许number类型调用，可以用条件类型限制返回值，同时在实现里加运行时检查：

declare global {
  interface Array<T> {
    sum(): T extends number ? number : never;
  }
}

Array.prototype.sum = function<T>(this: T[]): T extends number ? number : never {
  // 运行时加类型检查，防止有人绕过TypeScript约束调用
  if (this.some(item => typeof item !== 'number')) {
    throw new Error('sum() 仅支持数字类型数组');
  }
  return this.reduce((acc, curr) => acc + curr, 0) as any;
};

// 测试效果：
nums.sum(); // 输出6 ✅
strs.sum(); // TypeScript报错：Type 'string' does not satisfy the constraint 'number' ❌

关键注意点 #

• 如果你在ES模块中写扩展，必须用declare global包裹接口声明，否则TypeScript会把它当成模块内的局部接口，不会合并到全局的Array接口里。
• 实现方法时用this: number[]约束调用上下文，能让TypeScript在编译期就阻止非数字数组调用sum()，比只靠类型声明更严谨。
• 加上运行时类型检查，可以避免有人用any类型绕过TypeScript的类型限制，提升代码健壮性。

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