TypeScript 中any 和 unknown的区别

266 阅读2分钟

在 TypeScript 中,anyunknown 都表示“任意类型”,但它们在类型安全性上有本质区别:


1. any:放弃类型检查

  • 特点
    • 可以赋值给任意类型,也可以接受任意类型的值。
    • 绕过所有类型检查,允许直接调用方法、访问属性或进行任意操作。
    • 相当于告诉 TypeScript:“别管这个变量的类型,我负责处理它”。
  • 风险
    let value: any = "hello";
    value.toUpperCase(); // 编译通过(但如果是数字,运行时会报错)
    value = 42; // 可以随意改变类型
    value(); // 甚至能当函数调用(编译通过,运行时可能崩溃)
    

2. unknown:安全的动态类型

  • 特点

    • 可以接受任意类型的值(与 any 相同)。
    • 必须显式进行类型检查或断言后才能操作,强制开发者确保类型安全。
    • 默认情况下,不能直接调用方法、访问属性或赋值给其他类型(除非明确处理类型)。
  • 安全示例

    let value: unknown = "hello";
    
    // 直接操作会报错:
    value.toUpperCase(); // ❌ 编译错误:Object is of type 'unknown'
    
    // 必须通过类型检查或断言:
    if (typeof value === "string") {
      value.toUpperCase(); // ✅ 类型收窄为 string
    }
    
    const str = value as string; // ✅ 类型断言
    str.toUpperCase();
    

3. 关键区别总结

特性anyunknown
赋值可赋值给任意类型只能赋值给 anyunknown
操作允许任意操作(无类型检查)必须显式处理类型后才允许操作
类型安全不安全(可能运行时错误)安全(强制类型检查)
设计目的兼容旧代码或快速原型替代 any 的安全选择

4. 何时使用?

  • unknown:当你需要处理动态内容(如第三方数据、用户输入),但希望保持类型安全。
  • any:仅在需要快速修复旧代码或彻底绕过类型检查时使用(尽量避免)。

代码对比示例

// any:无需检查,直接操作(危险!)
function unsafeExample(data: any) {
  data.method(); // 编译通过,但运行时可能崩溃
}

// unknown:必须显式处理类型(安全)
function safeExample(data: unknown) {
  if (data && typeof data === "object" && "method" in data) {
    (data as { method: () => void }).method(); // 安全操作
  }
}

结论:优先使用 unknown,它强制你处理类型不确定性,从而减少运行时错误。any 应作为最后手段。