JavaScript和TypeScript中的void

做者：@ddprrt

翻譯：瘋狂的技術宅

原文：fettblog.eu/void-in-jav…

未經容許嚴禁轉載

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

void 做爲運算符存在於 JavaScript 中，而做爲基本類型存在於 TypeScript 中。在這兩個世界中，void 的工做機制與大多數人習慣的有點不一樣。

JavaScript 中的 void

JavaScript 中的 void 是一個運算符，用於計算它旁邊的表達式。不管評估哪一個表達式，void老是返回undefined。

let i = void 2; // i === undefined
複製代碼

咱們爲何須要這樣的東西？首先在早期，人們可以覆蓋 undefined 並給它一個實際值。 void 老是返回 real undefined。

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

void function() {
  console.log('What')
}()
複製代碼

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

void function aRecursion(i) {
  if(i > 0) {
    console.log(i--)
    aRecursion(i)
  }
}(3)

console.log(typeof aRecursion) // undefined
複製代碼

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

// returning something else than undefined would crash the app
function middleware(nextCallback) {
  if(conditionApplies()) {
    return void nextCallback();
  }
}
複製代碼

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

button.onclick = () => void doSomething();
複製代碼

TypeScript 中的 void

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

function iHaveNoReturnValue(i) {
  console.log(i)
} // returns undefined
複製代碼

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

declare function iHaveNoReturnValue(i: number): void 複製代碼

void 做爲類型也能夠用於參數和全部其餘聲明。惟一能夠傳遞的值是 undefined：

declare function iTakeNoParameters(x: void): void iTakeNoParameters() // 👍 iTakeNoParameters(undefined) // 👍 iTakeNoParameters(void 2) // 👍 複製代碼

因此 void 和 undefined 幾乎是同樣的。雖然有一點點不一樣，但這種差異很大：做爲返回類型的 void 能夠用不一樣的類型替換，以容許高級回調模式：

function doSomething(callback: () => void) {
  let c = callback() // at this position, callback always returns undefined
  //c is also of type undefiend
}

// this function returns a number
function aNumberCallback(): number {
  return 2;
}

// works 👍 type safety is ensured in doSometing
doSomething(aNumberCallback) 
複製代碼

這是指望的行爲，一般用於 JavaScript 程序。你能夠在個人其餘文章中閱讀更多關於這種被稱爲 substitutability 的模式。

若是你想確保傳遞只返回 undefined 的函數（如「nothing」），請確保調整你的回調方法簽名：

- function doSomething(callback: () => void) {
+ function doSomething(callback: () => undefined) { /* ... */ }

function aNumberCallback(): number { return 2; }

// 💥 types don't match
doSomething(aNumberCallback) 
複製代碼

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

歡迎關注前端公衆號：前端先鋒，領取前端工程化實用工具包。