TypeScript 中的 never 类型：如何修复“not assignable to parameter”错误

引言：为什么 TypeScript 对空数组报错？

你是否曾经编写过 TypeScript 代码，在编译时却收到一条神秘的消息："Argument of type 'X' is not assignable to parameter of type 'never'"？如果是，你并不孤单。这个错误是各级开发人员都会遇到的真正绊脚石。在 Stack Overflow 上，这个问题获得了数千次浏览，今天我们将一劳永逸地解决它。

想象一下这种情况：你声明了一个空数组，试图向其中添加一些内容，但 TypeScript 阻止了该操作。熟悉吗？让我们来弄清楚为什么会发生这种情况，以及更重要的是，如何修复它。

在本文中，我们不仅仅是翻译枯燥的文档。我们将从错误出现到完全消除，通过实际示例带你走完整个过程，你可以立即将这些示例应用到自己的项目中。

什么是 TypeScript 中的 never 类型？

在深入探讨错误的细节之前，让我们先了解一下 never 类型本身。在 TypeScript 中，这种类型表示“不可能存在的值”。这听起来很哲学，但在实践中很简单：

\n
• never 是用于永远不会结束（无限循环）或总是抛出异常的函数类型。
\n
• never 是类型系统的“底部”。你可以将 never 赋值给任何东西，但除了 never 本身之外，没有任何东西可以赋值给 never。
\n

现在想象一下，TypeScript 看到一个空数组，但不知道其中会包含哪些元素。在严格类型化模式下（tsconfig.json 中的 strict: true），编译器会得出一个逻辑结论：“如果数组为空且未指定类型，那么其中不可能有任何东西——元素类型是 never”。

// 示例：TypeScript 推断类型为 never[]\nconst emptyArray = [];\nemptyArray.push("hello"); // 错误！\n// Argument of type 'string' is not assignable to parameter of type 'never'\n

这就是那个错误。TypeScript 诚实地警告：“你说数组只能包含 never，却试图添加一个字符串。这不行！”

错误的主要出现场景

1. 没有类型注解的空数组

最常见的情况。开发人员创建了一个空数组，打算稍后填充，但忘记指定类型。

// ❌ 问题\nconst items = []; // TypeScript 推断：any[]（如果 strict: false）或 never[]（如果 strict: true）\nitems.push({ id: 1, name: "Alice" }); // 当 strict: true 时出错\n\n// ✅ 解决方案：显式指定类型\nconst items: Array<{ id: number; name: string }> = [];\nitems.push({ id: 1, name: "Alice" }); // 正常工作！\n

2. 返回 never 的数组方法（filter, reduce）

使用错误谓词的 filter 方法或没有初始值的 reduce 方法可能导致推断出 never 类型。

// ❌ filter 的问题\nconst numbers: (number | null)[] = [1, null, 2, null, 3];\nconst onlyNumbers = numbers.filter(item => item !== null); \n// TypeScript 可能推断类型为 (number | null)[] 甚至 never[]，如果谓词“损坏”\n\n// ✅ 解决方案：使用类型守卫\nconst onlyNumbersSafe: number[] = numbers.filter((item): item is number => item !== null); \n\n// ❌ reduce 的问题\nconst result = [1, 2, 3].reduce((acc, val) => acc + val); \n// 错误！TypeScript 不知道累加器的初始类型\n\n// ✅ 解决方案：指定初始值\nconst resultSafe = [1, 2, 3].reduce((acc, val) => acc + val, 0); // 正常工作！\n

3. 泛型和条件类型

更复杂的情况是，当 TypeScript 由于复杂的泛型而无法推断类型时。

// ❌ 问题\nfunction getFirstElement<T>(arr: T[]): T | undefined {\n  return arr[0];\n}\n\nfunction processItems<T>