推断依赖上下文

- 位置：《Go语言底层原理剖析》第3章《类型推断全解析》3.3节《类型推断原理》 - 结论依据：原文说明类型推断依赖编译器的处理过程（词法解析→语法分析→抽象语法树构建→类型检查→中间代码→代码优化→生成机器码），并以 a：=333 为例：词法阶段将 333 标记为未定义的 IntLit 类型，抽象语法树阶段用高精度的 Mpint 存储，直到类型检查阶段才将变量 a 的类型确定为 types.Types[TINT]，SSA 阶段才转换为具体的 int64 常量。因此可以推出"类型推断在编译期结合上下文逐步确定静态类型，而非运行时动态判断"的结论。 - 原始内容：类型推断依赖编译器的处理能力，编译器执行的过程为：词法解析→语法分析→抽象语法树构建→类型检查→中间代码→代码优化→生成机器码……以赋值语句a：=333为例，完成词法解析与语法分析时，此赋值语句将以AssignStmt结构表示……在类型检查阶段，右节点中的Type字段存储的类型会变为types.Types[TINT]。