ts泛型的一个小知识

介绍

最近在做type-challenges的时候遇到一个问题:泛型中T extends never与我预期的结果不一致,在查找了一些资料后对这个问题有了新的理解,在这里做一些分享。

原问题要求实现一个泛型工具,判断传入的类型是否为 never,我最开始的答案是:

ts 复制代码
type IsNever<T> = T extends never ? true : false;

对于这个答案,当传入参数为 string、number 等类型的时候,返回的结果是 false,完美符合结果,但是当前的泛型参数为 never 时,T extends never 的判断结果是 false,所以返回的结果是 false,而不是我想要的结果 true

在阅读了 其他人给出的答案后,我发现正确的答案应该是

typescript 复制代码
  type IsNever<T> = [T] extends [never]? true : false

[T] extends [never]?,我相信不止我一个人对此感到困惑,随后,我发现#614对这个问题作出了解释。

对于最初的代码:

ts 复制代码
type IsNever<T> = T extends never ? true : false;

当传入的类型为 string 时,也就是IsNever<string>,这样会抛出一个错误,因为 string 不能赋值给 never 类型。 string extends never 也为假,所以我们得到了一个错误,这是我们预期的结果,是符合我们理解的。

当传入的类型为 never 时,也就是IsNever<never>,我们可能认为 never extends never 为真,那么结果应该是 true ,然而此时的结果却是 false ,这是为什么呢?

事实证明,当 T = never 时,T extends never 并不奏效,但这并不是因为条件语句本身的问题。TypeScript 在解包泛型到条件语句时有一个有趣的特性:它会分配它们。 所以让我们回到分配 never 的问题上。TypeScript 在递归地分配类型联合。另外需要注意的是,没有所谓的联合的联合,联合的联合只是一个更大的联合,包含所有联合中的所有元素。

无论如何,关键在于:TypeScript 在分配条件语句时将 never 视为空联合。这意味着 'a' | never 在分配时会被简化为 'a'。这也意味着 'a' | (never | 'b') | (never | never) 在分配时会变成 'a' | 'b',因为 never 部分相当于空联合,我们可以合并所有的联合。 所以总结一下,TypeScript 在分配条件语句时会忽略空联合。这有道理吧?为什么在没有东西可分配的情况下还要分配呢?(用数学上的概念来理解的话never相当于空集,T extends never可以表述为什么集合包含于空集中,我们知道空集当然什么都不会包含,所以这个条件语句永远都不会成立)

那么,我们如何告诉 TypeScript 不要把 never 视为空联合呢?我们可以强制 TypeScript 在尝试分配之前先评估 T。这意味着我们需要在条件语句中改变 T 类型,以便捕获 T 的 never 值而不丢失。我们这样做是因为我们不能分配一个空联合(即 never)类型的 T。其中一种方法是将 T 放入一个元组:[T]。这可能是最简单的方法。另一种方法是创建一个 T 的数组:T[]。这两个例子都会"评估" T,使其在尝试分配条件语句之前变成其他类型。

Reference

相关推荐
北北~Simple5 分钟前
第一次搭建数据库
服务器·前端·javascript·数据库
GanGuaGua12 分钟前
Vue3常用指令
前端·javascript·vue.js
欧阳天风12 分钟前
录音实时上传
前端·javascript
江号软件分享16 分钟前
从DNS到防火墙:NetDisabler多策略断网方法详解
前端
灵犀学长25 分钟前
解锁HTML5页面生命周期API:前端开发的新视角
前端·html·html5
江号软件分享34 分钟前
轻松解决Office版本冲突问题:卸载是关键
前端
致博软件F2BPM41 分钟前
Element Plus和Ant Design Vue深度对比分析与选型指南
前端·javascript·vue.js
慧一居士2 小时前
flex 布局完整功能介绍和示例演示
前端
DoraBigHead2 小时前
小哆啦解题记——两数失踪事件
前端·算法·面试
一斤代码7 小时前
vue3 下载图片(标签内容可转图)
前端·javascript·vue