TypeScript如何实现仅ISettingsBar[]数组可用的原型方法

TypeScript 不支持对内置泛型类型（比如Array<T>）做「针对特定类型参数的接口合并」，也就是说你不能单独给Array<ISettingsBar>加专属方法而不影响其他类型的数组，所以修改接口声明时会收到「所有Array声明必须拥有完全一致的类型参数」的报错。

有两种可行实现，优先推荐第一种：

方案1：使用独立工具函数（最推荐） #

不要污染全局Array原型，直接写独立的工具方法，从根源上限制只有传入ISettingsBar[]类型的参数才能调用，没有任何类型安全隐患，也不会给其他数组类型增加多余的方法提示。

// 原有判断逻辑保留
const isActiveBarSettingsBarF = (
  settingsBar: ISettingsBar[],
  bar: number
) => settingsBar[bar - 1].active !== false;

// 独立工具函数，入参类型自动约束
const filterActiveSettingsBars = (
  targetArray: ISettingsBar[],
  settingsBar: ISettingsBar[]
): ISettingsBar[] => {
  return targetArray.filter(item => isActiveBarSettingsBarF(settingsBar, item.bar));
};

// 调用示例
const barList: ISettingsBar[] = [];
const res = filterActiveSettingsBars(barList, []); // 正常校验通过
const numList: number[] = [];
filterActiveSettingsBars(numList, []); // TS直接报类型错误

方案2：原型方法+this类型约束（必须挂原型时使用） #

如果一定要把方法挂在数组原型上，可以通过TS的this参数做类型约束，让非ISettingsBar[]类型的数组调用该方法时直接报类型错误。注意这种方式只是类型层面的拦截，运行时方法依然存在于所有数组实例上，建议补充运行时校验避免绕过TS的异常调用。

const isActiveBarSettingsBarF = (
  settingsBar: ISettingsBar[],
  bar: number
) => settingsBar[bar - 1].active !== false;

declare global {
  interface Array<T> {
    // 通过this参数约束：仅当数组是ISettingsBar[]时，该方法可用
    isActiveBarSettingsBar(
      this: ISettingsBar[],
      settingsBar: ISettingsBar[]
    ): ISettingsBar[];
  }
}

Array.prototype.isActiveBarSettingsBar = function(
  settingsBar: ISettingsBar[]
) {
  // 可选：运行时校验，防止as any等绕过TS的场景报错
  if (!this.every(item => typeof (item as ISettingsBar)?.bar === 'number')) {
    throw new TypeError('isActiveBarSettingsBar can only be called on ISettingsBar[]');
  }
  return this.filter((b: ISettingsBar) => isActiveBarSettingsBarF(settingsBar, b.bar));
};

// 调用示例
const barList: ISettingsBar[] = [];
barList.isActiveBarSettingsBar([]); // 正常校验通过
const numList: number[] = [];
numList.isActiveBarSettingsBar([]); // TS报类型错误：this类型不匹配

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