TypeScript Academy · 课时

void、never 与函数签名

Q: 「void、never 与函数签名」这节课中我会学到什么？

理解 void 如何表示无返回值，以及 never 如何表示不可达代码 你通过在浏览器中直接运行的动手代码来练习 TypeScript Academy，全天候 AI 导师会在你学习这节课的过程中回答你的问题。

理解 void 如何表示无返回值，以及 never 如何表示不可达代码

void、never 与函数签名 是 CoddyKit 上的免费 TypeScript Academy 课时。这是第 4 节课，共 4 节。你可以在下方免费阅读本课时的完整内容 — 然后在浏览器中使用内置代码编辑器和全天候 AI 导师进行实践。这是 TypeScript Academy 学习路径的一部分，你的进度在网页和 CoddyKit 应用中同步。 TypeScript Academy 课程共包含 4 节课。

欢迎

两个特殊的返回类型——无返回值类型和永不返回类型——分别表示不产生有用值的函数，以及永远无法正常完成的函数。

无返回值类型：无意义的返回值

函数执行副作用但不返回值时，可以使用无返回值类型。它允许返回 undefined，但表示调用方不应使用返回值。

function logError(msg: string): void {
  console.error(msg);
  // implicit return undefined
}

无返回值类型与未定义类型的区别

无返回值类型和未定义类型相似但不同。使用无返回值类型的函数可以返回 undefined，但无返回值类型表示调用方应忽略返回值。

const fn: () => void = () => 42; // Allowed! Caller ignores return
const fn2: () => undefined = () => 42; // Error

回调中的无返回值类型

为回调参数指定类型时，无返回值类型表示调用方不会使用返回值。因此，回调可以返回任何类型。

function run(cb: () => void): void { cb(); }
run(() => 'hello'); // OK — return value ignored

永不返回类型：不可到达类型

永不返回类型表示永远不会出现的值。返回永不返回类型的函数要么抛出异常，要么无限循环。

function fail(msg: string): never {
  throw new Error(msg);
}
function loop(): never {
  while (true) {}
}

穷尽性检查中的永不返回类型

在 switch 语句中，可以使用永不返回类型确保处理联合类型的所有情况。如果遗漏某种情况，赋值给永不返回类型就会导致错误。

type Shape = 'circle' | 'square';
function area(s: Shape): number {
  switch (s) {
    case 'circle': return 3.14;
    case 'square': return 1;
    default:
      const _: never = s; // Error if a new shape is added
      return 0;
  }
}

永不返回类型是所有类型的子类型

永不返回类型可以赋给任何类型（因为它永远不会发生，所以可以无条件地满足任何类型）。没有其他类型可以赋给永不返回类型。

函数类型签名

函数类型写作 `(param: Type) => ReturnType`。这将函数描述为一等值。

type Handler = (event: MouseEvent) => void;
type Transform = (input: string) => string;

接口中的调用签名

接口可以使用调用签名语法定义可调用类型。

interface Formatter {
  (value: string): string;
  locale: string;
}

构造签名

接口还可以使用构造签名中的新建关键字来定义可构造类型。

interface Constructor {
  new (name: string): Animal;
}

在错误处理中结合无返回值类型和永不返回类型

始终抛出异常的函数使用永不返回类型。吞掉错误且不返回任何内容的函数使用无返回值类型。这一区别对控制流分析很重要。

function orThrow(val: string | null): string {
  if (val === null) fail('null!'); // never
  return val; // TypeScript knows this is reachable
}

快速检查

哪种返回类型表示函数始终会抛出错误且不会正常返回？

回顾

没有有意义的返回值、只产生副作用的函数使用无返回值类型。会抛出异常或循环的函数使用永不返回类型。永不返回类型支持穷尽性检查，并且是所有类型的子类型。

常见问题解答

「void、never 与函数签名」课时是免费的吗？

是的 — 「void、never 与函数签名」的完整文本可在网页上免费阅读。要进行交互式练习（内置代码编辑器和全天候 AI 导师）并解锁 TypeScript Academy 课程的其余内容，请升级到 CoddyKit PRO。 TypeScript Academy 课程共包含 4 节课。

「void、never 与函数签名」这节课中我会学到什么？

理解 void 如何表示无返回值，以及 never 如何表示不可达代码你通过在浏览器中直接运行的动手代码来练习 TypeScript Academy，全天候 AI 导师会在你学习这节课的过程中回答你的问题。

学习 TypeScript Academy 需要有经验吗？

无需任何先前经验。CoddyKit 上的 TypeScript Academy 课程适合初学者到高级学习者，你可以从这里开始或从头开始，按照自己的节奏学习。这是第 4 节课，共 4 节。

「void、never 与函数签名」课时需要多长时间？

大多数 CoddyKit 课程大约需要 5–10 分钟。每节课都很精短且互动，所以你能稳步进步，并在网页和应用中从离开的地方继续。

我能在这节 TypeScript Academy 课中编写并运行代码吗？

能。每节 TypeScript Academy 课都包含内置代码编辑器，你可以在浏览器中直接编写并运行真实代码，并获得即时 AI 反馈 — 无需本地设置。

此课程中的所有课时

← 返回 TypeScript Academy