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,它们主要应用在几个特定的场景,比较容易区分。

目录
相关文章
|
1月前
|
前端开发 JavaScript 安全
TypeScript在React Hooks中的应用:提升React开发的类型安全与可维护性
【7月更文挑战第17天】TypeScript在React Hooks中的应用极大地提升了React应用的类型安全性和可维护性。通过为状态、依赖项和自定义Hooks指定明确的类型,开发者可以编写更加健壮、易于理解和维护的代码。随着React和TypeScript的不断发展,结合两者的优势将成为构建现代Web应用的标准做法。
|
8天前
|
JavaScript
TypeScript——不能将类型“HTMLElement | null”分配给类型“HTMLElement”
TypeScript——不能将类型“HTMLElement | null”分配给类型“HTMLElement”
19 4
|
12天前
|
JavaScript 编译器
typescript 解决变量多类型访问属性报错--工作随记
typescript 解决变量多类型访问属性报错--工作随记
|
7天前
|
JavaScript
TypeScript——Record类型
TypeScript——Record类型
15 0
|
12天前
|
JavaScript 前端开发 编译器
Typescript 回调函数、事件侦听的类型定义与注释--拾人牙慧
Typescript 回调函数、事件侦听的类型定义与注释--拾人牙慧
|
1月前
|
JavaScript 开发者 索引
TypeScript接口与类型别名:深入解析与应用实践
【7月更文挑战第10天】TypeScript的接口和类型别名是定义类型的关键工具。接口描述对象结构,用于类、对象和函数参数的形状约束,支持可选、只读属性及继承。类型别名则为复杂类型提供新名称,便于重用和简化。接口适合面向对象场景,类型别名在类型重用和复杂类型简化时更有优势。选择时要考虑场景和灵活性。
|
1月前
|
JavaScript 前端开发 程序员
Typescript 【实用教程】(2024最新版)含类型声明,类型断言,函数,接口,泛型等
Typescript 【实用教程】(2024最新版)含类型声明,类型断言,函数,接口,泛型等
37 0
|
4天前
|
存储 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‘)
|
8天前
|
定位技术 Apache
Echarts——Invalid geoJson format Cannot read property 'length' of undefined
Echarts——Invalid geoJson format Cannot read property 'length' of undefined
18 0
|
8天前
|
JavaScript
VUE——filemanager-webpack-plugin报错TypeError: Cannot read property 'isFile' of undefined
VUE——filemanager-webpack-plugin报错TypeError: Cannot read property 'isFile' of undefined
16 0