条件类型提供了一个
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 类型是
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 删除。