使用恒等函数时return关键字或函数参数引发的TypeScript类型推断异常问题

这不是你忽略了基础规则，而是TypeScript在上下文类型推断和泛型参数推断的交互逻辑中的已知设计限制，算不上罕见bug——很多开发者在处理复杂泛型回调时都遇到过类似情况。咱们拆解一下两种失败场景的核心原因：

先搞懂为什么「可正常推断的示例」能工作 #

在workingExample里，你用了表达式体箭头函数（直接返回对象字面量，没有{}包裹函数体）：

step(() => ({ schema: { attribute: 'anything' }, ... }))

TypeScript会优先捕获这个对象字面量的具体类型，然后反向推导泛型参数TSchema为{ attribute: string }，接着把keyof TSchema（也就是'attribute'）传递给toAnswers的keys参数。整个推断链是顺畅的：对象字面量的具体类型 → 泛型参数确定 → 回调参数类型细化。

推断失败场景A：带函数参数时的推断优先级问题 #

当给step的回调函数添加参数（比如_something）时，TypeScript的推断顺序发生了变化：

• 它会优先尝试为回调参数_something推断类型（虽然你用了下划线忽略它，但TypeScript仍会处理上下文类型）
• 此时回调的返回值类型还没有被细化，泛型TSchema只能 fallback 到默认的Schema（也就是Record<string, unknown>）
• 等到TypeScript处理toAnswers的keys参数时，keyof TSchema已经变成了string，自然无法推断出具体的'attribute'

这里的关键是：函数参数的存在会让TypeScript优先处理参数的上下文类型，延迟对返回值类型的细化，打断了原本从返回值到泛型参数的推断链。

推断失败场景B：语句体箭头函数的推断差异 #

当你用{}包裹函数体，通过return返回对象时，这个箭头函数变成了语句体箭头函数：

step(() => { return { schema: { ... }, ... } })

和表达式体不同，语句体里的return对象不再是「上下文敏感的即时字面量」——TypeScript不会立即把它的具体类型作为推断TSchema的依据，而是先把函数返回值视为宽泛的匿名对象类型，再尝试匹配StepFunction<TSchema>。这个过程中，TSchema又一次 fallback 到默认的Schema，导致keys的类型变成string。

如何修复？ #

有几种简单的方式可以恢复正确的类型推断：

1. 回到表达式体箭头函数（也就是你第一个成功的写法），这是最直接的方式
2. 提取schema为独立常量，让TypeScript先捕获它的具体类型：

   const mySchema = { attribute: 'anything' } as const;
   const fixedExample = step(() => {
     return {
       schema: mySchema,
       toAnswers: keys => {
         // keys now correctly inferred as 'attribute'
         type Test = string extends typeof keys ? never : 'true'
         const test: Test = 'true'
         return { test }
       },
     }
   })
   

3. 显式标注回调函数的返回类型，强制TypeScript使用你指定的TSchema：

   const fixedExample = step((): StepFunction<{ attribute: string }> => {
     return {
       schema: { attribute: 'anything' },
       toAnswers: keys => {
         // keys is 'attribute'
         type Test = string extends typeof keys ? never : 'true'
         const test: Test = 'true'
         return { test }
       },
     }
   })
   

补充验证你提到的Parameters现象 #

你说无论是否显式声明参数，Parameters<typeof myFunction>都能正确推断参数类型——这是因为Parameters是基于最终推断出的函数类型来提取参数的，而step函数本身的泛型约束已经确保了返回值的参数类型是unknown，所以即使TSchema fallback 到默认值，Parameters仍能正确拿到[unknown]，这和toAnswers的keys推断是两个独立的逻辑。

内容的提问来源于stack exchange，提问作者ShayDavidson