如何让TypeScript自动推断正确的泛型类型，解决Set类型不匹配的推断问题？

这个问题我之前也踩过类似的坑，核心原因在于TypeScript的泛型推断是按参数顺序优先级来的，咱们一步步拆解来看：

为什么原来的代码推断失败？ #

你写的test函数把state作为第一个参数，TypeScript会优先尝试推断这个参数的类型：

test({ inner: new Set() }, numberFn)

这里new Set()没有传入初始值，TypeScript没法直接确定它的元素类型，会默认推断成Set<unknown>，进而把泛型S定为{ inner: Set<unknown> }。等轮到第二个参数numberFn时，它要求的是Set<{ inner: Set<number> }>，自然就出现类型不匹配的错误了。

而你测试的test3能成功，是因为参数顺序反过来了：先传入明确有类型的{ val: 5 }，TypeScript先确定泛型T是number，再把这个类型套用到后面的Set<T>上，推断逻辑就顺畅了。

最简单的解决方案：调整参数顺序 #

既然推断顺序是关键，那咱们把fn和state的位置换一下，让TypeScript先从fn里提取出正确的泛型类型，再应用到state上：

// 改写test函数，把fn放在第一个参数位置
function test<S>(fn: (value: { outer: Set<S> }) => void, state: S) {}

function numberFn(value: { outer: Set<{ inner: Set<number> }> }) {}

// 现在调用时，先传numberFn，TypeScript会先从它的类型里推断出S是{ inner: Set<number> }
test(numberFn, { inner: new Set() })
// ✅ 完全不会报错，TypeScript自动把new Set()推断为Set<number>

这个方案完美符合你的需求：不需要显式导出任何内部类型，也不用写复杂的类型断言，完全靠TypeScript的自动推断搞定。

补充解释几个你测试里的细节 #

• 关于test1能用而test2不行：数组字面量[]是TypeScript的特殊语法，会被当成“等待上下文推断类型的空数组”；而new Array()在没有指定类型参数时，默认会返回any[]，这是构造函数调用的默认行为，和泛型的推断逻辑无关。
• 你之前写的类型断言 workaround 虽然能解决问题，但确实太繁琐了，调整参数顺序是最简洁优雅的解法。

备注：内容来源于stack exchange，提问作者Matthijs Steen