TypeScript 中如何正确使用 never
TypeScript 是一种由微软开发的静态类型检查器，它可以在编译时检查代码中的类型错误，并提供更好的代码提示和自动补全功能。其中一个重要的概念是 never 类型，它表示一种不可能出现的值。在本文中，我们将介绍 never 的使用方法和指导意义，并提供示例代码。
never 的定义
在 TypeScript 中，never 类型表示一种不可能出现的值。它通常用于表示函数永远不会返回的情况，例如抛出异常或进入无限循环。never 类型可以用作任何类型的子类型，因为它没有任何值，也没有任何子类型。
never 的用途
- 抛出异常
在 TypeScript 中，我们可以使用 never 类型来表示函数抛出异常的情况。例如：
function throwError(message: string): never { throw new Error(message); }
- 死循环
我们也可以使用 never 类型来表示函数进入无限循环的情况。例如：
function infiniteLoop(): never { while (true) {} }
- 类型推断
never 类型还可以用于类型推断。例如，如果一个函数的返回类型是 never，那么 TypeScript 将推断该函数永远不会返回，因此可以在调用该函数时忽略其返回值。例如：
function handleError(): never { throw new Error("Something went wrong"); }
const result = handleError(); // result 的类型为 never
- 类型兼容性
never 类型还可以用于类型兼容性。由于 never 类型是任何类型的子类型，因此它可以用于表示不可能出现的值的情况。例如：
function doSomething(): string { return "Hello, world!"; }
function doSomethingElse(): never { throw new Error("Something went wrong"); }
const result: string = doSomethingElse(); // 报错，类型 'never' 不能赋值给类型 'string'
在上面的示例中，doSomething() 函数返回一个字符串，而 doSomethingElse() 函数永远不会返回。因此，当我们尝试将 doSomethingElse() 的返回值赋给一个字符串变量时，TypeScript 将抛出类型错误。
never 的指导意义
使用 never 类型可以帮助我们更好地理解代码的行为，避免类型错误，并提高代码的可读性和可维护性。在编写 TypeScript 代码时，我们应该遵循以下几个指导原则：
使用 never 类型来表示函数永远不会返回的情况。
尽可能使用类型推断来推断函数的返回类型。
在类型兼容性的情况下，使用 never 类型来表示不可能出现的值。
示例代码
下面是一些使用 never 类型的示例代码：
// 抛出异常 function throwError(message: string): never { throw new Error(message); }
// 死循环 function infiniteLoop(): never { while (true) {} }
// 类型推断 function handleError(): never { throw new Error("Something went wrong"); }
const result = handleError(); // result 的类型为 never
// 类型兼容性 function doSomething(): string { return "Hello, world!"; }
function doSomethingElse(): never { throw new Error("Something went wrong"); }
const result: string = doSomethingElse(); // 报错，类型 'never' 不能赋值给类型 'string'
总结
在 TypeScript 中，never 类型表示一种不可能出现的值，通常用于表示函数永远不会返回的情况，例如抛出异常或进入无限循环。使用 never 类型可以帮助我们更好地理解代码的行为，避免类型错误，并提高代码的可读性和可维护性。在编写 TypeScript 代码时，我们应该遵循上述指导原则，正确使用 never 类型。
来源：JavaScript中文网 ，转载请注明来源 https://www.javascriptcn.com/post/66063826d10417a22243c334