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

目录
相关文章
|
25天前
|
JavaScript 前端开发 Java
TypeScript 类型兼容性
TypeScript 类型兼容性
|
9天前
|
JavaScript 前端开发 IDE
TypeScript中的声明文件(.d.ts):扩展类型系统
TypeScript的`.d.ts`声明文件为JS库提供类型信息,增强IDE支持,如自动完成和类型检查。通过声明合并,可在全局作用域定义类型。示例包括为`my-library`创建声明模块,导出函数和接口。声明文件通常存于`@types`或指定`typeRoots`。用于旧JS代码的类型注解,如`myGlobalObject`。学习更多,参阅TypeScript官方文档。分享你的TS声明文件经验!
|
21天前
|
JavaScript 前端开发 安全
TypeScript:静态类型的动态语言
【6月更文挑战第9天】TypeScript是JavaScript的静态类型超集,解决JS类型安全问题,提供更强的代码组织和维护。它引入静态类型、接口和类,增强类型安全,减少运行时错误。TS与JS无缝集成,兼容现有库和框架,拥有丰富的开发工具和活跃社区。广泛应用在各种规模项目中,尤其提升复杂前端应用的代码质量。学习TypeScript对提升开发效率和代码可靠性极具价值。
27 10
|
19天前
|
前端开发 JavaScript 安全
TypeScript作为一种静态类型的JavaScript超集,其强大的类型系统和面向对象编程特性为微前端架构的实现提供了有力的支持
【6月更文挑战第11天】微前端架构借助TypeScript提升开发效率和代码可靠性。 TypeScript提供类型安全,防止微前端间通信出错;智能提示和自动补全加速跨代码库开发;重构支持简化代码更新。通过定义公共接口确保一致性,用TypeScript编写微前端以保证质量。集成到构建流程确保顺利构建打包。在微前端场景中,TypeScript是强有力的语言选择。
30 2
|
2天前
|
JavaScript 安全 开发者
Vue3 中更好地利用 TypeScript 的类型系统来提高代码质量
Vue3 中更好地利用 TypeScript 的类型系统来提高代码质量
|
5天前
|
JavaScript 安全
TypeScript类型(数字、字符串、字面量、数组、元组、枚举、对象等)
TypeScript类型(数字、字符串、字面量、数组、元组、枚举、对象等)
5 0
|
5天前
|
JavaScript
TypeScript类型申明
TypeScript类型申明
6 0
|
25天前
|
JavaScript 前端开发
typescript 混合类型
typescript 混合类型
|
25天前
|
JavaScript
TypeScript 泛型类型
TypeScript 泛型类型
|
27天前
|
JavaScript
23.【TypeScript 教程】条件类型
23.【TypeScript 教程】条件类型
12 2