TypeScript中unknown与any的区别及安全使用指南

背景与核心差异

TypeScript 3.0 引入了 unknown 类型，旨在解决 any 类型过于宽松带来的安全隐患。尽管两者都允许接收任意类型的值赋值，但在后续操作上存在严格限制：

• any 类型：被视为“类型系统的逃逸舱”。你可以对 any 变量执行任意操作（如调用函数、访问属性），编译器不会报错，但这完全依赖开发者的自我约束，极易导致运行时异常。
• unknown 类型：被称为“类型安全的 any”。它同样接受任何赋值，但在使用该变量的任何方法之前，必须先缩小其类型范围或通过类型断言明确类型。

实际操作场景分析

第1步：演示 any 类型的风险

目的：展示使用 any 时 TypeScript 无法提供编译期保护。

当我们定义一个接受回调函数的参数，并将其标记为 any 时：

function invokeAnything(callback: any) {
  callback();
}

invokeAnything(1); // 编译通过，但运行时报错：TypeError: callback is not a function

由于 callback 被声明为 any，TypeScript 允许对其直接调用 ()。然而，传入的数字 1 并非函数，这会导致程序在运行时抛出 TypeError。TypeScript 在此场景下未能发挥静态检查的优势。

第2步：使用 unknown 强化类型检查

目的：利用 unknown 强制进行类型验证。

将上述函数参数类型改为 unknown：

function invokeAnything(callback: unknown) {
  callback();
  // 错误 TS2571: Object is of type 'unknown'.
}

此时，TypeScript 编译器会立即报错。因为对于 unknown 类型的变量，编译器不知道它具有哪些属性或方法，因此禁止直接操作。这有效地阻止了对非函数值（如数字）的非法调用。

第3步：实施类型守卫（Type Narrowing）

目的：安全地处理未知类型数据。

要正确使用 unknown，必须在操作前证明其符合预期类型。最常用的方式是使用 typeof 进行类型守卫：

function invokeAnything(callback: unknown) {
  if (typeof callback === 'function') {
    // 在此作用域内，callback 被窄化为 function 类型
    callback();
  }
}

invokeAnything(1); // 编译通过，且运行安全

在 if 语句块内部，TypeScript 智能地将 callback 识别为 function 类型，从而允许调用。这种机制确保了只有在确认为函数时才会执行调用操作。

心智模型总结

理解两者的最佳方式是遵循以下规则：

• 写入性（Assignability）：any 和 unknown 都可以赋值给任何类型，也可以接收任何类型的值。这一维度上它们是对称的。
• 读取性（Readability/Usage）：any 可以被自由读写；unknown 只能写入，若要读取（操作）必须先经过类型转换或类型守卫。

综上所述，除非你有充分的理由需要绕过类型检查（例如兼容极不稳定的第三方遗留代码），否则应优先使用 unknown。它提供了 any 的灵活性，同时保留了 TypeScript 核心的类型安全保障。

以上就是 TypeScript 中 unknown 与 any 的详细对比与安全使用指南，更多关于 TypeScript 进阶技巧的资料请关注本站其它相关文章！