如果你用過傳統的強類型語言，可能會很熟悉 void 的概念：一種類型，告訴你函數和方法在調用時不返回任何內容。

void 作為運算符存在于 JavaScript 中，而作為基本類型存在于 TypeScript 中。在這兩個世界中，void 的工作機制與大多數人習慣的有點不同。

JavaScript 中的 void

JavaScript 中的 void 是一個運算符，用于計算它旁邊的表達式。無論評估哪個表達式，void總是返回undefined。

1. let i = void 2; // i === undefined 

我們為什么需要這樣的東西?首先在早期，人們能夠覆蓋 undefined 并給它一個實際值。void 總是返回 real undefined。

其次，這是一種調用立即調用函數的好方法：

1. void function() { 
2.   console.log('What') 
3. }() 

所有這些都沒有污染全局命名空間：

1. void function aRecursion(i) { 
2.   if(i > 0) { 
3.     console.log(i--) 
4.     aRecursion(i) 
5.   } 
6. }(3) 
7.  
8. console.log(typeof aRecursion) // undefined 

由于 void 總是返回 undefined，而 void 總是計算它旁邊的表達式，你有一個非常簡潔的方法從函數返回而不返回一個值，但仍然調用一個回調例如：

1. // 返回除 undefined 以外的其他內容會使程序崩潰 
2. function middleware(nextCallback) { 
3.   if(conditionApplies()) { 
4.     return void nextCallback(); 
5.   } 
6. } 

這讓我想到了 void 最重要的通途：它是你程序的安全門。當你的函數總是應該返回 undefined 時，你可以確保始終如此。

1. button.onclick = () => void doSomething(); 

TypeScript 中的 void

TypeScript 中的 void 是 undefined 的子類型。JavaScript 中的函數總是返回一些東西。要么它是一個值，要么是 undefined：

1. function iHaveNoReturnValue(i) { 
2.   console.log(i) 
3. } // returns undefined 

因為沒有返回值的函數總是返回 undefined，而 void 總是在 JavaScript 中返回 undefined，TypeScript 中的void 是一個正確的類型，告訴開發人員這個函數返回 undefined：

1. declare function iHaveNoReturnValue(i: number): void 

void 作為類型也可以用于參數和所有其他聲明。唯一可以傳遞的值是 undefined：

1. declare function iTakeNoParameters(x: void): void 
2.  
3. iTakeNoParameters() //  
4. iTakeNoParameters(undefined) //  
5. iTakeNoParameters(void 2) //  

所以 void 和 undefined 幾乎是一樣的。雖然有一點點不同，但這種差別很大：作為返回類型的 void 可以用不同的類型替換，以允許高級回調模式：

1. function doSomething(callback: () => void) { 
2.   let c = callback() // 在這個位置，回調總是返回 undefined 
3.   //c 也是 undefined 類型 
4. } 
5.  
6. // 這個函數返回一個 number 
7. function aNumberCallback(): number { 
8.   return 2; 
9. } 
10.  
11. // 有效  在 doSometing 中確保類型安全 
12. doSomething(aNumberCallback)  

這是期望的行為，通常用于 JavaScript 程序。你可以在我的其他文章中閱讀更多關于這種被稱為 substitutability 的模式。

如果你想確保傳遞只返回 undefined 的函數(如“nothing”)，請確保調整你的回調方法簽名：

1. - function doSomething(callback: () => void) { 
2. + function doSomething(callback: () => undefined) { /* ... */ } 
3.  
4. function aNumberCallback(): number { return 2; } 
5.  
6. //  類型不匹配 
7. doSomething(aNumberCallback)  

大概大部分時間你都能和 void 很好的相處。

原文鏈接：https://mp.weixin.qq.com/s?__biz=MzI3NzIzMDY0NA==&mid=2247504007&idx=1&sn=2b8402e7f65bd9ec03781d575c9220dc&chksm=eb6bf5dcdc1c7cca2fbb2832a35bea2df30549fa29888a211b7866bf759d906cb9074815733f&mpshare=1&s