Typescript any、unknown、 void、undefined 和 never 类型

简介: 本文介绍了 Typescript 的 `any` 类型和 `unkonw` 类型,它们都简化了在 TS 中对类型的使用,方便快速开发,相比于 `any`,`unkonw` 类型更加安全。然后介绍了 Typescript 的几个特殊的类型,`void`,`undefined`,`never`,它们主要应用在几个特定的场景,比较容易区分。

Typescriptanyunknow 类型很接近, voidundefinednever 类型也很接近。本文分别介绍这几种类型的使用场景。

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 的类型推断可以正确推断出:

image-20220910234536146

也可以显式写明返回的类型:

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')
    }
} 

小结

本文介绍了 Typescriptany 类型和 unkonw 类型,它们都简化了在 TS 中对类型的使用,方便快速开发,相比于 anyunkonw 类型更加安全。

然后介绍了 Typescript 的几个特殊的类型,voidundefinednever,它们主要应用在几个特定的场景,比较容易区分。

目录
相关文章
|
4月前
|
JavaScript 前端开发
揭秘 TypeScript 条件类型:超越简单类型检查
揭秘 TypeScript 条件类型:超越简单类型检查
|
4月前
|
JavaScript 安全 索引
TypeScript 高级类型工具:Partial, Required, Record 的妙用与陷阱
TypeScript 高级类型工具:Partial, Required, Record 的妙用与陷阱
|
4月前
|
JavaScript 安全 IDE
TypeScript 类型体操:别让 `any` 毁了你的安全网!
TypeScript 类型体操:别让 `any` 毁了你的安全网!
|
4月前
|
JavaScript 安全 编译器
TypeScript 类型守卫:让你的类型系统更智能
TypeScript 类型守卫:让你的类型系统更智能
|
9月前
|
存储 安全 JavaScript
TypeScript-内置应用程序类型-Recode
通过使用 `Record` 类型,开发者可以显著提升代码的安全性和可维护性。无论是配置对象、字典结构还是动态表单,`Record` 类型都提供了一个简洁、类型安全的解决方案。
403 82
|
前端开发 小程序 JavaScript
微信小程序-Unhandled promise rejection TypeError: Cannot read property ‘get‘ of undefined
微信小程序-Unhandled promise rejection TypeError: Cannot read property ‘get‘ of undefined
|
存储 JavaScript 前端开发
成功解决:Cannot read properties of undefined (reading ‘commit‘)
这篇文章提供了解决Vuex中"Cannot read properties of undefined (reading 'commit')"错误的两种方法:检查模板中的数据属性是否存在,以及确保在Vue实例中正确挂载了store对象。
成功解决:Cannot read properties of undefined (reading ‘commit‘)
|
定位技术 Apache
Echarts——Invalid geoJson format Cannot read property 'length' of undefined
Echarts——Invalid geoJson format Cannot read property 'length' of undefined
235 0
|
JavaScript
VUE——filemanager-webpack-plugin报错TypeError: Cannot read property 'isFile' of undefined
VUE——filemanager-webpack-plugin报错TypeError: Cannot read property 'isFile' of undefined
328 0
|
前端开发 JavaScript
VUE——Uncaught (in promise) TypeError: Cannot read property '__esModule' of undefined
VUE——Uncaught (in promise) TypeError: Cannot read property '__esModule' of undefined
391 0