不理解到理解系列

[astak16]

as 的用法

在映射时经常会用到 as 关键词，像下面代码一样

type MappedKey<T> = {
  [K in keyof T as K extends xxx ? never : K]: T[K];
};

一开始理解的是 as 左边要满足右边的条件，

其实不是的，这里 as 后面的语句使用来做筛选的

遍历时得到的 K 需要做一些特殊的处理时，比如给 K 加上前缀或后缀，筛选符合某种条件的 K，用 as 连接条件语句

as 是 typescript 4.1 功能，文档链接： Key Remapping in Mapped Type

[astak16]

-? 和 +? 用法

• -?将可选项去掉，让这个属性变成必选项
• +?增加可选项，让这个属性变成可选项

type MapToNever<T> = {
  [K in keyof T]-?: never;
};

[astak16]

语法糖：交叉类型做约束

利用交叉类型的特性可以做类型约束

type A = "name" & string;  // "name"
type B = 1 & string; // never

比如说要对 K 进行约束，是字符串才能使用 Capitalize 方法

使用 extends 关键词进行条件判断，是比较常见的方法，如下：

type A = 1;
type B = { [K in A as K extends string ? Capitalize<K> : never]: K };

交叉类型也是可以用来做约束的，如下：

type C = { [K in A & string as Capitalize<K>]: K };

也可以写成：

type C = { [K in A as Capitalize<K & string>]: K };

[astak16]

typeof 的用法

typeof 是用来判断类型的， type b 的结果为什么是 string[]，因为 a 的类型是 string[]， type c 的类型也就好理解了，因为 tuple 是常量数组。

const a = ["macOS", "Windows", "Linux"];
type b = typeof a; // string[]

const tuple = ["macOS", "Windows", "Linux"] as const;
type c = typeof tuple; // readonly ["macOS", "Windows", "Linux"]

[astak16]

递归中 false 分支最终会反应到 true 分支中

type Flatten<T> = T extends []
  ? []
  : T extends [infer F, ...infer Rest]
  ? [...Flatten<F>, ...Flatten<Rest>]
  : [T];

最终的结果是由：[...[...[...[T]]]] 组成