强制 TypeScript 禁止未标注泛型的 Set 和 Map 实例化

typescript 默认允许 new set() 或 new map() 生成 set<unknown>/map<unknown, unknown>，虽可调用方法却隐含类型风险；本文介绍通过全局声明合并将无参构造器重定义为返回 set<never>/map<never, never>，使后续方法调用因类型不兼容立即报错，从而在编译期拦截类型缺失问题。

typescript 默认允许 new set() 或 new map() 生成 set<unknown>/map<unknown, unknown>，虽可调用方法却隐含类型风险；本文介绍通过全局声明合并将无参构造器重定义为返回 set<never>/map<never, never>，使后续方法调用因类型不兼容立即报错，从而在编译期拦截类型缺失问题。

在 TypeScript 中，Set 和 Map 的内置类型声明（如 lib.es2015.collection.d.ts）默认将无泛型参数的构造函数签名定义为返回 Set<unknown> 和 Map<unknown, unknown>。这与数组不同——空数组 [] 在严格模式下会触发 any[] 报错，而 new Set() 却悄然通过，埋下运行时类型隐患。

要主动规避这一宽松行为，无需修改 TypeScript 源码或禁用 noImplicitAny，而是利用 TypeScript 的声明合并（Declaration Merging）机制，在项目中添加自定义全局声明，覆盖原生构造器签名：

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

✅ 效果说明：

• const s = new Set(); 类型变为 Set<never>；
• 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<number>()、new Map<string, boolean>() 不受影响；
• 该方案兼容所有 TypeScript 版本（≥3.4），且不影响 Set<T> / Map<K,V> 的正常泛型推导和使用。

? 进阶建议：
可将此声明纳入团队共享的 @types/your-org 包，或配合 ESLint 规则（如 @typescript-eslint/no-explicit-any）形成双重防护。长期来看，明确泛型应成为编码规范的一部分——new Set<string>() 比 new Set() 更安全、更可维护。

通过这一简洁而精准的类型技巧，你能在不侵入编译器的前提下，将 TypeScript 的类型检查防线前移，让“忘记泛型”从静默隐患变为即时反馈，真正践行类型即文档、类型即契约的工程实践。