Void在JS和TS中的区别

时间:2021-09-03 23:37:37

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

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

Void在JS和TS中的区别

JavaScript 中的 void

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

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

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

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

  1. void function() { 
  2.   console.log('What') 
  3. }() 

所有这些都没有污染全局命名空间:

  1. void function aRecursion(i) { 
  2.   if(i > 0) { 
  3.     console.log(i--) 
  4.     aRecursion(i) 
  5.   } 
  6. }(3) 
  7.  
  8. console.log(typeof aRecursion) // undefined 

由于 void 总是返回 undefined,而 void 总是计算它旁边的表达式,你有一个非常简洁的方法从函数返回而不返回一个值,但仍然调用一个回调例如:

  1. // 返回除 undefined 以外的其他内容会使程序崩溃 
  2. function middleware(nextCallback) { 
  3.   if(conditionApplies()) { 
  4.     return void nextCallback(); 
  5.   } 

这让我想到了 void 最重要的通途:它是你程序的安全门。当你的函数总是应该返回 undefined 时,你可以确保始终如此。

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

TypeScript 中的 void

TypeScript 中的 void 是 undefined 的子类型。JavaScript 中的函数总是返回一些东西。要么它是一个值,要么是 undefined:

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

因为没有返回值的函数总是返回 undefined,而 void 总是在 JavaScript 中返回 undefined,TypeScript 中的void 是一个正确的类型,告诉开发人员这个函数返回 undefined:

  1. declare function iHaveNoReturnValue(i: number): void 

void 作为类型也可以用于参数和所有其他声明。唯一可以传递的值是 undefined:

  1. declare function iTakeNoParameters(x: void): void 
  2.  
  3. iTakeNoParameters() //  
  4. iTakeNoParameters(undefined) //  
  5. iTakeNoParameters(void 2) //  

所以 void 和 undefined 几乎是一样的。虽然有一点点不同,但这种差别很大:作为返回类型的 void 可以用不同的类型替换,以允许高级回调模式:

  1. function doSomething(callback: () => void) { 
  2.   let c = callback() // 在这个位置,回调总是返回 undefined 
  3.   //c 也是 undefined 类型 
  4.  
  5. // 这个函数返回一个 number 
  6. function aNumberCallback(): number { 
  7.   return 2; 
  8.  
  9. // 有效  在 doSometing 中确保类型安全 
  10. doSomething(aNumberCallback)  

这是期望的行为,通常用于 JavaScript 程序。你可以在我的其他文章中阅读更多关于这种被称为 substitutability 的模式。

如果你想确保传递只返回 undefined 的函数(如“nothing”),请确保调整你的回调方法签名:

  1. - function doSomething(callback: () => void) { 
  2. + function doSomething(callback: () => undefined) { /* ... */ } 
  3.  
  4. function aNumberCallback(): number { return 2; } 
  5.  
  6. //  类型不匹配 
  7. doSomething(aNumberCallback)  

大概大部分时间你都能和 void 很好的相处。

原文链接:https://mp.weixin.qq.com/s?__biz=MzI3NzIzMDY0NA==&mid=2247504007&idx=1&sn=2b8402e7f65bd9ec03781d575c9220dc&chksm=eb6bf5dcdc1c7cca2fbb2832a35bea2df30549fa29888a211b7866bf759d906cb9074815733f&mpshare=1&s