infer 关键字
条件类型提供了一个
infer关键字, 可以让我们在条件类型中定义新的类型
博主假设有这么一个需求: 定义一个类型, 如果传入的是数组, 就返回数组的元素类型, 如果传入的是普通类型, 则直接返回这个类型。
传入的是数组：
type MyType<T> = T extends any[] ? T[number] : T; type res = MyType<string[]>;
传入的是普通类型：
type MyType<T> = T extends any[] ? T[number] : T; type res = MyType<number>;
除了如上的实现方式以外，还可以利用 infer 关键字来实现。
传入的是数组：
type MyType<T> = T extends Array<infer U> ? U : T; type res = MyType<string[]>;
传入的是普通类型：
type MyType<T> = T extends Array<infer U> ? U : T; type res = MyType<number>;
unknown 类型
unknown 类型是
TS3.0中新增的一个顶级类型, 被称作安全的 any
任何类型都可以赋值给 unknown 类型：
let value: unknown; value = 123; value = "abc"; value = false;
如果没有类型断言或基于控制流的类型细化, 那么不能将 unknown 类型赋值给其它类型。
错误示例：
let value1: unknown = 123; let value2: number; value2 = value1;
正确示例：
let value1: unknown = 123; let value2: number; value2 = value1 as number;
或
let value1: unknown = 123; let value2: number; if (typeof value1 === 'number') { value2 = value1; }
如果没有类型断言或基于控制流的类型细化, 那么不能在 unknown 类型上进行任何操作。
错误示例：
let value1: unknown = 123; value1++;
正确示例：
let value1: unknown = 123; (value1 as number)++;
或
let value1: unknown = 123; if (typeof value1 === 'number') { value1++; }
只能对 unknown 类型进行 相等 或 不等 操作, 不能进行其它操作(因为其他操作没有意义)。
正确示例：
let value1: unknown = 123; let value2: unknown = 123; console.log(value1 === value2); console.log(value1 !== value2);
不能进行其它操作(因为其他操作没有意义), 虽然没有报错, 但是不推荐, 如果想报错提示, 可以打开严格模式("strict": true)：
let value1: unknown = 123; let value2: unknown = 123; console.log(value1 >= value2);
unknown 与其它任何类型组成的交叉类型最后都是其它类型：
type MyType = number & unknown;
type MyType = unknown & string;
unknown 除了与 any 以外, 与其它任何类型组成的联合类型最后都是 unknown 类型：
type MyType1 = unknown | any; type MyType2 = unknown | number; type MyType3 = unknown | string | boolean;
never 类型是 unknown 类型的子类型：
type MyType = never extends unknown ? true : false;
keyof unknown 等于 never：
type MyType = keyof unknown;
unknown 类型的值不能访问创建实例的属性, 方法：
class Person { name: string = 'yangbuyiya'; say(): void { console.log(`name = ${this.name}`); } } let p: unknown = new Person(); p.say(); console.log(p.name);
使用映射类型时, 如果遍历的是 unknown 类型, 那么不会映射任何属性：
type MyType<T> = { [P in keyof T]: any } type res = MyType<unknown>
最后
本期结束咱们下次再见👋~
🌊 关注我不迷路，如果本篇文章对你有所帮助，或者你有什么疑问，欢迎在评论区留言，我一般看到都会回复的。大家点赞支持一下哟~ 💗
