为了过滤对象的并集，通常需要使用提取：简单的方法：

type Result = Extract<MyDUnion , {type: "anon"}>

更稳健：

type MyDUnion = { type: "anon"; name: string } | { type: "google"; idToken: string };

type Values<T> = T[keyof T]

type Filter<Union, Type extends Partial<Union>> = Extract<Union, Type>

type Result = Filter<MyDUnion, { type: 'anon' }>

为了获得所需的密钥，您必须以某种方式告诉Typescript编译器
嘿编译器，我想了解一下这个对象，在一个非常特殊的情况下
在这个例子中，你想知道对象的信息，当type ==='anon'。那么，以你的例子为例，

type MyDUnion = { type: "anon"; name: string } | { type: "google"; idToken: string };

type SpclCase = MyDUnion & {type: "anon"}

这样，你就可以得到这两种情况重叠的信息，现在你可以直接索引name键了。

type Name = SpclCase['name']

如果你想让它更健壮，我们可以确保我们使用的收缩类型（在本例中为{type: 'anon'}）满足所需的形状。

type DiscriminatorObj = { type: 'anon' }
type RequiredCase = DiscriminatorObj extends Pick<MyDUnion, "type"> ? DiscriminatorObj: never;
type SpclCase = (RequestBody & RequiredCase);
type Name = SpclCase['name']

我知道这有点粗糙，但是你总是可以把它提取到泛型函数中，然后随意使用它们。我只是向你展示了基本的逻辑。你可以用它来使它更美观。

溶液

export type PickAll<
    Union,
    Keys extends KeyOf<Union>,
    Otherwise = undefined
> = {
    [_K in Keys]: Union extends { [K in _K]: infer Value }
        ? UnionToIntersection<Value>
        : Otherwise
}

助手

x一个一个一个一个x一个一个二个x
目标

type MyDUnion =
  | { type: 'anon'; name: string }
  | { type: 'google'; idToken: string }

indexed access和keyof

MyDUnion['type']
/* "anon' | "google" */
// ❓

MyDUnion[keyof MyDUnion]
/* "anon" | "google" */
// ❓

// @ts-expect-error - not all union members have an idToken
MyDUnion['type' | 'idToken']
/* any */
// ❌

KeyOf<Union>

type UnionKeys = KeyOf<MyDUnion>
/* "type" | "name" | "idToken" */
// ✅

PickAll<Union, KeyOf<Union>?, Otherwise?>

默认情况下，选择 * all *

type DUnionProps = PickAll<MyDUnion>
/* {
  type: "anon" | "google";
  name: string | undefined;
  idToken: string | undefined;
} */
// ✅

关注特定的Key（+IDE提示和类型检查）

ctrl + space处于工作状态

type DUnionName = PickAll<MyDUnion, 'name'>
/* { 
  name: string | undefined
} */
// ✅

或Keys的并集

type DesiredProps = PickAll<
    MyDUnion | { fish: number },
    'type' | 'idToken' | 'fish'
>
/* {
    type: "anon" | "google" | undefined;
    idToken: string | undefined;
    fish: number | undefined;
} // ✅ */

陷阱

• 直接提取文本。

不要这样做：

type应为"anon"|"google"

type GoogleLike = PickAll<MyDUnion, 'type' | 'name'>

type g = GoogleLike['name' | 'type']
/* string | undefined 🥴 */

执行以下操作：

type GoogleLikeTypes = GoogleLike['type']
/* "anon" | "google" */
// ✅

type GoogleLikeNames = GoogleLike['name']
/* string | undefined */
// ✅ (weird, be mindful)