TS 中 never,void,unknown类型详解

那么我们来详细讲解一下 TS 中 never、void 和 unknown 类型的相关知识点。

never 类型

never 类型表示永不存在的类型。也就是说，无法终止的函数或者总是抛出错误的函数的返回类型就是 never。 在实际使用中，通常用于处理不应该出现的情况或者用于避免编写无用的代码。

下面是一个示例函数，它总是会抛出异常：

function throwError(): never {
  throw new Error("something went wrong");
}

这里，throwError 函数永远不会有返回值，因为抛出了一个错误。所以，我们可以将该函数的返回值类型设定为 never。

function test(): never {
  return throwError();
}

void 类型

void 类型表示没有任何值的类型。通常用于函数没有返回值的时候。下面是一个示例函数：

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

这里，printMessage 函数不会返回任何值，因此它的返回类型是 void。

unknown 类型

unknown 类型表示我们不知道某个值的确切类型。在 TypeScript 中，只有 any 类型可以被赋值给任何类型。但是，对于 unknown 类型，只有 unknown 和 any 类型可以被赋值给它，而不能将其赋值给其他类型。因此，在 TypeScript 中使用 unknown 类型能够帮助我们更加明确地描述类型，弥补了 any 类型的缺陷。

下面是一个示例代码：

function processValue(value: unknown) {
  if (typeof value === "string") {
    console.log(value.toUpperCase());
  } else if (value instanceof Date) {
    console.log(value.toISOString());
  } else {
    console.log(value);
  }
}

这里，processValue 函数的参数类型为 unknown。在函数内部，我们使用 typeof 操作符和 instanceof 操作符检查传入的参数的类型。在不确定值的类型的情况下，我们可以使用 unknown 类型来替代 any 类型。

希望这份攻略能对你有所帮助。