第二节 基础核心概念-any、unknown、never的区别

​​一、核心特性对比​​

​​示例代码对比​​

// any：直接操作可能引发运行时错误
let a: any = "hello";
a.toFixed(2); // 编译通过，运行时报错

// unknown：需类型收窄
let b: unknown = "world";
if (typeof b === "string") b.toUpperCase(); // 安全

// never：用于不可能返回的函数
function error(): never {
  throw new Error("Fail");
}

​​二、详细解析与使用场景​​

​​1. any：灵活但危险​​

• ​​核心问题​​：
  • 污染类型系统（赋值给其他变量会传播 any）
  • 绕过编译检查，导致运行时错误（如调用不存在的方法）
• ​​适用场景​​：
  • 旧项目迁移至 TS 的过渡期
  • 处理无类型定义的第三方库（临时方案）
• ​​风险提示​​：

  ⚠️ 大型项目中滥用 any 会显著降低代码可维护性，应通过 ESLint 规则限制使用。

​​2. unknown：安全的未知类型容器​​

• ​​核心机制​​：
  • 接收任意值，但​​必须通过类型断言（as）或类型收窄（typeof/instanceof）后才能操作​​。
• ​​典型场景​​：
  • 动态内容处理（如 JSON 解析、用户输入）：

    function parseResponse(data: unknown): string {
      if (typeof data === "string") return data;
      throw new Error("Invalid type");
    }

  • API 响应类型不确定时（替代 any）。
• ​​优势​​：

  🌟 相比 any，强制开发者显式处理类型，避免隐藏错误。

​​3. never：逻辑完备性的守护者​​

• ​​核心意义​​：
  • 表示代码路径​​永不可达​​（如抛出错误、死循环）。
  • 用于类型系统层面的穷尽检查（Exhaustiveness Checking）。
• ​​关键场景​​：
  • ​​函数永不返回​​：

    function infiniteLoop(): never {
      while (true) {}
    }

  • ​​联合类型全覆盖验证​​：

    type Shape = "circle" | "square";
    function handleShape(s: Shape) {
      switch (s) {
        case "circle": break;
        case "square": break;
        default:
          const _: never = s; // 若新增类型未处理，编译报错
      }
    }

  • ​​类型编程中过滤无效值​​（如 Exclude<T, U>）。

​​三、开发实践建议​​

1. ​​优先级策略​​：
   unknown > never > any
   • 处理未知数据首选 unknown。
   • 确保逻辑分支完备用 never。
   • any 仅作最后手段。
2. ​​工程化配置​​：
   • 在 tsconfig.json 启用 strict: true 和 noImplicitAny: true。
   • 通过 ESLint 规则禁止隐式 any（如 @typescript-eslint/no-explicit-any）。

​​总结​​：

• ​​any​​：应急逃生舱，代价是类型安全；
• ​​unknown​​：安全黑盒，需钥匙（类型检查）才能开启；
• ​​never​​：逻辑哨兵，守卫代码的完整性。
  三者协同构建 TS 类型系统的多层次安全防线，合理使用可显著提升代码健壮性。