TypeScript中let推导基础类型以支持后续赋值，const推导字面量类型确保不可变；混合场景需手动注解或断言，类型推导服务于灵活性与精确性的平衡。

TypeScript 在变量声明时会根据初始化值自动推导基础类型，但 let 和 const 的推导结果有关键区别——核心在于是否允许后续赋值，这直接影响编译器对“类型稳定性”的判断。

let 声明的变量推导出基础类型

let 表示可重新赋值，因此 TypeScript 会把初始值“向上拓宽”为更通用的基础类型，确保后续赋值合法：

Galileo TypeScript sdk

完整的Galileo AI平台 TypeScript/JS SDK 参考，用于评估、观察和保护 GenAI 应用。适用于构建 Node.js 或 TypeScript 项目。

下载

• let count = 42; → 推导为 number（不是字面量 42），后续可赋 count = 100 或 count = -5
• let name = "Alice"; → 推导为 string，后续可赋 name = "Bob"
• let isActive = false; → 推导为 boolean，后续可赋 isActive = true
• let arr = [1, 2, 3]; → 推导为 number[]，后续可 arr.push(4) 或 arr = [5, 6]

const 声明的变量推导出字面量类型

const 表示不可变，编译器认为该值永远固定，因此倾向推导为最精确的字面量类型：

• const count = 42; → 推导为 42（数字字面量类型），不能赋 count = 43（语法错误）
• const name = "Alice"; → 推导为 "Alice"（字符串字面量类型）
• const isActive = true; → 推导为 true（布尔字面量类型）
• const arr = [1, 2, 3]; → 推导为 readonly [1, 2, 3]（元组字面量），不是 number[]；若需数组类型，应显式标注 const arr: number[] = [1, 2, 3]

混合场景下的常见处理方式

• 需要字面量类型但用 let？手动断言或类型注解：

  let direction = "left" as const; // 推导为 "left"
  let mode: "dark" | "light" = "dark"; // 显式联合类型

• 初始化为空值时注意推导陷阱：

  let item = [];     // 推导为 `any[]`（不安全）  
  const items = [];  // 推导为 `never[]`（几乎无法使用）  
  // 更好写法：let items: string[] = []; 或 const items: readonly string[] = [];

• 函数参数默认值也会触发推导：

  function greet(name = "Guest") { /* name 推导为 string */ }

类型推导不是黑箱，它服务于代码意图：let 优先保灵活性，const 优先保精确性。合理搭配能减少冗余注解，同时守住类型边界。