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

相关推荐
spmcor21 分钟前
MinIO本地对象存储部署指南
前端
少年纪25 分钟前
前端用 pdf.js 将 PDF 渲染到 Canvas 再转图片,文字消失的坑
前端
RoyLin26 分钟前
TypeScript设计模式:复合模式
前端·后端·typescript
我是天龙_绍29 分钟前
CSS/JS/图片全挂了,部署后页面白屏/资源加载失败?这两个配置项坑了多少人!
前端
我的小月月30 分钟前
SQLFE:网页版数据库(VUE3+Node.js)
前端·后端
小高00731 分钟前
🌐ES6 这 8 个隐藏外挂,知道 3 个算我输!
前端·javascript·面试
汤姆Tom31 分钟前
Node.js 版本管理、NPM 命令、与 NVM 完全指南
前端·npm·node.js
Alan5215933 分钟前
Java 后端实现基于 JWT 的用户认证和权限校验(含代码讲解)
前端·后端
RoyLin43 分钟前
TypeScript设计模式:策略模式
前端·后端·typescript
brzhang1 小时前
为什么说低代码谎言的破灭,是AI原生开发的起点?
前端·后端·架构