TypeScript挑战（七） - If

发表于 分类于 阅读次数：

学习记录 - If

题目

实现一个utils If，它接受条件C，True返回类型T，以及False返回类型F。 C可以是True或False，而T和F可以是任何类型。

比如

1
2
type A = If<true, 'a', 'b'>  // expected to be 'a'
type B = If<false, 'a', 'b'> // expected to be 'b'

测试用例

1
2
3
4
5
6
7
8
9
import { Equal, Expect } from '@type-challenges/utils'

type cases = [
  Expect<Equal<If<true, 'a', 'b'>, 'a'>>,
  Expect<Equal<If<false, 'a', 2>, 2>>,
]

// @ts-expect-error
type error = If<null, 'a', 'b'>

答案

1
type If<C, T, F> = C extends true ? T : F