typescript - 为什么 TypeScript 有 `void` 和 `undefined` ？

Question

在 TypeScript 中，您可以将函数注释为返回 void :

function fn1(): void {
  // OK
}

function fn2(): void {
  // Error
  return 3;
}

您还可以注释一个函数以返回 undefined :

function fn3(): undefined {
  // OK
  return;
}

function fn4(): undefined {
  // Error
  return 3;
}

所以看起来如果你调用一个返回 void 的函数，您将始终获得值 undefined .但是你不能写这个代码:

function fn5(): void {
}
let u: undefined = fn5(); // Error

为什么不是 void只是 undefined 的别名?它真的需要存在吗？

Answer 1

void在函数返回类型中具有特殊含义，并且不是 undefined 的别名.这样想就大错特错了。为什么？void的意图是不会观察到函数的返回值。这与将 undefined 非常不同.有这个区别很重要，这样你就可以正确地描述像 forEach 这样的函数。 .让我们考虑一个独立版本的 Array#forEach , 写于 undefined而不是 void在回调返回位置:

declare function forEach<T>(arr: T[], callback: (el: T) => undefined): void;

如果您尝试使用此功能:

let target: number[] = [];
forEach([1, 2, 3], el => target.push(el));

你会得到一个错误:

Type "number" is not assignable to type "undefined"

这是一个正确的错误 - 你说你想要一个返回值 undefined 的函数，但您实际上提供了一个返回值 number 的函数因为这就是为什么 Array#push返回!
使用 void相反意味着 forEach promise 不使用返回值，因此可以使用返回任何值的回调调用它

declare function forEach<T>(arr: T[], callback: (el: T) => void): void;
let target: number[] = [];
// OK
forEach([1, 2, 3], el => target.push(el));

为什么不直接使用 any ?如果您实际上是实现 forEach 的人，你真的不想那样 - 有一个 any float 是一种危险的东西，可以很容易地击败类型检查。
其推论是，如果您有一些返回类型为 void 的函数表达式。 , 您不能肯定地说调用该函数的结果是 undefined .
再次， void不是 undefined 的别名和类型为 void 的表达式可能有任何值(value)，而不仅仅是 undefined在返回类型明确列为 void 的函数体中, TypeScript 会阻止你“意外”返回一个值，即使这不会造成类型系统冲突。这有助于捕获重构中出现的错误:

// Old version
function fn(arr: number[]): void {
  const arr1 = arr.map(x => {
    return 3;
  });
}

// New version
function fn(arr: number[]): void {
  for (const x of arr) {
    // Oops, meant to do something else
    return 3;
  };
}