上下文类型如何影响回调函数、对象字面量与重载解析

# 核心结论

上下文类型是指 TypeScript 根据表达式所在位置的预期类型，反向为表达式内部提供类型信息。它最常影响回调参数、对象字面量、数组元素、赋值表达式和 JSX 属性。回调参数能自动得到类型，往往不是函数体自身推断出的，而是调用目标的参数签名提供的。工程中应尽量让回调和对象字面量直接处于明确上下文；若提前抽取到没有注解的变量中，可能丢失参数类型、字面量精度以及额外属性检查。

# 底层机制

调用数组的 map 时，编译器先从数组元素类型和方法签名得到回调的预期函数类型，再将其参数类型应用到箭头函数参数。因此回调内能够访问元素成员。在对象字面量赋给已标注变量、作为函数实参或作为组件属性时，目标类型