ts中的unknown、never、any的区别

一、any

在 TypeScript 中，any 类型可以被赋予任何类型的值，它是一种动态类型。使用 any 类型时，TypeScript 编译器将会关闭类型检查，这意味着可以对任何属性进行访问，调用任何方法，而不会受到编译器的限制。因此，any 类型可以被看作是 TypeScript 中的“逃逸阀”，在某些情况下可以用来解决类型不确定的问题，但也会降低类型安全性。

let x: any = 10;
x = "Hello, TypeScript!";
x.foo(); // 不会报错，但在运行时可能会出现异常

二、unknown

unknown 类型是 TypeScript 中的安全类型。当无法确定一个变量的类型时，可以使用 unknown 类型来代替 any。与 any 不同，对于 unknown 类型的值，不能直接对其进行操作，除非先进行类型断言或类型检查。这样可以在编译时确保类型的安全性。

let y: unknown = 10;
// let z = y + 5; // 会报错，因为无法确定 y 的类型
if (typeof y === 'number') {
    let z = y + 5; // 可以通过类型检查来明确 y 的类型
}

三、never

never 类型表示的是永远不会发生的值的类型。它通常用于描述函数的返回类型，当函数抛出异常、进入无限循环或者根本不会返回时，就会被推断为 never 类型。

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

function infiniteLoop(): never {
    while (true) {
        // 无限循环
    }
}