如果你來(lái)自傳統(tǒng)的強(qiáng)類型語(yǔ)言，可能會(huì)很熟悉 void 的概念：一種類型，告訴你函數(shù)和方法在調(diào)用時(shí)不返回任何內(nèi)容。

void 作為運(yùn)算符存在于 JavaScript 中，而作為基本類型存在于 TypeScript 中。在這兩個(gè)世界中，void 的工作機(jī)制與大多數(shù)人習(xí)慣的有點(diǎn)不同。

JavaScript 中的 void

JavaScript 中的 void 是一個(gè)運(yùn)算符，用于計(jì)算它旁邊的表達(dá)式。無(wú)論評(píng)估哪個(gè)表達(dá)式，void總是返回undefined。

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

我們?yōu)槭裁葱枰@樣的東西？首先在早期，人們能夠覆蓋 undefined 并給它一個(gè)實(shí)際值。 void 總是返回 real undefined。

其次，這是一種調(diào)用立即調(diào)用函數(shù)的好方法：

void function() {
 console.log('What')
}()

所有這些都沒(méi)有污染全局命名空間：

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

console.log(typeof aRecursion) // undefined

由于 void 總是返回 undefined，而 void 總是計(jì)算它旁邊的表達(dá)式，你有一個(gè)非常簡(jiǎn)潔的方法從函數(shù)返回而不返回一個(gè)值，但仍然調(diào)用一個(gè)回調(diào)例如：

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

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

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

TypeScript 中的 void

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

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

因?yàn)闆](méi)有返回值的函數(shù)總是返回 undefined，而 void 總是在 JavaScript 中返回 undefined，TypeScript 中的void 是一個(gè)正確的類型，告訴開(kāi)發(fā)人員這個(gè)函數(shù)返回 undefined：

declare function iHaveNoReturnValue(i: number): void

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

declare function iTakeNoParameters(x: void): void

iTakeNoParameters() // 👍
iTakeNoParameters(undefined) // 👍
iTakeNoParameters(void 2) // 👍

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

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 程序。你可以在我的其他文章中閱讀更多關(guān)于這種被稱為 substitutability 的模式。

如果你想確保傳遞只返回 undefined 的函數(shù)（如“nothing”），請(qǐng)確保調(diào)整你的回調(diào)方法簽名：

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

function aNumberCallback(): number { return 2; }

// 💥 types don't match
doSomething(aNumberCallback) 

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

以上就是本文的全部?jī)?nèi)容，希望對(duì)大家的學(xué)習(xí)有所幫助，也希望大家多多支持腳本之家。

最新評(píng)論