TypeScript12 - never类型

TypeScript使用 never 类型来表示不应该存在的状态

type bbb = string & number
// TS推断出never类型，因为是不可能出现的
function error(msg: string): never {
throw new Error(msg)
}
// 因为必定抛出异常，所以 error 将不会有返回值
function loop(): never {
while (true) {
}
}
// 因为存在死循环，所以loop将不会有返回值

never类型的一个应用场景

比如我们定义一个switch，都要定义一个default兜底逻辑，如果进入这一步，说明就是程序异常了

interface A {
type: "Tom"
}
interface B {
type: "Jerry"
}
type All = A | B
function type(val: All) {
switch (val.type) {
case "Tom":
break;
case "Jerry":
break;
default:
const check: never = val
break;
}
}

比如我新增一个C接口，我们必须手动找到搜有的switch代码并处理，否则将会触发bug

而且这将是一个“隐蔽性”的bug，如果回归面不够广，很难发现此类bug

那TS有没有办法帮助我们在类型检查阶段发现这个问题呢？

interface A {
type: "Tom"
}
interface B {
type: "Jerry"
}
interface C {
type: "bizz"
}
type All = A | B | C
function type(val: All) {
switch (val.type) {
case "Tom":
break;
case "Jerry":
break;
default:
// 因为没有加入条件，所以会触发兜底函数并且会检测出异常
const check: never = val
break;
}
}

由于任何类型都不能赋值给never类型的变量，所以当存在进入default分支的可能性时，TS的类型检查会及时帮助我们发现这个问题

never 和 viod 的差异

// void类型只是没有返回值，但本身不会出错
function Fn01(): void {
console.log(123)
}
// 只会抛出异常没有返回值
function Fn02(): never {
throw new Error("error")
}

最后

以上就是动听电脑为你收集整理的TypeScript12 - never类型的全部内容，希望文章能够帮你解决TypeScript12 - never类型所遇到的程序开发问题。

如果觉得靠谱客网站的内容还不错，欢迎将靠谱客网站推荐给程序员好友。