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 表示永远不存在的值,通常表示函数永不返回或某些异常情况。

相关推荐
reembarkation13 小时前
使用pdfjs-dist 预览pdf,并添加文本层的实现
前端·javascript·pdf
KenXu13 小时前
F2C-PTD工具将需求快速转换为代码实践
前端
给月亮点灯|14 小时前
Vue3基础知识-setup()、ref()和reactive()
前端·javascript·vue.js
芜青14 小时前
【Vue2手录12】单文件组件SFC
前端·javascript·vue.js
冷冷的菜哥14 小时前
react实现无缝轮播组件
前端·react.js·typescript·前端框架·无缝轮播
hrrrrb14 小时前
【Python】字符串
java·前端·python
阿笑带你学前端14 小时前
Supabase云同步架构:Flutter应用的数据同步策略
前端
梦想CAD控件14 小时前
(在线CAD平台)网页集成CAD SDK的方法
前端·javascript·github
万少14 小时前
可可图片编辑 HarmonyOS(6)水印效果
前端·harmonyos
掘金约基奇_14 小时前
JS-SDK开发企微侧边栏
前端·javascript