在 TypeScript 中组合并集和交集类型时的参数类型解析

TypeScript可以很好地使用discriminated unions

T1是受歧视的，因 for each unions 有letter个财产，而T2个则不是.解决这个问题有两种方法.

First way

type T2 = { type: '1', base: 'low' } | { type: '2', noise: 'high' }

Second way

type T1 =
  | { letter: 'a'; valueFunc: (prop: number) => void; }
  | { letter: 'b'; valueFunc: (prop: string) => void; }


type UnionKeys<T> = T extends T ? keyof T : never;

type StrictUnionHelper<T, TAll> =
  T extends any
  ? T & Partial<Record<Exclude<UnionKeys<TAll>, keyof T>, never>> : never;

type StrictUnion<T> = StrictUnionHelper<T, T>

type T2 = StrictUnion<{ base: 'low' } | { noise: 'high' }>

type T3 = T1 & T2

const var1: T3 = { letter: 'b', base: 'low', valueFunc: (prop) => { } } // prop is string

const var2: T3 = { letter: 'a', noise: 'high', valueFunc: (prop) => { } } // prop is number

Playground

经验法则:

More explanation

1)

为什么我们用UnionKeys而不是keyof T

我们也可以使用T extends any.这里的要点是使用条件输入法.为什么？因为当你使用keyof ({a:1}|{b:2})时，你会得到never，因为它们没有共同的属性.见here.

这意味着当你使用:

type UnionKeys<T> = T extends any ? keyof T : never;

keyof T分别应用于联合体中的每个元素，而不是整个联合体，因为我们在这里使用了T extends any.

一般来说，你应该把T extends any——作为turn on distributivity和[T] extends [any]——当作没有分配性的判断.

另外，你可以查看我的blog个更有趣的例子