6

TypeScript 中类型 any，void，unknown，never之间的区别

 3 years ago
source link: https://knightyun.github.io/2021/04/03/js-ts-type-compare
Go to the source link to view the article. You can view the picture content, updated content and better typesetting reading experience. If the link is broken, please click the button below to view the snapshot at that time.
neoserver,ios ssh client

TypeScript 中类型 any，void，unknown，never之间的区别

TypeScript 拓展了 JavaScript 的基本类型与语言特性，为了覆盖类型检查的情景，衍生出了一些额外的类型，其中 any, unknown, void, never 这几个类型所适用的情形容易使人混淆，下面通过举例进行一下区分；

这应该是 typescript 中最开始就会接触到的类型，顾名思义：任意类型，这也是 ts 中不写类型申明时的默认类型，即不作任何约束，编译时会跳过对其的类型检查，

let val1: any;
val1 = 'abc';
val1 = 123;
val1 = true;

const arry: any[] = [123, 'abc', true, null];

void 表示无任何类型，正好与 any 相反，没有类型，如果是函数则应没有返回值或者返回 undefined，和 C 等语言中的无返回值函数申明类似：

function voidFn(): void {}
function voidFn1(): void { return undefined; }
function voidFn2(): void { return; }

function voidFn3(): void { return 1; } // Error

变量也可以申明为 void 类型，只不过只能给这个变量分配 undefined, null 和 void 类型的值（如果 ts 配置文件中设置了 "strictNullChecks": false，那么分配 null 类型的值也会报错）:

let val1: void;
let val2: null = null;
let val3: undefined = undefined;
let val4: void;

val1 = val2; // "strictNullChecks": false 时报错
val1 = val3;
val1 = val4;

unknown

顾名思义，unknown 表示未知类型，是 typescript 3.0 中引入的新类型，即写代码的时候还不清楚会得到怎样的数据类型，如服务器接口返回的数据，JSON.parse() 返回的结果等；该类型相当于 any，可以理解为官网指定的替代 any 类型的安全版本（因为不提倡直接使用 any 类型）；

它能被赋值为任何类型，但不能被赋值给除了 any 和 unknown 之外的其他类型，同时，不允许执行 unknown 类型变量的方法（any 可以），举个例子：

let uk: unknown = 'abc';

uk = 123;
uk = true;
uk.toString(); // Error

let valAny: any = 'abc';
valAny.toString(); // 'abc'

let uk1: unknown = uk;
let uk2: any = uk;
let uk2: string = uk; // Error

never

never 同样顾名思义，表示永不存在的值的类型，是 typescript 2.0 中引入的新类型，概念有点绕，什么情况下变量会永远不存在值呢？因为通常情况下，变量一旦申明了，就会被分配值，即使没有特别指定，也会被初始化为 undefined，同样一个函数即使有个写返回值，也会默认返回 undefined，也不是真正的不存在返回值：

let foo;
console.log(typeof foo); // 'undefined'

function bar() {};
console.log(typeof bar()); // 'undefined'

其实确实有一些情形，值会永不存在，比如，从程序运行的维度讲，如果一个函数执行时抛出了异常，那么这个函数变永远不会有值了（因为抛出异常会直接中断程序运行，这样程序就运行不到返回值那一步了，即具有不可达的终点，也就永不存在返回了）：

function err(msg: string): never {
    throw new Error(msg);
}

// 有机会到达终点的函数也算存在返回值，编译会报错
function err1(): never { // Error
  if (Math.random() > 0.5) {
     throw new Error('message');
  }
}

还有一种极端情况也比较类似，就是函数中执行无限循环的代码（死循环），这样也同样使得程序永远无法运行到函数返回值那一步，永不存在返回：

function loopForever(): never {
    while (true) {};
}

变量也可以直接申明为 never 类型，让它永不存在值，其实就是意思就是永远不能给它赋值，否则就会报错，这样就可以形成一种保护机制；

let ne: never;

ne = 123; // Error

另外，never 是所有类型的子类型，意思就是它可以赋值给任何类型（前提是配置里 "strictNullChecks": false，否则检查不通过）；

let num: number = 123;
let ne: never;

num = ne;

同时也没有任何类型是 never 的子类型，除了 never 自身，即除了 never 任何类型都不能赋值给 never 类型的变量（如果前提是 "strictNullChecks": true，never 也不能赋值给 never）；

let ne1: never;
let ne2: never;

ne1 = ne2;

// any 也不能分配给 never
let any1: any = 123;
ne1 = any1; // Error

report

Recommend

About Joyk


Aggregate valuable and interesting links.
Joyk means Joy of geeK