带区分并集的Typescript条件类型

Question

我使用的库定义了以下类型：

type VoidableCallback<EventValue> = EventValue extends void ? () => void : (val: EventValue) => void;

库公开了一个返回上述类型的函数：

declare function fn<T>(): VoidableCallback<T>;

我想将此函数用于有差别的联合：

type Action = { type: 'add'; n: number } | { type: 'multiply'; n: number };

const callback = fn<Action>();
callback({ type: 'add', n: 1 });

但是TypeScript（3.4.1）给了我这个错误信息：

类型“add”不可分配给类型“add”

预期的类型来自属性'type'，该属性在这里声明为类型{type:“add”；n:number；}

我不明白为什么会这样-似乎总和（并集）类型被解释为“乘积”类型。

如果将类型定义更改为：

type VoidableCallback<EventValue> = (val: EventValue) => void;

... Typescript没有抱怨。这与条件类型和联合类型有关。

如果能理解这里发生了什么，那么也许我可以做一个公共关系到图书馆（rxjs-钩子）。

Answer 1

这是由条件类型的分布行为造成的。条件类型分布在裸类型参数上。这意味着，如果type参数包含联合，则条件类型将应用于联合的每个成员，结果将是所有应用程序的联合。因此，在您的情况下，我们将得到VoidableCallback

关于交集出现错误的原因是typescript处理函数签名联合的方式，它基本上要求参数与联合中的所有签名兼容，因此参数必须是所有可能参数类型的交集。你可以在这里读到

简单的解决方案是禁用条件类型的分发。这可以通过将类型参数放置在元组中轻松完成：

type VoidableCallback<EventValue> = [EventValue] extends [void] ? () => void : (val: EventValue) => void;
type Action = { type: 'add'; n: number } | { type: 'multiply'; n: number };
declare function fn<T>(): VoidableCallback<T>;
const callback = fn<Action>();
callback({ type: 'add', n: 1 }); //ok now

游乐场链接