TypeScript强制要求Set和Map实例化必须指定泛型

TypeScript 开发中有一个常见的类型陷阱——默认情况下，使用 new Set() 或 new Map() 不会触发任何类型报错，但这样创建的集合实际类型为 Set 和 Map。虽然方法可以正常调用，但类型系统已经埋下了隐患。本文将介绍如何利用全局声明合并（Global Declaration Merging）技术，重新定义无参构造函数，使其返回 Set 和 Map，从而让后续所有方法调用因类型不匹配而在编译阶段被拦截。

首先，讲一个容易被团队成员忽视的细节：TypeScript 内置的类型声明（即 lib.es2015.collection.d.ts 文件）中，Set 和 Map 的无泛型参数构造函数签名默认被定义为 Set 和 Map。这与数组的行为截然不同——空数组 [] 在严格模式下会触发 any[] 的报错，而 new Set() 却悄无声息地通过检查，留下一个运行时才能暴露的类型隐患。

要主动封堵这个宽松的入口，无需修改 TypeScript 源码，也无需依赖 noImplicitAny 配置。关键在于借助 TypeScript 的声明合并（Declaration Merging）机制，在项目中添加一段自定义全局声明，覆盖原生构造器的签名：

// types/strict-collections.d.ts（建议放在 types/ 目录下，确保被 tsconfig.json 包含）
declare global {
  interface SetConstructor {
    new(): Set;
  }
  interface MapConstructor {
    new(): Map;
  }
}

✅ 效果说明：

• 当你写下 const s = new Set(); 时，变量 s 的类型不再是 Set，而是 Set；
• 随后调用 s.has(1) 会直接报错：Argument of type 'number' is not assignable to parameter of type 'never'；
• 同理，const m = new Map(); m.set("key", 42) 也会因为键和值的类型都不匹配 never 而编译失败。

⚠️ 注意事项：

• 这段声明必须作用于全局作用域——例如写在 .d.ts 文件中，或使用 declare global { ... } 包裹。切勿将其放在普通 .ts 模块内直接写 interface SetConstructor {...}，那样只会局部生效，无法达到预期效果；
• never 是 TypeScript 中“零值类型”——没有任何一个值能赋值给它。因此，任何方法调用传入的实际参数都会触发类型不兼容的错误。这正是它实现强约束的底层逻辑；
• 如果遇到需要临时绕过的场景（例如单元测试中），只需显式标注泛型：new Set() 或 new Map() 完全不受影响；
• 该方案兼容所有 TypeScript 版本（≥3.4），且不影响 Set 和 Map 正常的泛型推导与使用。

最后再提供一个延伸视角：完全可以将这段声明放入团队共享的 @types/your-org 包中，再配合 @typescript-eslint/no-explicit-any 这类 ESLint 规则，形成双重防护。从长远来看，明确泛型应当成为编码规范的一部分——new Set() 比 new Set() 更安全，也更易于维护。

这个技巧虽然简短，但精准地将类型检查的防线前移了一步。让“忘记泛型”这件事从静默隐患变为即时编译期报错，真正践行了“类型即文档、类型即契约”的工程实践。