Typescript - void 类型（详细入门教程）

前言

由于 any / unknown 类型几乎 “相似” ，所以可以直接一起学习。

在 Typescript 中，当我们不确定一个类型是什么类型的，可以选择给其声明为 any 或者 unkown。

本文会介绍这两种类型的介绍及其示例用法，最后谈一下二者的区别。

any 类型

在 TypeScript 中，任何类型都可以被归为 any 类型，因为它可以被赋予任何值。

这让 any 类型成为了类型系统的顶级类型（也被称作全局超级类型），如下代码所示：

letnotSure:any=666;notSure="王佳斌";notSure=false;

TypeScript 允许我们对 any 类型的值执行任何操作，而无需事先执行任何形式的检查，如下代码所示：

letvalue:any;value.foo.bar;// OKvalue.trim();// OKvalue();// OKnewvalue();// OKvalue[0][1];// OK

在许多场景下，这太宽松了。使用 any 类型，可以很容易地编写类型正确但在运行时有问题的代码。

如果您使用 any 类型，就无法使用 TypeScript 提供的大量的保护机制。

unknown 类型

为了解决 any 带来的问题，TypeScript 3.0 引入了 unknown 类型。

就像所有类型都可以赋值给 any，所有类型也都可以赋值给 unknown。

这使得 unknown 成为 TypeScript 类型系统的另一种顶级类型（另一种是前面的 any），如下代码所示：

letvalue:unknown;value=true;// OKvalue=42;// OKvalue="Hello World";// OKvalue=[];// OKvalue={};// OKvalue=Math.random;// OKvalue=null;// OKvalue=undefined;// OKvalue=newTypeError();// OKvalue=Symbol("type");// OK

对 value 变量的所有赋值都被认为是类型正确的。

但是，当我们尝试将类型为 unknown 的值赋值给其他类型的变量时会发生什么？

letvalue:unknown;letvalue1:unknown=value;// OKletvalue2:any=value;// OKletvalue3:boolean=value;// Errorletvalue4:number=value;// Errorletvalue5:string=value;// Errorletvalue6:object=value;// Errorletvalue7:any[]=value;// Errorletvalue8:Function=value;// Error

unknown 类型只能被赋值给 any 类型和 unknown 类型本身。直观地说，这是有道理的：只有能够保存任意类型值的容器才能保存 unknown 类型的值。毕竟我们不知道变量 value 中存储了什么类型的值。

现在让我们看看当我们尝试对类型为 unknown 的值执行操作时会发生什么。以下是我们在之前 any 看过的相同操作：

letvalue:unknown;value.foo.bar;// Errorvalue.trim();// Errorvalue();// Errornewvalue();// Errorvalue[0][1];// Error

将 value 变量类型设置为 unknown 后，这些操作都不再被认为是类型正确的。通过将 any 类型改变为 unknown 类型，我们已将允许所有更改的默认设置，更改为禁止任何更改。

二者区别

其实很明显，可以用以下表格表示。