Typescript 字符串文字联合的分布式条件类型

发布于11月12日

我正在try 创建一个具有两个参数的函数，这两个参数应该是相同类型的.该类型可以是类型列表中的任何类型，这些类型本身就是字符串文字的列表.

type A = "A1" | "A2" | "A3";
type B = "B1" | "B2" | "B3";
type Union = A | B;

type params<T> = T extends Union ? {input: T, output: T} : never;
function test(params: params<Union>) {
  ...
}

预期:

type params<Union> = {input: A, output: A} | {input: B, output: B}

会发生什么:

type params<Union> = {input: "A1", output: "A1"} | {input: "A2", output: "A2"} | {input: "A3", output: "A3"} | {input: "B1", output: "B1"} | {input: "B2", output: "B2"} | {input: "B3", output: "B3"}

推荐答案

不要将联合类型传递给params<T>泛型.相反，创建接受两个独立类型的泛型类型-InputOutputUnion<A, B>:

type A = "A1" | "A2" | "A3";
type B = "B1" | "B2" | "B3";

type InputOutput<T> = { input: T, output: T }
type InputOutputUnion<T, U> = InputOutput<T> | InputOutput<U>
type Params = InputOutputUnion<A, B>

let params1: Params = { input: "A1", output: "A2" }    // correct
let params2: Params = { input: "B1", output: "B2" }    // correct
let params3: Params = { input: "A1", output: "B1" }    // error

您还可以使用允许多个联合的更通用的解决方案:

type InputOutputUnionN<T extends any[]> =
  | InputOutput<T[0]>
  | InputOutput<T[1]>
  | InputOutput<T[2]>
  | InputOutput<T[3]>
type Params = InputOutputUnionN<[A, B]>