【类型挑战】If，难度⭐️

知识运用：

1. 要求限制输入为指定类型时需要考虑到使用泛型进行约束；
2. 当需要进行类型选择判断的使用考虑使用条件类型；

题目分析：

题目地址：268-easy-if 如上图所示我们需要实现一个通用的类型工具，来实现if条件判断，当传入的第一个参数的结果为真则返回第二个参数的类型，反之返回第三个参数的类型

题目解答：

测试用例：

1. 当输入第一个参数为真，则返回第二个参数类型‘a’；
2. 当输入第一个参数为假，则返回第三个参数类型2；
3. 当输入第一个参数类型非Boolean，则抛出错误。

/* _____________ 测试用例 _____________ */
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. 首要保证我们输入的参数C的类型为boolean，这里使用泛型约束；
2. T，F为任意类型，这个不做过多要求；
3. 接下来提到判断就需要想到条件类型，关键词为extends，语法示例： T extends xxx ？ 1 ：2； ，当C extends true满足真的条件下返回类型T，反之返回类型F。

/* _____________ 答案 _____________ */
type If<C extends boolean, T, F> = C extends true ? T : F;
复制代码

去演练场验证答案