Typescript 从接口与类型字段的联合中提取，其中类型字段是枚举联合

您的方法实际上是正确的，然而，问题出在Extract.更准确地说，问题出在Extract判断T是否扩展了另一个类型的方式上:

/**
 * Extract from T those types that are assignable to U
 */
type Extract<T, U> = T extends U ? T : never;

这种情况下的问题是，在这种情况下，T是与DataBarOrBaz的并集:

interface DataBarOrBaz {
  type: MessageType.BAR | MessageType.BAZ;
  name: string;
  age: number;
}

所以，当我们实际将MessageType.BAZ传递给emit时，我们得到这样的条件:

// false
type Case1 = MessageType.BAR | MessageType.BAZ extends MessageType.BAZ ? true : false

这显然是错误的，因为左边的部分没有右边的具体，这使得右边的条件是左边的subset%，因为它更具体.

因此，要解决该问题，我们应该扭转情况，以:

// true
type Case2 = MessageType.BAZ extends MessageType.BAR | MessageType.BAZ ? true : false

为了实现这一点，我们将使用mapped types来映射消息的每个版本，并使用key remapping来添加前面提到的条件.如果类型与条件匹配，那么我们将key设置为message.type，只是为了使映射的类型有效，因为我们只能在对象中使用string | number | symbol作为键，尽管我们实际上不需要键，只需要值.在值中，我们只需从消息中省略type:

type FindData<T extends MessageType> = {
  [K in Data as T extends K['type'] ? K['type'] : never]: Omit<K, 'type'>;
}

测试:

// type Result = {
//     BAR: Omit<DataBarOrBaz, "type">;
//     BAZ: Omit<DataBarOrBaz, "type">;
// }
type Result = FindData<MessageType.BAR>

这些值看起来不错，要提取它们，我们将使用here中描述的ValueOf:

type ValueOf<T> = T[keyof T];

type FindData<T extends MessageType> = ValueOf<{
  [K in Data as T extends K['type'] ? K['type'] : never]: Omit<K, 'type'>;
}>;

// type Result = {
//     name: string;
//     age: number;
// }
type Result = FindData<MessageType.BAR>;

用途:

function emit<T extends MessageType>(type: T, data: FindData<T>) {}

emit(MessageType.FOO, {
  payload: 'hello world',
});

emit(MessageType.BAR, {
  name: 'hello',
  age: 18,
});

emit(MessageType.BAZ, {
  name: 'hello',
  age: 18,
});

playground个