TypeScript 如何进行类型推断，哪些情况下应主动添加类型标注

# 核心结论

TypeScript会综合初始化表达式、上下文位置、控制流、泛型实参和候选类型之间的关系进行类型推断，而不是简单根据某一次赋值“猜测类型”。工程上应遵循“局部实现优先推断，公共边界主动标注”的原则：局部变量、短小内部函数和上下文明确的回调通常让编译器推断即可；导出函数、组件公开属性、跨模块数据结构、递归函数以及容易发生字面量拓宽的位置，应增加明确标注。重复书写显然类型不会提升安全性，反而可能增加维护成本。

const method = "GET";
let status = "idle";

const request = {
  method: "GET",
  retry: 3,
} as