将类型声明与条件类型合并

Question

当类型联合通过 TypeScript 中的条件类型传递时，删除条件时返回的值不一致。

当给定类型的联合时，typescript 正确地将可能的参数合并到每个参数中。

type Fn<T> = (arg: T) => void
Fn<string | number> // (arg: string | number) => void

但是，当混合使用条件参数时，参数将被解析

type ConditionalFn<T> = T extends never ? Fn<T> : Fn<T>
ConditionalFn<string | number> // Fn<string> | Fn<number>
// That is equivalent to which is ((arg: string) => void | (arg: number) => void)

通常这不是问题。但是当函数的类型设置为条件类型时，参数都设置为any，并且需要手动转换。

Playground Example

我希望ConditionalFn<string | number> 解析为Fn<string> | Fn<number>，然后进一步解析为Fn<string | number>。

---

Follow up

为什么Improved behavior for calling union types 示例中的f 变量需要参数类型的交集？ 我认为这是我困惑的根本原因。因为如果没有任何交集，它会强制参数类型为any。

Answer 1

您使用的条件类型是distributive，并按照您的预期将ConditionalFn<string | number> 扩展为Fn<string> | Fn<number>。但是Fn<string> | Fn<number> 不能分配给 Fn<string | number>。这些是完全不同的类型。

Fn<string | number> 是一种非常特殊的函数类型；一个可以同时接受string 和number 参数。它是一个单独的函数，上面写着“我不在乎参数是string 还是number；我会接受其中任何一个”。

现在Fn<string> 类型的函数只需要接受string，Fn<number> 类型的函数只需要接受number。 Fn<string> | Fn<number> 类型的函数是其中一个，我们只是不知道是哪一个。这是一个非常不具体/模糊的函数类型。因此很难真正调用这种类型的函数（在 TS3.3 之前，如果没有类型断言，你根本无法调用它），因为我可以自信地传递参数的唯一方法就是给它一些东西既是string，又是number；即string & number。 TypeScript 3.3 添加了 support 用于调用具有交叉点的此类联合函数，这很棒......除了不存在 string & number 类型的值；它相当于never。因此无法安全地调用 ConditionalFn<string | number> 类型的函数，这很可能是您的问题的原因。

重申这些类型之间的区别：函数(a: number) => console.log(2-a) 是有效的Fn<string> | Fn<number>（因为它是Fn<number>）但它不是是有效的Fn<string | number>（因为它不接受字符串）。

这确实会让人感到困惑，因为函数类型在其参数类型的相反方向上变窄/变宽。这称为contravariance，TypeScript 从 2.6 版开始支持它。

好的，希望对您有所帮助；祝你好运！