TypeScript中Set类型无isSubsetOf方法，如何全局扩展定义？

问题描述 #

我需要在TypeScript中实现MDN上的Set集合扩展方法（如isSubsetOf），当前环境为TypeScript ^5.4.5，tsconfig的lib配置为["dom", "es2022"]。编写以下代码时：

const set1:Set<number> = new Set([1,2])
const set2:Set<number> = new Set([1,2,3])
set1.isSubsetOf(set2)

出现报错：Property 'isSubsetOf' does not exist on type 'Set<number>'.ts(2339)。在同一文件内自定义Set接口时能正常工作，但将定义移到其他文件导入后，错误重现。想了解如何在TypeScript中全局覆盖Set的默认类型定义？

当前配置文件 #

tsconfig.json

{
  "include": ["./src/**/*"],
  "compilerOptions": {
    "strict": true,
    "esModuleInterop": true,
    "lib": ["dom", "es2022"],
    "jsx": "react-jsx"
  }
}

package.json

{
  "name": "react-typescript",
  "version": "1.0.0",
  "description": "React and TypeScript example starter project",
  "keywords": [
    "typescript",
    "react",
    "starter"
  ],
  "main": "src/index.tsx",
  "dependencies": {
    "loader-utils": "3.2.1",
    "react": "18.3.1",
    "react-dom": "18.3.1",
    "react-scripts": "5.0.1"
  },
  "devDependencies": {
    "@types/react": "18.3.3",
    "@types/react-dom": "18.3.0",
    "typescript": "^5.4.5"
  },
  "scripts": {
    "start": "react-scripts start",
    "build": "react-scripts build",
    "test": "react-scripts test --env=jsdom",
    "eject": "react-scripts eject"
  },
  "browserslist": [
    ">0.2%",
    "not dead",
    "not ie <= 11",
    "not op_mini all"
  ]
}

解决方案 #

要让Set的扩展类型全局生效，需使用TypeScript的**模块扩展（Module Augmentation）**特性，步骤如下：

1. 创建全局类型声明文件，比如src/types/set.d.ts
2. 在文件中通过declare global扩展全局Set接口，并实现对应的原型方法：

// src/types/set.d.ts
declare global {
  interface Set<T> {
    isSubsetOf(other: Set<T>): boolean;
  }
}

// 实现isSubsetOf方法逻辑
Set.prototype.isSubsetOf = function <T>(this: Set<T>, other: Set<T>): boolean {
  for (const elem of this) {
    if (!other.has(elem)) {
      return false;
    }
  }
  return true;
};

export {}; // 必须添加此行，将文件标记为模块，确保全局扩展生效

3. 确认tsconfig的include配置已覆盖该声明文件（当前配置"./src/**/*"已满足要求，无需修改）

为什么导入接口无效？ #

TypeScript的接口合并仅在同一作用域内生效。若将自定义Set接口放在单独文件中导入，它会与全局Set接口处于不同作用域，无法完成合并。而用declare global包裹的接口会直接合并到全局Set类型上，因此能实现全局生效。

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