使用另一种类型的属性名称创建可区分联合

Question

我正在尝试创建一个泛型类型，它从一个类型中获取属性名称和属性类型，并使用它们来创建一个可区分的联合类型。例如：

type FooBar = {
    foo: string;
    bar: number;
};

将映射到：

type FooBarPair = {
    key: "foo",
    value: string
} | {
    key: "bar",
    value: number
}

我最初的尝试是：

type Pairs<T> = {
    [TKey in keyof T]: {
        key: TKey;
        value: T[TKey];
    };
};

type Pair<T> = Pairs<T>[keyof T];

但是当我尝试将其应用于上述类型时：

let pair: Pair<FooBar> = {
    key: "foo",
    value: 3
};

我预计会出现编译错误，但没有。当我检查Pair<FooBar> 的类型时，我发现它等同于：

{
    key: "foo" | "bar";
    value: string | number;
}

我认为这可能是打字稿中的一个错误，但我想看看是否有其他方法可以实现这一点。

Answer 1

是的，有一种方法可以实现这一点。事实证明，Typescript 推断出所需的类型

 `{ key: "foo"; value: string; } | { key: "bar"; value: number; }`

当您删除中间泛型类型 type Pair<T> = Pairs<T>[keyof T]; 并像 Pairs<FooBar>[keyof FooBar] 一样将其内联扩展时：

type Pairs<T> = {
    [TKey in keyof T]: {
        key: TKey;
        value: T[TKey];
    };
};

type FooBar = {
    foo: string;
    bar: number;
};


let pair: Pairs<FooBar>[keyof FooBar] = {
    key: "foo",
    value: 3
};

完整的错误信息是

Type '{ key: "foo"; value: number; }' is not assignable to type '{ key: "foo"; value: string; } | { key: "bar"; value: number; }'.
  Type '{ key: "foo"; value: number; }' is not assignable to type '{ key: "foo"; value: string; }'.
    Types of property 'value' are incompatible.
      Type 'number' is not assignable to type 'string'.

我不确定在这两种情况下要推断的“正确”类型是什么，但是像 Pair<T> = Pairs<T>[keyof T] 这样的速记类型的引入不应影响 IMO 的类型推断。好像是个bug。