妙用一
当我们在一个项目中，可能会去改动一个在整个项目中应用很广泛的函数的参数类型，但是可能由于代码量比较庞大，我们不好排查改了之后哪些地方会出现问题，此时我们可以使用never类型来辅助我们的函数，当我们在原有的类型基础上添加了新的类型时，可能会导致else分支中的代码逻辑出现问题，此时我们可以向下面这样写来校验。
// 当类型Method只有GET和POST时
type Method = "GET" | "POST"
function request(method: Method) {
if (method === "GET") {
// ...
} else if (method === "POST") {
//...
} else {
// 此时的else分支是不可能执行到的，因为TypeScript会检查到所有的可能值，如果有其他值，则会报错。
const n: never = method;
}
}
// 当我们新增一个类型PUT时
type Method = "GET" | "POST" | "PUT"
function request(method: Method) {
if (method === "GET") {
// ...
} else if (method === "POST") {
//...
} else {
// 此时应该是进入到了PUT分支，所以method应该是PUT，此时把method赋值给n由于类型不符，会抛出一个编译错误
const n: never = method;
}
}
妙用二
当我们需要对一个类型取反时，可以使用类型的三目运算和类型继承来实现，代码实现如下：
// 此类型意思为，当我们传入的value类型为string时，value的类型会定义为never，此时会抛出类型错误
function myFunction<T>(value: T extends string ? never : T): T {
return value;
}
myFunction("hello"); // 报错：Argument of type 'string' is not assignable to parameter of type 'never'.ts(2345)
myFunction(123); // 不报错
myFunction(true); // 不报错我们可以把此类型单独做成一个类型工具，效果一样
type BandType<T, U> = T extends U? never : T;
function myFunction<T>(value: BandType<T, string>): T {
return value;
}
按讚的人：
共有 3 則留言
文字內容提供幾種功能：
1) --- 會變成分隔線（上一行必須是空白）
2) # 會變成一級標題
3) ## 會變成二級標題
4) ### 會變成三級標題
5) **粗體文字**會顯示粗體文字
6) ```當第一行與最後一行會顯示程式碼
7) 請搜尋 Markdown 語法，了解各種格式
1) --- 會變成分隔線（上一行必須是空白）
2) # 會變成一級標題
3) ## 會變成二級標題
4) ### 會變成三級標題
5) **粗體文字**會顯示粗體文字
6) ```當第一行與最後一行會顯示程式碼
7) 請搜尋 Markdown 語法，了解各種格式
按讚的人：
原來如此！非常巧妙！
用 functional programming 的術語來說，就是在程式出現 impossible state 的時候，立刻讓程式中斷！對於 debug 跟 developer experience 來說，會有大幅改善！
因為不小心讓 impossible state 混入程式中，會很痛苦！
輕則 business logic 亂跑到不知哪邊，重則讓奇怪的 state 存進資料庫之類的地方，除錯起來，更累！
熱門文章
很棒的分享
用以往的術語來說，叫做
Fail Fast Principle，也就是早早報錯、早早開始除錯！使用其他程式語言的話，我會在
else直接throw new exception，效果一樣，及早發現問題就對了！