为什么返回类型“null”（或任何其他类型）可分配给返回类型“void”？

Question

您可能知道，在严格模式下，只有 undefined 可以分配给类型 void。所以如果你尝试：

declare let _void: void;
_void = null; // error
_void = 5; // error

你会得到错误

[type] 不可分配给类型 void。

但是如果你尝试这个作为返回类型，一切都会好的：

declare let voidReturn: () => void;
declare let nullReturn: () => null;
declare let numReturn: () => number;

voidReturn = numReturn;
voidReturn = nullReturn;

void 在此处的行为类似于 any，因为它可以容纳任何类型（但它只能以一种方式工作 - 将 void 分配给任何其他返回类型都会引发错误）。

这是为什么呢？这是错误还是功能？

Answer 1

可以在以下位置找到此问题的规范答案：

• The TypeScript FAQ entry for "为什么返回非void 的函数可分配给返回void 的函数？"

• microsoft/TypeScript#8581 "如果 void 不是 a 的子类型并且 a 不是 void 的子类型，为什么 () => void 是 () => a 的子类型？"

• microsoft/TypeScript#20006“[文档]澄清void的语义”

• 还有很多其他的，例如 microsoft/TypeScript #8240、#8584、#8615、#9603、#19014 等...

---

这是预期的行为，而不是错误。 TypeScript 的 void 类型通常应该代表unusable的东西，不一定absent。

一方面，编译器假定您故意显式地将任何非undefined 类型的值分配给@987654337 类型的变量或属性 可能是错误的@。

另一方面，它将返回类型为void 的函数视为“调用者不能安全地使用此函数的返回值”，而不是“此函数肯定会返回undefined”。因此，它允许您在任何需要 void-returning 函数的地方分配一个非void-returning 函数值，因为调用者无论如何都不会检查返回值。

从表面上看，这两种情况是不一致的；一般而言，由于covariance of return types，当且仅当A 可分配给B 时，()=>A 类型才可分配给()=>B。这与void 不同，这可能是您对这种情况感到困扰的原因。

---

但尽管前后不一致，但无论好坏，它都是有意的。原因是能够忽略回调返回值非常有用，尤其是对于碰巧有副作用和返回值的箭头函数。这里的首选示例是Array.prototype.push()，它会改变你调用它的数组并返回它的新长度。我想打电话

const arr1 = [4, 5, 6];
const arr2 = [1, 2, 3];
arr1.forEach(v => arr2.push(v))

没有forEach() 对我生气，因为push() 返回一个number 而不是承诺的void：

interface Array<T> {
    pedanticForEach(cb: (val: T) => undefined): void;
}
Array.prototype.pedanticForEach = Array.prototype.forEach;

arr1.pedanticForEach(v => arr2.push(v)); // error!
arr1.pedanticForEach(v => (arr2.push(v), undefined)); // okay
arr1.pedanticForEach(v => void arr2.push(v)); // okay

但是void 值本身的类似操作用处不大。没有一个常见的用例是有人真正想将number 值显式分配给void 类型的变量。当你这样做时，它可能是一个错误。

为了使其保持一致，他们要么必须允许这个可能的错误，要么强迫人们用明确的void-ish 包装他们的非实际-void 返回回调函数。其中任何一种都会损害生产力。

因此，在这种情况下，实用性和开发人员生产力胜过稳健性和一致性。这种权衡在语言中很常见；严格的可靠性和类型安全不是 TypeScript 的设计目标之一。其实TypeScript Design Non-Goal#3就是要

应用健全或“可证明正确”的类型系统。相反，在正确性和生产力之间取得平衡。

---

Playground link to code