TypeScript 类型 ‘any’ 不能赋值给类型 ‘never’

在本文中，我们将介绍 TypeScript 中的类型错误 ‘Argument of type ‘any’ is not assignable to type ‘never’（类型 ‘any’ 不能赋值给类型 ‘never’）以及如何解决该错误。

阅读更多：TypeScript 教程

错误的背景

在 TypeScript 中，’any’ 类型表示一个动态类型，可以接收任何值。而 ‘never’ 类型表示没有值的类型。因此，我们无法将一个 ‘any’ 类型的值赋值给 ‘never’ 类型，这种赋值会导致类型错误。

假设我们有一个函数，期望接收一个返回值为 ‘never’ 的回调函数作为参数。我们希望传入的回调函数永远不会返回任何值。然而，当我们错误地将一个 ‘any’ 类型的值传递给这个函数时，TypeScript 就会报错，提示我们类型不匹配。

下面是一个错误示例：

function throwError(callback: () => never) {
    callback();
}

const callback: any = () => {
    throw new Error('Something went wrong');
};

throwError(callback); // 报错：Argument of type 'any' is not assignable to type 'never'

解决方法

1. 显式声明函数返回类型

在上述示例中，我们可以通过显式声明回调函数的返回类型为 ‘never’ 来解决该错误。虽然 ‘never’ 类型的值是无法赋值给任何类型的，但是函数可以将一个永远不会返回的表达式声明为 ‘never’ 类型的返回值。

function throwError(callback: () => never) {
    callback();
}

const callback = (): never => {
    throw new Error('Something went wrong');
};

throwError(callback); // 不再报错

2. 修正参数类型

另一种解决方法是修正参数的类型。当遇到这种错误时，我们需要检查传递给函数的参数类型，并确保它们与函数的期望类型匹配。

下面是修正参数类型的示例：

interface Callback {
    (): never;
}

function throwError(callback: Callback) {
    callback();
}

const callback: Callback = () => {
    throw new Error('Something went wrong');
};

throwError(callback); // 不再报错