TypeScript的never类型的妙用

never类型介绍

在 TypeScript 中,"never" 是一个表示永远不会发生的值类型。

使用场景

"never" 类型通常用于以下几种情况:

1、函数返回类型:当一个函数永远不会返回任何值(比如抛出异常或者无限循环),可以将其返回类型标注为 "never"。

TypeScript 复制代码
function throwError(message: string): never {
    throw new Error(message);
}

2、死循环:如果一个函数包含无限循环,可以使用 "never" 类型来标记它的返回类型。

TypeScript 复制代码
function infiniteLoop(): never {
    while (true) {
    }
}

3、类型保护:在类型检查中,"never" 类型可以用于细化其他类型。例如,当使用类型保护时,可以使用 "never" 排除某些可能性。

TypeScript 复制代码
type Method = 'GET' | 'POST';
function request(url: string, method: Method) {
    if (method === 'GET'){
        method;
    }
    else if (method === 'POST'){
        method;
    }
    else {
        const n: never = method;
    }
}

假如后来有一天你修改了 Method 的类型:

TypeScript 复制代码
type Method = 'GET' | 'POST' | 'PUT';

然而你忘记同时修改 request 方法中的控制流程,这时候 else 分支的 method 类型就会产生一个编译错误。

然后我们仅添加一个else if分支就可以解决该编译错误

TypeScript 复制代码
type Method = 'GET' | 'POST' | 'PUT';
function request(url: string, method: Method) {
    if (method === 'GET'){
        method;
    }
    else if (method === 'POST'){
        method;
    }
    else if (method === 'PUT'){
        method;
    }
    else {
        const n: never = method;
    }
}

通过这个方式,我们可以得出一个结论:使用 never 避免出现新增了联合类型没有对应的实现,目的就是写出类型绝对安全的代码。

与 void 的差异

在 TypeScript 中,void 和 never 之间的区别如下:

  • void:表示没有任何类型。通常用于标识函数没有返回值或一个表达式的值为 undefined 或 null。void 类型在非严格模式下允许被赋值为 null 或 undefined。
  • never:表示永远不存在的值的类型。通常用于表示函数永不返回(比如抛出异常)或一个表达式永远不会有结果。never 类型不能被赋值为任何类型,除了 never 本身。

综上所述,void 表示没有任何类型,可以包括 undefined 或 null,而 never 表示永远不存在的值,通常表示函数永不返回或某些异常情况。

相关推荐
烛阴14 分钟前
TypeScript 中的 `&` 运算符:从入门、踩坑到最佳实践
前端·javascript·typescript
Java 码农1 小时前
nodejs koa留言板案例开发
前端·javascript·npm·node.js
ZhuAiQuan1 小时前
[electron]开发环境驱动识别失败
前端·javascript·electron
nyf_unknown2 小时前
(vue)将dify和ragflow页面嵌入到vue3项目
前端·javascript·vue.js
胡gh2 小时前
浏览器:我要用缓存!服务器:你缓存过期了!怎么把数据挽留住,这是个问题。
前端·面试·node.js
你挚爱的强哥2 小时前
SCSS上传图片占位区域样式
前端·css·scss
奶球不是球2 小时前
css新特性
前端·css
Nicholas682 小时前
flutter滚动视图之Viewport、RenderViewport源码解析(六)
前端
无羡仙2 小时前
React 状态更新:如何避免为嵌套数据写一长串 ...?
前端·react.js
TimelessHaze3 小时前
🔥 一文掌握 JavaScript 数组方法(2025 全面指南):分类解析 × 业务场景 × 易错点
前端·javascript·trae