如果你來自傳統的強類型語言,可能會很熟悉 void 的概念:一種類型,告訴你函數和方法在調用時不返回任何內容。
void 作為運算符存在於 JavaScript 中,而作為基本類型存在於 TypeScript 中。在這兩個世界中,void 的工作機制與大多數人習慣的有點不同。
JavaScript 中的 void
JavaScript 中的 void 是一個運算符,用於計算它旁邊的表達式。無論評估哪個表達式,void總是返回undefined。
1
|
let i = void 2;
// i === undefined
|
我們為什么需要這樣的東西?首先在早期,人們能夠覆蓋 undefined 並給它一個實際值。 void 總是返回 real undefined。
其次,這是一種調用立即調用函數的好方法:
1
2
3
|
void
function
() {
console.log(
'What'
)
}()
|
所有這些都沒有污染全局命名空間:
1
2
3
4
5
6
7
8
|
void
function
aRecursion(i) {
if
(i > 0) {
console.log(i--)
aRecursion(i)
}
}(3)
console.log(
typeof
aRecursion)
// undefined
|
由於 void 總是返回 undefined,而 void 總是計算它旁邊的表達式,你有一個非常簡潔的方法從函數返回而不返回一個值,但仍然調用一個回調例如:
1
2
3
4
5
6
|
// returning something else than undefined would crash the app
function
middleware(nextCallback) {
if
(conditionApplies()) {
return
void nextCallback();
}
}
|
這讓我想到了 void 最重要的通途:它是你程序的安全門。當你的函數總是應該返回 undefined 時,你可以確保始終如此。
1
|
button.onclick = () => void doSomething();
|
TypeScript 中的 void
TypeScript 中的 void 是 undefined 的子類型。 JavaScript 中的函數總是返回一些東西。要么它是一個值,要么是 undefined:
1
2
3
|
function
iHaveNoReturnValue(i) {
console.log(i)
}
// returns undefined
|
因為沒有返回值的函數總是返回 undefined,而 void 總是在 JavaScript 中返回 undefined,TypeScript 中的void 是一個正確的類型,告訴開發人員這個函數返回 undefined:
1
|
declare
function
iHaveNoReturnValue(i: number): void
|
void 作為類型也可以用於參數和所有其他聲明。唯一可以傳遞的值是 undefined:
1
2
3
4
5
|
declare
function
iTakeNoParameters(x: void): void
iTakeNoParameters()
// 👍
iTakeNoParameters(undefined)
// 👍
iTakeNoParameters(void 2)
// 👍
|
所以 void 和 undefined 幾乎是一樣的。雖然有一點點不同,但這種差別很大:作為返回類型的 void 可以用不同的類型替換,以允許高級回調模式:
1
2
3
4
5
6
7
8
9
10
11
12
|
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)
|
如果你想確保傳遞只返回 undefined 的函數(如“nothing”),請確保調整你的回調方法簽名:
1
2
3
4
5
6
7
|
-
function
doSomething(callback: () => void) {
+
function
doSomething(callback: () => undefined) {
/* ... */
}
function
aNumberCallback(): number {
return
2; }
// 💥 types don't match
doSomething(aNumberCallback)
|
大概大部分時間你都能和 void 很好的相處。