如果你来自传统的强类型语言，可能会很熟悉 void 的概念：一种类型，告诉你函数和方法在调用时不返回任何内容。

void 作为运算符存在于 JavaScript 中，而作为基本类型存在于 TypeScript 中。在这两个世界中，void 的工作机制与大多数人习惯的有点不同。

JavaScript 中的 void

JavaScript 中的 void 是一个运算符，用于计算它旁边的表达式。无论评估哪个表达式，void总是返回undefined。

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

我们为什么需要这样的东西？首先在早期，人们能够覆盖 undefined 并给它一个实际值。 void 总是返回 realundefined。

其次，这是一种调用立即调用函数的好方法：

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

链接: https://fly63.com/article/detial/5288