笔记大全

TS中never,void,unknown类型怎么使用

更新时间：2023-12-15

前言：

在 TypeScript 中，有一些特殊的类型（never、void、unknown），它们各自有不同的用途和用法。本文将详细介绍它们的含义及如何使用。

一、never类型：

never 类型表示那些永远不会发生的值的类型。通常用于表示不可能的程序执行路径，例如抛出异常或者无限循环。可以将 never 类型看作是任何其他类型的子类型。

function error(message: string): never {
  throw new Error(message);
}

在上述代码中，函数 error 永远不会正常返回，因为它总是会抛出异常。在 TypeScript 中，当一个函数的返回类型被标注为 never 时，表示该函数抛出异常，或者立即终止程序的执行。

二、void类型：

void 类型表示没有任何类型。通常用于表示函数的返回值为空。当函数没有返回值时，其返回类型可以被标注为 void。

function printMessage(message: string): void {
  console.log(message);
}

在上述代码中，函数 printMessage 接收一个字符串参数，但是没有返回值。通过将返回类型标注为 void，我们告诉 TypeScript 编译器该函数不会返回任何值。

三、unknown类型：

unknown 类型表示一个不确定的类型。当我们不知道变量的具体类型时，可以将其类型标注为 unknown。与任何其他类型不兼容，除了 any 类型以外。

let value: unknown;
value = 'hello world';
value = 42; // 有效，但是需要进行类型检查

function processValue(value: unknown): void {
  if (typeof value === 'string') {
    console.log(value.toLowerCase());
  }
}

在上述代码中，变量 value 被标注为 unknown 类型。在函数 processValue 中，通过使用 typeof 来进行类型检查，如果 value 是字符串类型，则调用 toLowerCase 方法进行字符串处理。因为 unknown 类型在运行时具有未知的类型信息，所以在使用之前需要进行相关类型检查。

总结：

通过使用 never、void 和 unknown 类型，我们可以更好地指定和处理各种情况下的函数返回值或变量类型。never 类型表示永远不会发生的值的类型，通常用于表示异常或无限循环的情况；void 类型表示函数没有返回值；unknown 类型表示不确定的类型，需要进行类型检查和处理。

在实际开发中，根据具体的需求和情境，选择合适的类型可以增加代码的可读性和可维护性。对于返回值为空的函数，应该使用 void 类型；对于可能出现异常的函数，可以使用 never 类型；对于一些无法确定类型的变量，可以使用 unknown 类型进行标注。

c语言编程笔录