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

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

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

---

知识运用：

1. Exclude将从联合类型中排除特点的类型后输出剩余联合类型
2. 条件类型运用
3. 分布式条件类型运用

题目分析：

题目地址：43-easy-exclude 如上图所示我们需要设计一个与内置Exclude功能一致的类型工具，从已知的联合类型中排除指定类型后将剩余类型返回。

题目解答：

测试用例：

/* _____________ 测试用例 _____________ */
import { Equal, Expect } from '@type-challenges/utils'

type cases = [
    Expect<Equal<MyExclude<"a" | "b" | "c", "a">, Exclude<"a" | "b" | "c", "a">>>,
    Expect<Equal<MyExclude<"a" | "b" | "c", "a" | "b">, Exclude<"a" | "b" | "c", "a" | "b">>>,
    Expect<Equal<MyExclude<string | number | (() => void), Function>, Exclude<string | number | (() => void), Function>>>,
]

答案与解析：

1. 我们需要从一组联合类型中得到排除后的类型，考虑到有条件的存在那我们就需要使用到Ts类型编程关于条件的处理（Conditional Types）
   1. 语法示例：SomeType extends OtherType ? TrueType : FalseType;
   2. 解释说明：当SomeType类型可以分配给OtherType时得到TrueType，反之得到FalseType，这里注意关键动词为分配，区别于原来条件的理解。
2. 这道题运用到了条件类型中的分布式条件类型，使得可以支持联合类型，如文档示例，可以将我们传入的联合类型分别处理成对应的数组类型并联合后返回给我们
   1. type ToArray = Type extends any ? Type[] : never;
   2. type StrArrOrNumArr = ToArray<string | number>;
3. 当我们的T中的联合类型可以分配个需要排除的类型U的情况下就直接返回never，表示永不可达，反之则返回类型。

/* _____________ 答案 _____________ */
type MyExclude<T, U> = T extends U ? never : T;

去演练场验证答案

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

---

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