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() 更安全，也更易于维护。
这个技巧虽然简短，但精准地将类型检查的防线前移了一步。让“忘记泛型”这件事从静默隐患变为即时编译期报错，真正践行了“类型即文档、类型即契约”的工程实践。
