前言
如果你用过传统的强类型语言,可能会很熟悉 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
总是计算它旁边的表达式,你有一个非常简洁的方法从函数返回而不返回一个值,但仍然调用一个回调例如:
// 返回除 undefined 以外的其他内容会使程序崩溃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): voidiTakeNoParameters() // ?iTakeNoParameters(undefined) // ?iTakeNoParameters(void 2) // ?
所以 void
和 undefined
几乎是一样的。虽然有一点点不同,但这种差别很大:作为返回类型的 void
可以用不同的类型替换,以允许高级回调模式:
function doSomething(callback: () => void) { let c = callback() // 在这个位置,回调总是返回 undefined //c 也是 undefined 类型}// 这个函数返回一个 numberfunction aNumberCallback(): number { return 2;}// 有效 ? 在 doSometing 中确保类型安全doSomething(aNumberCallback)
这是期望的行为,通常用于 JavaScript 程序。你可以在我的其他文章中阅读更多关于这种被称为 substitutability 的模式。
如果你想确保传递只返回 undefined
的函数(如“nothing”),请确保调整你的回调方法签名:
- function doSomething(callback: () => void) {+ function doSomething(callback: () => undefined) { /* ... */ }function aNumberCallback(): number { return 2; }// ? 类型不匹配doSomething(aNumberCallback)
大概大部分时间你都能和 void
很好的相处。