Typescript
的 any
和 unknow
类型很接近, void
、undefined
和 never
类型也很接近。本文分别介绍这几种类型的使用场景。
any 类型
any
就是任意类型。写代码时如果不确定属于什么类型,就可以将其定义为 any
类型。
any
类型属于动态类型,它支持和兼容所有的类型。
let anyValue:any;
anyValue = 10;
anyValue = 'kw';
anyValue = true;
anyValue = {};
anyValue();
anyValue.toUpperCase();
定义了一个 any
类型的变量,可以对其赋任何值,甚至当作函数调用,在编辑器中都不会报错。但是当代码执行,就会报错了:TypeError: anyValue is not a function。
这说明,any 作为动态类型,弱化了 TS 的类型能力,稍不注意就有可能出错。所以开发中尽量避免使用 any
。
TS 强化了 JS 的类型能力,对于一些初学者并不能很好的利用类型系统,于是可能遇到类型的问题就使用 any
类型。虽然代码不报错了,但也失去了类型的能力。所以人们也会把 Typescript
叫做 Anyscript
。
这其实一个辩证的问题。JS 之所以经久不衰就是由于其灵活的写法和兼容性,可以快速完成一个功能需求。而 TS 强化了类型能力之后,也就减弱了 JS 的灵活性,更适合在大型项目中使用。
unknown 类型
unkonw
类型是未知类型,它是 any
类型对应的安全类型,也就说它不保证类型,但能保证类型安全。
同样还是上面的代码,改为 unkonw
类型,可以发现编辑器开始报错了:
在使用 unkonw
类型时,需要对类型加以判断再去使用,从而保证类型的安全:
let anyValue:unknow;
anyValue = 10;
anyValue = 'kw';
anyValue = true;
anyValue = {};
if(typeof anyValue === 'function') {
anyValue();
}
if(typeof anyValue === 'string') {
anyValue.toString();
}
void
void
表示空类型,只用在函数返回值的类型中。当函数没有返回值时,其类型为 void
。
function log(message:string) {
console.log(message);
}
log
函数只打印内容,不返回任何内容,所以它的返回值的类型为 void
。TS 的类型推断可以正确推断出:
也可以显式写明返回的类型:
function log(message:string) :void {
console.log(message);
}
undefined
undefined
是原生 JS 中的一个类型,它的特殊之处就是它既是一个值,又是一个类型:
let a = undefined;
变量 a
的值是 undefined
,类型也是 undefined
。
按照以前学习的函数的知识,函数没有返回值的时候,默认的返回值为 undefined
。
那么为什么上面的 log
函数的返回值类型为 void
而不是 undefined
呢?
因为 void
表示的意思是空,即物理意义上的不存在,就没这个东西。而 undefined
表示的物理上存在,但存在的这个东西没有内容。所以 log
函数没有显式返回任何内容,也就是符合 void
,压根不存在。
function log(message:string) :undefined {
console.log(message);
return
}
never
先看一个例子,throwType
函数会抛出一个异常:
function throwType (code: number, message: string) {
throw {
code,
message
}
}
throwError(404, 'Not Found')
该函数执行,就会抛出异常,函数不能正常执行完,此时函数的返回值类型就是 never
,表示永远没有结果。
除了抛出异常,如果函数中存在 while
循环,也会导致函数不能完成执行,此时函数的返回值的类型也是 never
:
function whileLoop() {
while(true) {
console.log('whileLoop')
}
}
小结
本文介绍了 Typescript
的 any
类型和 unkonw
类型,它们都简化了在 TS 中对类型的使用,方便快速开发,相比于 any
,unkonw
类型更加安全。
然后介绍了 Typescript
的几个特殊的类型,void
,undefined
,never
,它们主要应用在几个特定的场景,比较容易区分。