typescript - 在泛型类型后面时 TypeScript 类型的不同行为

Question

我在 tsc 3.2.2 中看到令人困惑的行为。我有两种类型，我希望它们是等效的但实际上不是(根据 VSCode intellisense - 是否有更好的检查方法？)。

首先，我有一个由 type 键区分的可区分联合。我的想法是，我将通过判别式查找正确的类型，然后删除 type 键以获取有效负载类型:

interface A { type: 'a', x: number }
interface B { type: 'b', y: string }
type Request = A | B

我有一些助手类型。 Omit 来自 TS 文档，而 Discriminate 采用已区分的联合、区分键和该键的值以在查找中使用，并从中生成匹配类型联盟:

type Omit<T, K> = Pick<T, Exclude<keyof T, K>>
type Discriminate<T, U extends keyof T, V extends T[U]> = 
  T extends Record<U, V> ? T : never

现在我定义了一个助手来通过 type 键获取 Request 变体:

type RequestType<T extends Request['type']> = Discriminate<Request, 'type', T>
type A2 = RequestType<'a'> // Equals A, good so far

现在我添加了一个助手来通过 type 键获取 Request 负载类型:

type RequestPayload<T extends Request['type']> = Omit<RequestType<T>, 'type'>
type APayload = RequestPayload<'a'> // {} - That's not right!

但是，如果我更直接地计算负载类型，它就可以工作:

type APayload2 = Omit<RequestType<'a'>, 'type'> // { x: number } - Correct

APayload 和 APayload2 有什么区别？这可能是一个错误吗？我认为我遗漏某些东西的可能性更大。它们看起来应该是相同的。

Answer 1

如果您查看工具提示中关于 RequestType 的定义，它实际上是一个联合类型:

type RequestType<T extends "a" | "b"> = Discriminate<A, "type", T> | Discriminate<B, "type", T>

当您在其上使用 Omit 时，Omit 中的 keyof 仅遍历联合所有成员中存在的键，也就是说，Omit 只看到 type 键，没有其他任何东西，当您省略它时，结果类型为空。

您需要使用特殊版本的Omit 来修复它。你需要UnionOmit那个“distributes”Omit over the union members then immediately assemble the union again:

type UnionOmit<T, K> = T extends {} ? Pick<T, Exclude<keyof T, K>> : never;


type RequestPayload<T extends Request['type']> = UnionOmit<RequestType<T>, 'type'>
type APayload = RequestPayload<'a'>  // {x: number}