ts的文档
在TypeScript中never就是Bottom Type,意味着一个不表示任何类型的类型,never不会是任何值,可能会被推断出来,或者自己定义避免出现逻辑上的异常
比如一个函数中是一个死循环或异常,这个函数则不会返回任何东西,那么写返回类型的话,写void或者其他的都不合适,那我们就可以使用never
never单独使用的场景比较少,一般在封装工具时用的多。当在封装工具时,逻辑没有处理完,never就会报错。相当于是一种逻辑判断,当处理完成后则不会报错,更严谨逻辑判断
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}`);
上一篇:抖音创业教程,抖音里面创业是不是真实的创业 抖音上直播教你抖音创业靠谱吗 抖音创业怎么做真实的自己
下一篇:轻资产创业是目前最佳的创业方式,第五次创业热潮的特征是全民创业 轻资产创业是目前最佳的创业方式 轻资产创业项目最新思路