JavaScript和TypeScript中的void

時間 2019-11-10

標籤 javascript typescript void 欄目 JavaScript 简体版

原文原文鏈接

做者：@ddprrt
翻譯：瘋狂的技術宅javascript

原文：https://fettblog.eu/void-in-j...前端

未經容許嚴禁轉載java

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

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

JavaScript 中的 void

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

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

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

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

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 很好的相處。