TypeScript-infer关键字和TypeScript-unknown类型
原创TypeScript-infer关键字和TypeScript-unknown类型
原创
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>
最后
本期结束咱们下次再见?~
? 关注我不迷路，如果本篇文章对你有所帮助，或者你有什么疑问，欢迎在评论区留言，我一般看到都会回复的。大家点赞支持一下哟~ ?
原创声明：本文系作者授权腾讯云开发者社区发表，未经许可，不得转载。
如有侵权，请联系 cloudcommunity@tencent.com 删除。
原创声明：本文系作者授权腾讯云开发者社区发表，未经许可，不得转载。
如有侵权，请联系 cloudcommunity@tencent.com 删除。