TypeScript 如何实现条件类型？

Question

仓乃文 · Accepted Answer

条件类型（Conditional Types）根据类型关系选择类型，语法类似三元表达式：T extends U ? X : Y。配合 infer 关键字可以推断类型的一部分。基础语法： ```typescript type IsString = T extends string ? "yes" : "no"; type A = IsString; // "yes" type B = IsString; // "no" ``` 实际应用 - 获取函数返回类型： ```typescript type MyReturnType = T extends (...args: any[]) => infer R ? R : never; function getUser() { return { id: 1, name: "张三" }; } type UserType = MyReturnType; // { id: number; name: string } ``` 分发式条件类型： ```typescript type ToArray = T extends any ? T[] : never; type Multi = ToArray; // string[] | number[]，会分发 // 非分发形式（用元组包裹） type ToArrayNoDistribute = [T] extends [any] ? T[] : never; type Multi2 = ToArrayNoDistribute; // (string | number)[] ``` 补充说明： - extends 在类型位置表示「能否赋值给」，不是 ES6 的继承 - infer 用于推断类型，只能在条件类型的 extends 分支中使用 - 联合类型会触发分发，每个成员分别计算后合并 - 常用内置类型如 ReturnType、Parameters 都是条件类型的应用