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 = 'BNTang';
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>