TypeScript 中 any、unknown、never 和 void

在TypeScript中，any、unknown、never 和 void 是四种特殊的类型，它们有各自的用途和特性。

1. any 类型：

   • 表示任意类型。
   • 可以赋予任何值。
   • 使用时应尽量避免，因为失去了类型检查的好处。

let notSure: any = 4;
notSure = "maybe a string instead";
notSure = false; // 可以是任何类型

2. unknown 类型：

   • 表示未知类型。
   • 类似于 any，但是比 any 安全，因为它不能直接赋值给其他类型，需要进行类型检查。

let unknownValue: unknown = true;
 
// 错误：不能将类型为 "unknown" 的变量分配给类型为 "string" 的变量。
// let stringValue: string = unknownValue;
 
// 正确：使用类型检查
if (typeof unknownValue === "string") {
  let stringValue: string = unknownValue;
}

3. never 类型：

   • 表示永远不会发生的值的类型。
   • 通常用于throw语句和没有返回值的函数表达式。

// 抛出错误的函数
function error(message: string): never {
  throw new Error(message);
}
 
// 无法达到的返回点
function infiniteLoop(): never {
  while (true) {
    // ...
  }
}

4. void 类型：

   • 表示没有任何类型的值。
   • 通常用作函数没有返回值的返回类型。

function noReturnValue(): void {
  // ...
}
 
let unusable: void = undefined; // 可以是 undefined, 但不可以是其他值

这四种类型在类型注解和类型检查中有着重要的作用，可以帮助开发者写出更加安全和可靠的代码。