TypeScript 中 Map 和 Set 必须加泛型约束：Map 为双参数 Map，Set 为单参数 Set；否则默认 any 导致类型失控、操作受限或编译报错。
在 TypeScript 中，给 Map 和 Set 加泛型约束不是可选项，而是必须项——不写类型参数，TS 会默认推断为 Map 或 Set，后续所有操作都会受限或报错。
Map 的泛型约束写法
Map 是双参数泛型，格式为 Map。键和值的类型可以不同，也支持复杂类型（如对象、函数、甚至 null 或 undefined）。
- 基础用法：键是字符串，值是数字 →
const map = new Map() - 键是数字，值是自定义接口 →
interface User { id: number; name: string } const userMap = new Map() - 键是对象（注意：对象作为键时，每次新建对象都是新引用，
has()和get()可能失效；推荐用WeakMap处理对象键） - 允许
null作键：需显式声明Map，否则 TS 默认不允许null（除非开启strictNullChecks: false）
Set 的泛型约束写法
Set 是单参数泛型，格式为 Set。它只关心成员类型是否统一、是否可比较（对原始类型天然支持，对对象则按引用判断唯一性）。
- 字符串集合：
const strSet = new Set(["a", "b", "c"]) - 数字集合：
const numSet = new Set→ 自动去重，最终含 3 个元素([1, 2, 3, 3]) - 不能混入类型：
numSet.add("4")会编译报错，因为"4"不是number - 若要存多种类型，可用联合类型：
new Set(["a", 1, "b"])
泛型约束带来的实际好处
类型约束不只是“防止加错”，更关键的是让 IDE 和编译器能精准推导后续行为：
-
map.get(key)返回类型自动是ValueType | undefined，不用手动断言 -
set.has(item)参数类型被严格校验，传错类型直接红波浪线 - 遍历时（如
for...of或forEach），循环变量类型自动确定，比如strSet.forEach(s => s.toUpperCase())中s就是string - 配合解构或扩展运算符更安全：
Array.from(numSet)推导出number[]，而非any[]
常见错误与避坑提示
新手容易忽略的细节：
- 创建空
Set或Map时漏写泛型 →new Set()是错的，必须写new Set等() - 用数组初始化
Set时，数组元素类型必须完全匹配泛型声明，否则初始化就报错 -
Map的键类型如果是联合类型（如string | number），调用set()时传参必须满足该联合，但get()的参数类型也会变成联合，可能影响逻辑分支 - 不要试图用泛型约束绕过运行时限制：比如
Set能防止你加字符串，但不能阻止你加一个非Date实例的普通对象（只要它结构相似）——类型系统只管形状，不管构造方式
