如果你来自传统的强类型语言,可能会很熟悉 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 很好的相处。