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

一起养成写作习惯！这是我参与「掘金日新计划 · 4 月更文挑战」的第8天，点击查看活动详情。

Dear，大家好，我是“前端小鑫同学”，😇长期从事前端开发，安卓开发，热衷技术，在编程路上越走越远～

---

知识运用：

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;

去演练场验证答案

接下来的一题是：【类型挑战】Concat，难度⭐️

---

欢迎关注我的公众号“前端小鑫同学”，原创技术文章第一时间推送。