TypeScript中条件类型精读与实践记录 TypeScript中条件类型精读与实践

在泛型类型中使用条件类型

工具类型
逃离舱

在箭头函数中使用条件类型

结合类型推导使用条件类型

使用条件类型来判断两个类型完全相等

总结

在大多数程序中，我们必须根据输入做出决策。TypeScript 也不例外，使用条件类型可以描述输入类型与输出类型之间的关系。
用于条件判断时的 extends 当 extends 用于表示条件判断时，可以总结出以下规律
若位于 extends 两侧的类型相同，则 extends 在语义上可理解为 ===，可以参考如下例子:

type result1 = 'a' extends 'abc' ? true : false // falsetype result2 = 123 extends 1 ? true : false// false

若位于 extends 右侧的类型包含位于 extends 左侧的类型(即狭窄类型 extends 宽泛类型)时，结果为 true，反之为 false。可以参考如下例子:

type result3 = string extends string | number ? true : false // true

当 extends 作用于对象时，若在对象中指定的 key 越多，则其类型定义的范围越狭窄。可以参考如下例子:

type result4 = { a: true, b: false } extends { a: true } ? true : false // true

在泛型类型中使用条件类型
考虑如下 Demo 类型定义:

type Demo = T extends U ? never : T

结合用于条件判断时的 extends，可知 'a' | 'b' | 'c' extends 'a' 是 false, 因此 Demo<'a' | 'b' | 'c', 'a'> 结果是 'a' | 'b' | 'c' 么?
查阅官网，其中有提到:

When conditional types act on a generic type, they become distributive when given a union type.

即当条件类型作用于泛型类型时，联合类型会被拆分使用。即 Demo<'a' | 'b' | 'c', 'a'> 会被拆分为 'a' extends 'a'、'b' extends 'a'、'c' extends 'a'。用伪代码表示类似于:

function Demo(T, U) {return T.map(val => {if (val !== U) return valreturn 'never'})}Demo(['a', 'b', 'c'], 'a') // ['never', 'b', 'c']

type T = Demo<'a' | 'b' | 'c', 'a'> // T: 'b' | 'c'

基于 Demo 类型定义，进一步地还可以实现官方工具类型中的 Omit，其用于移除对象 Type
中满足 keys 类型的属性值。

type Omit = {[P in Demo]: Type}interface Todo {title: string; description: string; completed: boolean; }type T = Omit // T: { title: string; completed: boolean }

逃离舱

如果想让 Demo<'a' | 'b' | 'c', 'a'> 的结果为 'a' | 'b' | 'c' 是否可以实现呢? 根据官网描述:

Typically, distributivity is the desired behavior. To avoid that behavior, you can surround each side of the extends keyword with square brackets.

如果不想遍历泛型中的每一个类型，可以用方括号将泛型给括起来以表示使用该泛型的整体部分。
type Demo = [T] extends [U] ? never : T

type Demo = [T] extends [U] ? never : T// result 此时类型为 'a' | 'b' | 'c'type result = Demo<'a' | 'b' | 'c', 'a'>

在箭头函数中使用条件类型
在箭头函数中使用三元表达式时，从左向右的阅读习惯导致函数内容区若不加括号则会让使用方感到困惑。比如下方代码中 x 是函数类型还是布尔类型呢？

// The intent is not clear.var x = a => 1 ? true : false

在 eslint 规则 no-confusing-arrow 中，推荐如下写法：

var x = a => (1 ? true : false)

在 TypeScript 的类型定义中，若在箭头函数中使用 extends 也是同理，由于从左向右的阅读习惯，也会导致阅读者对类型代码的执行顺序感到困惑。

type Curry =(arg: Head) => HasTail extends true ? Curry : R

因此在箭头函数中使用 extends 建议加上括号，对于进行 code review 有很大的帮助。

type Curry =(arg: Head) => (HasTail extends true ? Curry : R)

结合类型推导使用条件类型
在 TypeScript 中，一般会结合 extends 来使用类型推导 infer 语法。使用它可以实现自动推导类型的目的。比如用其来实现工具类型 ReturnType ，该工具类型用于返回函数 Type 的返回类型。
type ReturnType = T extends (...args: any) => infer U ? U : never