TypeScript never 类型

更新日期: 2020-03-05阅读: 3.4k标签: 类型

在类型理论(数学逻辑中的一种理论)中, 底部类型 是没有值的类型。也称为零或空类型,有时用 falsum(⊥)表示。 数学理论与计算机的发展是相辅相成的,底部类型在计算机科学中也有一定的应用场景。

在子类型系统中,底部类型是所有类型的子类型。(但是,相反情况并非如此,所有类型的子类型不一定是底部类型。)它用于表示不返回值的函数的返回类型:例如,永远循环的函数,始终抛出异常信号的函数等。

因为底部类型被用于表示不会正常的返回,一般没有返回值。它与 顶端类型 (它跨越系统中的所有可能值)和 单元类型 (恰好具有一个值)形成对比。

底部类型通常用于以下作用:

  • 表示函数或运算有所不同,换句话说,就是不会将结果返回给调用方。(这并不一定意味着该程序无法终止;子例程可以终止而不返回其调用者,或通过某种其他方式退出);
  • 作为错误的指示器。

了解完底部类型的概念后,下面我们开始来介绍 TypeScript 中对应的底部类型 —— never 类型。


never 类型

在 TypeScript 中, never 类型表示的是那些永不存在的值的类型。 例如, never 类型是那些总是会抛出异常或根本就不会有返回值的函数表达式或箭头函数表达式的返回值类型。此外,变量也可能是 never 类型,当它们被永不为真的类型保护所约束时。为了让大家更好的理解 never 类型,我们来举一些实际的例子。

在定义变量时,可以设置变量的类型为 never 类型:

let foo: never; // 定义never类型的变量

never 类型是任何类型的子类型,也可以赋值给任何类型:

let bar: string = (() => {
  throw new Error('TypeScript never');
})();

然而,没有类型是 never 的子类型或可以赋值给 never 类型(除了 never 本身之外)。 即使 any 也不可以赋值给 never 。

let baz: never = 123; // 赋值失败,number类型不能赋值给never类型的变量

// 定义never类型变量,接收返回值类型为never类型的函数返回值
let bar: never = (() => {
  throw new Error('TypeScript never');
})();

另外,对于死循环的函数或执行时总会抛出异常的函数来说,函数对应的返回值类型也是 never 类型,比如:

// 返回never的函数必须存在无法达到的终点
function error(message: string): never {
    throw new Error(message);
}

// 推断的返回值类型为never
function fail() {
   return error("Some error happened");
}

// 返回never的函数必须存在无法达到的终点
function infiniteLoop(): never {
   while (true) {}
}

相信对于刚接触 never 类型的大多数读者来说,看到这里时,心中都会有疑惑 —— never 类型到底有什么用?下面我们来介绍一下 TypeScript 中 never 类型的应用场景。


never 类型的用途

在 TypeScript 中,可以利用 never 类型的特性来实现详细的检查,具体示例如下:

type Foo = string | number;

function controlFlowAnalysisWithNever(foo: Foo) {
  if(typeof foo === "string") {
    // 这里 foo 被收窄为 string 类型
  } else if(typeof foo === "number") {
    // 这里 foo 被收窄为 number 类型
  } else {
    // foo 在这里是 never
    const check: never = foo;
  }
}

注意在 else 分支里面,我们把收窄为 never 的 foo 赋值给一个显示声明的 never 变量。如果一切逻辑正确,那么这里应该能够编译通过。但是假如后来有一天你的同事修改了 Foo 的类型:

type Foo = string | number | boolean;

然而他忘记同时修改 controlFlowAnalysisWithNever 方法中的控制流程,这时候 else 分支的 foo 类型会被收窄为 boolean 类型,导致无法赋值给 never 类型,这时就会产生一个编译错误。通过这个方式,我们可以确保

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


never 和 void 之间的区别

TypeScript 已经具有 never 类型,为什么它需要一个 void 类型。尽管两者看起来很相似,但是它们代表了两个不同的概念:

  • 没有显式返回值的函数会隐式返回 undefined 。尽管我们通常说这样的函数 “什么也不返回”,但实际上它是会返回的。在这些情况下,我们通常忽略返回值。在 TypeScript 中这些函数的返回类型被推断为 void 。
  • 具有 never 返回类型的函数 永不返回 。它也不返回 undefined 。该函数没有正常完成,这意味着它可能会抛出异常或根本无法退出执行。

never 类型为 底部类型 ,也称为零类型或空类型。它通常表示为⊥,表示计算未将结果返回给调用方。 void 类型,在另一方面,是一个 单元类型 (类型,它允许只有一个值),没有定义的操作。


never 类型运算

因为 never 类型为底部类型,所以任意类型与 never 交叉都得到 never :

type T1 = number & never;   // never
type T2 = string & never;   // never

对于上面的运算结果,我们可以这样理解:若 type T = T1 & T2 ,则 T 类型的值可以赋给 T1 或 T2 类型的变量。那么如果与 never 类型交叉,则 T 类型的值可以赋给一个 never 类型的变量,那 T 只能是 never 了。

而任意类型与 never 类型联合,则不会影响原有的类型:

type T3 = number | never;   // number
type T4 = string | never;   // string

同样,对于上面的运算结果,我们可以这样理解:若 type T = T3 | T4 ,则 T3 或 T4 类型的值可以赋给 T 类型的变量。由于 never 类型是任何类型的子类型,也可以赋值给任何类型的变量,自然对联合类型不产生影响。

原文 https://semlinker.com/ts-never-type/

链接: https://www.fly63.com/article/detial/8120

JS中Null与Undefined的区别

在JavaScript中存在这样两种原始类型:Null与Undefined。这两种类型常常会使JavaScript的开发人员产生疑惑,在什么时候是Null,什么时候又是Undefined?Undefined类型只有一个值,即undefined。当声明的变量还未被初始化时,变量的默认值为undefined。

Javascript的类型检测

主要介绍了JS中检测数据类型的几种方式,typeof运算符用于判断对象的类型,但是对于一些创建的对象,它们都会返回\'object\',有时我们需要判断该实例是否为某个对象的实例,那么这个时候需要用到instanceof运算符

js类型转换的各种玩法

对于object和number、string、boolean之间的转换关系,ToPrimitive是指转换为js内部的原始值,如果是非原始值则转为原始值,调用valueOf()和toString()来实现。

JavaScript类型:关于类型,有哪些你不知道的细节?

Undefined类型表示未定义,它的类型只有一个值为undefined。undefined和null有一定的表意差别。非整数的Number类型无法使用 == 或 === 来比较,因为 JS 是弱类型语言,所以类型转换发生非常频繁

为你的 JavaScript 项目添加智能提示和类型检查

近在做项目代码重构,其中有一个要求是为代码添加智能提示和类型检查。智能提示,英文为 IntelliSense,能为开发者提供代码智能补全、悬浮提示、跳转定义等功能,帮助其正确并且快速完成编码。

js的类型

基本类型:按值访问,可以操作保存在变量中实际的值;引用类型数据存在堆内存,而引用存在栈区,也就是说引用类型同时保存在栈区和堆区,关于==的执行机制,ECMASript有规范,因为==前后的值交换顺序,返回的值也是一样的,所以在此对规范做出如下总结

再也不用担心 JavaScript 的数据类型转换了

JavaScript 是一种弱类型或者说动态类型语言。所以你不用提前声明变量的类型,在程序运行时,类型会被自动确定,你也可以使用同一个变量保存不同类型的数据。

JavaScript基础之值传递和引用传递

js的值传递和引用(地址)传递:js的5种基本数据类型 number,string,null,undefined,boolean 在赋值传递时是值传递,js的引用数据类型(object,array,function)进行引用传递,其实底层都是对象。

JS中的布尔 数字 字符串

JS中所有的值都可以转换成布尔类型 使用Boolean()或者 !!(两个感叹号),JS中所有的值都可以转换成数字类型,使用Number()或+。数字类型转换场景目的只有一个,用于计算,将后台传递的数据,从字符串转换为数字并参与计算

if条件中,js的强制类型转换

众所周知,JS在很多情况下会进行强制类型转换,其中,最常见两种是:1.使用非严格相等进行比较,对==左边的值进行类型转换2.在if判断时,括号内的值进行类型转换,转化为布尔值

点击更多...

内容以共享、参考、研究为目的,不存在任何商业目的。其版权属原作者所有,如有侵权或违规,请与小编联系!情况属实本人将予以删除!