在 TypeScript 中，any、never、unknown 和 void 是四种特殊的类型，它们在类型系统和类型检查中扮演着重要的角色。下面我们将一一解释它们的区别和用途。
any 类型
any 类型是 TypeScript 中的一种特殊类型，它表示值可以是任意类型。在 TypeScript 中，如果一个变量没有明确的类型声明，或者使用了 any 类型，则该变量的类型将被推断为 any 类型。使用 any 类型可以避免类型检查，使代码更加灵活，但同时也可能导致类型错误和运行时错误。
let a: any = 10;
a = ‘hello’;
never 类型
never 类型表示一个值永远不会出现。它通常用于函数中，表示该函数永远不会返回值或永远不会退出。在 TypeScript 中，如果一个函数永远不会返回，则返回类型可以声明为 never。
function infiniteLoop(): never {
while (true) {}
}
unknown 类型
unknown 类型是 TypeScript 中的一个新特性，用于表示未知的类型。当一个变量或参数的类型未确定或未知时，可以使用 unknown 类型。unknown 类型是所有类型的超集，表示它可以接受任何类型的值。但是，如果要将 unknown 类型的值赋给其他类型的变量，需要显式地进行类型断言。
let u: unknown = ‘hello’;
u = 10; // 需要显式地类型断言
void 类型
void 类型表示一个函数没有返回值。在 TypeScript 中，如果一个函数没有返回语句或返回语句没有指定返回值，则该函数的返回类型被推断为 void。void 类型的值只能是 null 和 undefined。需要注意的是，void 类型不能直接使用，只能作为函数的返回类型。
