var不能用于类型推断，它在JavaScript中仅是变量声明语法糖；真正支持类型推断的是TypeScript中的const和let，依赖初始化表达式结构实现自动类型推导。
var 关键字不能用于局部变量类型推断来简化代码 —— 它在 JavaScript 中只是声明变量的语法糖，不提供类型推断能力；真有类型推断需求，请用 TypeScript 的 let 或 const 配合类型系统。
JavaScript 中 var 根本不推断类型
var 声明的变量在 JS 运行时完全无类型信息，引擎只做值绑定，不分析右侧表达式类型。所谓“自动推断”是常见误解，源于混淆了编译期（如 TypeScript）和运行期行为。
常见错误现象：
- 写 var count = 42; 后试图调用 count.toFixed() —— 能运行，但不是因为推断出 number 类型，而是 JS 动态执行时临时装箱；
- 把 var user = { name: "Alice" }; 当作强类型对象使用，在 IDE 中期望自动补全 —— 实际只有基础属性提示，且无类型校验；
- 误以为 var 能防止赋值类型混乱，结果 count = "hello" 依然合法。
TypeScript 中该用 const 或 let，而非 var
TypeScript 的类型推断发生在编译阶段，且仅对 const 和 let 有效。var 在 TS 中虽可编译，但会丢失块级作用域语义，且推断行为不一致（尤其在循环或提升场景中）。
使用场景建议：
- 初始化即确定值 → 优先用
const：TypeScript 自动推导最窄类型，如const id = 123推为number，const flag = true推为boolean； - 后续需重新赋值 → 用
let：推断仍生效，但若跨赋值类型不兼容（如先赋 string 后赋 number），TS 编译报错； - 避免
var：它在 TS 中仍允许函数作用域提升，导致推断上下文错乱，比如在 if 块内var x = "a"，外部仍可访问x但类型为any或宽泛联合类型。
真正能靠推断简化代码的写法示例
以下是在 TypeScript 中利用类型推断减少冗余类型标注的典型方式：
${prefix}: ${msg}
关键点：
- 推断依赖初始化表达式结构，越具体越精准（如字面量对象、数组、函数返回值）；
- 避免用
as any或类型断言破坏推断链； - VS Code 中把鼠标悬停在变量上可实时查看推断结果，比查文档更快；
- 如果推断出
any，通常是初始化值太模糊（如空对象{}、未声明类型的函数参数），需补初始值或显式注解。
别被 var 的历史包袱带偏——类型安全和推断能力来自 TypeScript 编译器，不是 JS 变量声明关键字。真正省代码的地方，是写更少的类型标注，而不是换一个声明关键词。
