一、了解never类型
ts的文档
在TypeScript中never就是Bottom Type，意味着一个不表示任何类型的类型,never不会是任何值，可能会被推断出来，或者自己定义避免出现逻辑上的异常
比如一个函数中是一个死循环或异常，这个函数则不会返回任何东西，那么写返回类型的话，写void或者其他的都不合适，那我们就可以使用never
二、基本类型never使用
never单独使用的场景比较少，一般在封装工具时用的多。当在封装工具时，逻辑没有处理完，never就会报错。相当于是一种逻辑判断，当处理完成后则不会报错，更严谨逻辑判断
2.1 一个简单的例子
function showMessage(info:string | number){
console.log(info)
}
showMessage("字符串")
showMessage(123);
代码看起来没什么问题，假设某天这个函数又多了个对象参数
showMessage(info:string | number | object)
很常见的场景就是我们希望，将所有的参数类型都能匹配到，对每个联合类型进行特殊处理。在上面代码中，如果忘记处理了object类型情况，Ts也不会报错。
那么，要怎么在漏处理类型的时候抛出错误呢？我们能在每一个 default 的 语法块中将变量的类型收窄到对应的值。
function showMessage(info:string | number | object){
switch(typeof info){
case "string":
console.log(info)
break;
case "number":
console.log(info)
break;
default:
//....
}
}
在最后的 default 语句块中，如果我们还使用这个变量，那么它就会被智能推导为 boolean 类型。这肯定不是我们想看到的，它都走到兜底语句块了还有未收窄过的类型。所以我们简单粗暴的把它赋值为 never
function showMessage(info:string | number | object){
switch(typeof info){
case "string":
console.log(info)
break;
case "number":
console.log(info)
break;
default:
const Check:never = info;
//Type 'object' is not assignable to type 'never'
}
}
报错了，不能将obj赋值给never，我们再加个处理Object的case
function showMessage(info:string | number | object){
switch(typeof info){
case "string":
console.log(info)
break;
case "number":
console.log(info)
break;
case "object":
console.log(info);
break;
default:
const Check:never = info;
//....
}
}
现在就没问题了，因为在穷举完所有类型分支后，info的类型当然就也是 never 啦。这样做只是从 TypeScript 类型层面避免了遗漏，为了安全起见，我们可以在 default 兜底语句中抛出一个错误：
const Check:never = info;
throw new Error(`Unknown input type: ${Check}`);
发表评论