🔎 搜索词

infer 默认参数
函数 Package 器
函数工厂

🕗 版本与回归信息

• 这是我在每个版本中尝试的行为，我查阅了常见问题解答
• 我尝试到了4.0.3版本(因为在早期版本中 Generator 类型不是泛型的)

⏯ Playground链接

https://www.typescriptlang.org/play/?#code/CYUwxgNghgTiAEAzArgOzAFwJYHtVNQBEQYsA3EAHgEF4QAPDEVYAZ3jQGtUcB3VANoBdADTwASgD4AFACh4CggC540gHQbYAc1YrqASngBeSfADizElAw4YlLj35ipI2fpUO++APQAqX-AAtjhgnCDA8HAYyDD4vt4A3LKyiEQk5CDSKOjYePC+0lDG8AAMYgBGxQDkVYYA3vLwYHisOBAgahA4WtINivBQrvDe3vAAegD8jQrl8iPjUwoAvvpJK0lAA

💻 代码

declare function fnDerive<A extends unknown[], R>(
    fn: (...args: A) => Generator<unknown, R>,
): unknown /** mocked return */;
fnDerive(function *(a = 0, b = '') {
  console.log({
    a,
 // ^?
    b
 // ^?
  });
});

🙁 实际行为

a 和 b 的类型是 unknown。

🙂 预期行为

a 和 b 的类型应该是 number 和 string。

关于问题的额外信息

当我遇到这个问题时，我正在使用一个库 gensync,我从其中提取了最小复现案例。
请注意，如果我不使用默认参数，TypeScript 可以正确推断出 a 和 b 的类型：

declare function fnDerive<A extends unknown[], R>(
    fn: (...args: A) => Generator<unknown, R>,
): unknown /** mocked return */;
fnDerive(function *(a?: number | undefined, b?: string | undefined) {
  console.log({
    a,
 // ^?
    b
 // ^?
  });
  a ??= 0;
  b ??= '';
  console.log({
    a,
 // ^?
    b
 // ^?
  });
});