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

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

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

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

小结

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

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

目录
相关文章
|
JavaScript 前端开发
揭秘 TypeScript 条件类型:超越简单类型检查
揭秘 TypeScript 条件类型:超越简单类型检查
|
JavaScript 安全 索引
TypeScript 高级类型工具:Partial, Required, Record 的妙用与陷阱
TypeScript 高级类型工具:Partial, Required, Record 的妙用与陷阱
|
JavaScript 安全 IDE
TypeScript 类型体操:别让 `any` 毁了你的安全网!
TypeScript 类型体操:别让 `any` 毁了你的安全网!
|
存储 安全 JavaScript
TypeScript-内置应用程序类型-Recode
通过使用 `Record` 类型,开发者可以显著提升代码的安全性和可维护性。无论是配置对象、字典结构还是动态表单,`Record` 类型都提供了一个简洁、类型安全的解决方案。
667 82
|
JavaScript 安全 编译器
TypeScript 类型守卫:让你的类型系统更智能
TypeScript 类型守卫:让你的类型系统更智能
|
JavaScript 前端开发 安全
深入理解TypeScript:增强JavaScript的类型安全性
【10月更文挑战第8天】深入理解TypeScript:增强JavaScript的类型安全性
581 0
|
JavaScript 前端开发 开发者
深入理解TypeScript:类型系统与实用技巧
【10月更文挑战第8天】深入理解TypeScript:类型系统与实用技巧
|
存储 JavaScript
typeScript进阶(11)_元组类型
本文介绍了TypeScript中的元组(Tuple)类型,它是一种特殊的数组类型,可以存储不同类型的元素。文章通过示例展示了如何声明元组类型以及如何给元组赋值。元组类型在定义时需要指定数组中每一项的类型,且在赋值时必须满足这些类型约束。此外,还探讨了如何给元组类型添加额外的元素,这些元素必须符合元组类型中定义的类型联合。
311 0
|
JavaScript 前端开发 安全
使用 TypeScript 加强 React 组件的类型安全
【10月更文挑战第1天】使用 TypeScript 加强 React 组件的类型安全
455 106
|
设计模式 JavaScript 安全
TypeScript性能优化及代码质量提升的重要性、方法与策略,包括合理使用类型注解、减少类型断言、优化模块导入导出、遵循编码规范、加强代码注释等
本文深入探讨了TypeScript性能优化及代码质量提升的重要性、方法与策略,包括合理使用类型注解、减少类型断言、优化模块导入导出、遵循编码规范、加强代码注释等,旨在帮助开发者在保证代码质量的同时,实现高效的性能优化,提升用户体验和项目稳定性。
647 6

热门文章

最新文章