any, never, unknown的区别

最新推荐文章于 2025-06-12 17:28:10 发布

Passion is Energy

最新推荐文章于 2025-06-12 17:28:10 发布

阅读量1k

点赞数

CC 4.0 BY-SA版权

分类专栏： typescript 文章标签： typescript

本文链接：https://blog.csdn.net/brucehongsen/article/details/120416680

typescript 专栏收录该内容

3 篇文章

订阅专栏

本文探讨了 TypeScript 中的 any、unknown 和 never 类型的区别。any 类型允许编译时不进行类型检查，而 unknown 更安全，需要通过类型断言或比较才能使用。never 代表永远不会出现的类型，常见于抛出异常或终止程序的函数中。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

any => unknown => never

any: 没有类型校验，当开发者不希望 ts在编译时做 typechecking, 而且希望 ts 相信这行代码是 ok的

known: known 是 is safer than any. 当值是 known，不允许对它做任何操作，看代码：

function f1(a: any) {
  a.b(); // ok 👌 , any 允许这么做，就算 a 可能只是一个数字，它并没有 b 方法
}
function f2(a: unknown) {
  a.b();  // 报错 ❌，使用 unknow的方法，必须先提前校验它，如何校验？
}

如何校验？可以使用 typeof 或者比较之后，才可以使用，才不会报错！！

if (maybe === true) {
  // TypeScript knows that maybe is a boolean now
  const aBoolean: boolean = maybe;
  // So, it cannot be a string
  const aString: string = maybe;
Type 'boolean' is not assignable to type 'string'.
}
 
if (typeof maybe === "string") {
  // TypeScript knows that maybe is a string
  const aString: string = maybe;
  // So, it cannot be a boolean
  const aBoolean: boolean = maybe;
Type 'string' is not assignable to type 'boolean'.
}

never 类型是指，这个类型永远不可能，比如一个值，既是 number 类型，又是 string类型
一般，never 在用于终止程序运行和抛出异常的 function 中

function fail(msg: string): never {
  throw new Error(msg);
}