TypeScript-unknown类型

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>