TypeScript 如何完成类型推断，哪些场景应主动添加类型注解？

核心结论：TypeScript 的类型推断不是简单地根据右侧值确定一个固定类型，而是综合初始化表达式、上下文类型、控制流和通用最佳类型等信息求出静态类型。能够让编译器准确表达意图时，应优先利用推断；当类型属于公共契约、推断结果过宽或过窄、代码跨越模块边界，或者需要阻止实现细节意外改变接口时，应主动添加类型注解。

底层机制方面，变量初始化通常产生从值到类型的推断。例如使用 const 声明的原始值可保留字面量特征，而使用 let 时往往会发生拓宽。数组包含多个不同成员时，编译器会寻找能覆盖所有成员的候选类型；回调函数则常由参数所在位置提供上下文类型。函数内部还会进行控制流分析，根据判空、typeof、`instanc