如何实现类型安全的TypeScript联合类型成员下一个成员获取函数？

核心原因：泛型约束的"宽泛性" vs 联合类型的"分发"逻辑 #

你之前用的泛型约束B extends ValidBaseAndNextInterface，这里的ValidBaseAndNextInterface是联合类型（比如{base: IA; next: IB} | {base: IB; next: IC} | {base: IC; IA}这类）。当把泛型参数B约束为这个联合类型时，TypeScript的类型推断不会自动把B收窄到联合类型的单个成员——因为泛型约束只是限定了B的取值范围是整个联合，而非强制它匹配其中某一项。

举个具体例子：假设ValidBaseAndNextInterface是{base: IA; next: IB} | {base: IB; next: IC}，当你传入IA类型的参数时，TypeScript会尝试匹配B，但它不会自动锁定到{base: IA; next: IB}这一项，而是认为B可以是整个联合类型，导致返回值类型无法正确收窄到IB。

为什么Extract能解决问题？ #

Extract<ValidBaseAndNextInterface, {base: T}>的作用是从联合类型里精确提取出满足{base: T}的单个成员。当你传入具体的T（比如IA）时，TypeScript会遍历联合类型的每一项，只保留那些base属性与T完全匹配的项，这样就得到了精确的单个类型，自然能正确推断出next的类型。

保留原签名的写法示例（符合你的要求） #

假设你的基础接口和映射类型是这样的：

interface IA { type: 'A' }
interface IB { type: 'B' }
interface IC { type: 'C' }

type ValidBaseAndNextInterface = 
  | { base: IA; next: IB }
  | { base: IB; next: IC }
  | { base: IC; next: IA };

// 不修改运行时签名的类型安全实现
function getNextInterfaceBack<T extends IA | IB | IC>(base: T): Extract<ValidBaseAndNextInterface, { base: T }>['next'] {
  // 你的原有运行时逻辑，比如：
  switch(base.type) {
    case 'A': return { type: 'B' } as IB;
    case 'B': return { type: 'C' } as IC;
    case 'C': return { type: 'A' } as IA;
  }
}

这个写法里，函数的运行时签名(base: T) => ...完全没改，接口实现也不需要调整，但通过Extract精准提取了对应的联合成员，实现了正确的类型推断。

补充说明 #

泛型约束B extends ValidBaseAndNextInterface之所以失效，是因为TypeScript的泛型推断在面对联合类型约束时，只会把B推断为整个联合，而不会进行"分发"——除非你用分布式条件类型或者像Extract这样的工具类型主动去筛选。Extract本质就是利用了分布式条件类型的特性，遍历联合类型的每一项并筛选出符合条件的成员，这才实现了类型的精准收窄。

内容的提问来源于stack exchange，提问作者Daniel Kaplan