我们知道 any
类型的变量可以被赋给任何值。
let myVar: any = 0; myVar = '1'; myVar = false;
TypeScript 指南并不鼓励使用 any
,因为使用它就会丢掉类型限制--而需要类型限制也是我们选择 TypeScript 的一个原因,所以就是有点背道而驰。
TypeScript(3.0 及以上版本)还提供了一种类似于 any
的特殊类型 unkNown
。 我们也可以为 unkNown
类型变量分配任何值:
let myVar: unkNown = 0; myVar = '1'; myVar = false;
那现在就有一个问题了, any
和 unkNown
有啥区别?
1. unkNown vs any
为了更好地理解 unkNown
和 any
之间的区别,我们先从编写一个想要调用其唯一参数的函数开始。
我们将 invokeAnything()
的唯一参数设置为 any
类型
function invokeAnything(callback: any) { callback(); } invokeAnything(1); // throws TypeError: callback is not a function
因为 callback
参数是任何类型的,所以语句 callback()
不会触发类型错误。我们可以用any
类型的变量做任何事情。
但是运行会抛出一个运行时错误:TypeError: callback is not a function
。1
是一个数字,不能作为函数调用,TypeScript并没有保护代码避免这个错误
那既允许 invokeAnything()
函数接受任何类型的参数,又要强制对该参数进行类型检查防止上面这种报错,要怎么做呢?
有请 unkNown
大哥来控场。
与 any
一样,unkNown
变量接受任何值。但是当尝试使用 unkNown
变量时,TypeScript 会强制执行类型检查。这不就是我们想要的嘛。
function invokeAnything(callback: unkNown) { callback(); // Object is of type 'unkNown' } invokeAnything(1);
因为 callback
参数的类型是 unkNown
,所以语句 callback()
有一个类型错误 :Object is of type 'unkNown'
。 与 any
相反,TypeScript会保护我们不调用可能不是函数的东西。
在使用一个 unkNown
类型的变量之前,你需要进行类型检查。在这个例子中,我们只需要检查callback
是否是一个函数类型。
function invokeAnything(callback: unkNown) { if (typeof callback === 'function') { callback(); } } invokeAnything(1);
2. unkNown 和 any 的心智模式
说实话,当我学习的时候,我很难理解 unkNown
。它与 any
有什么不同,因为这两种类型都接受任何值
下面是帮助我理解两者区别的规则:
上面的例子正好说明了 unkNown
和 `any 之间的相似和不同。
unkNown
示例:
function invokeAnything(callback: unkNown) { // 可以将任何东西赋给 `unkNown` 类型, // 但在进行类型检查或类型断言之前,不能对 `unkNown` 进行操作 if (typeof callback === 'function') { callback(); } } invokeAnything(1); // You can assign anything to `unkNown` type
类型检查 typeof callback === 'function'
,检查 callback
是否为函数,如果是,则可以调用。
any
示例:
function invokeAnything(callback: any) { // 可以对 `any` 类型执行任何操作 callback(); } invokeAnything(1); // 可以把任何东西分配给`any`类型
如果 callback
是 any
, TypeScript 就不会强制 callback()
语句进行任何类型检查。
3.总结
unkNown
和 any
是2个特殊的类型,可以容纳任何值。
推荐使用 unkNown
而不是 any
,因为它提供了更安全的类型--如果想对 unkNown
进行操作,必须使用类型断言或缩小到一个特定的类型。
更多编程相关知识,请访问:编程视频!!