Golang支持类型推断为何仍属静态类型？编译快的原因是什么？

为什么Go是静态类型语言，而非动态类型？ #

静态类型语言的核心特征是类型检查在编译阶段完成，变量的类型一旦确定就不可在运行时改变。你提到的三种变量声明写法，本质都是编译期确定类型：

• var i int = 2：显式指定变量类型，编译时直接确认i为int类型。
• var i = 2：编译器通过右侧值的类型做类型推断，编译阶段就确定i是int，后续不能给i赋值非int类型的值（比如字符串），否则会触发编译错误。
• i := 2：短变量声明语法，同样是编译期类型推断，i的类型被固定为int，运行时无法变更类型。

而动态类型语言（比如Python、JavaScript）的类型检查是在运行时进行的，变量类型可以随时改变——比如先给变量赋值整数，之后再赋值字符串完全合法。Go不允许这种行为，所有类型错误都会在编译阶段被拦截，因此Go属于静态类型语言，类型推断只是简化了声明写法，并没有改变静态类型的本质。

为什么Go在编译期做类型解析，却仍以编译速度快著称？ #

Go的编译速度快，是因为它在语言设计和编译工具链上做了针对性优化，抵消了类型解析带来的开销：

• 极简的类型系统：Go舍弃了C++、Java中复杂的特性（如类继承重载、复杂泛型、模板元编程等），类型系统简单直接，类型解析的逻辑复杂度极低，编译时处理速度快。
• 单遍编译策略：Go编译器采用单遍编译流程，大部分编译工作（词法分析、语法分析、类型检查、代码生成）在一次源码遍历中完成，避免了多遍编译带来的时间损耗。
• 高效的依赖管理与缓存：Go的模块机制（及早期的GOPATH）让依赖处理更高效，编译器只会编译必要的依赖，且依赖的编译结果会被缓存，重复编译时直接复用缓存，无需重新处理。
• 编译工具链的针对性优化：Go编译器本身用Go语言实现，开发团队针对编译速度做了大量底层优化，比如快速的词法/语法分析器、高效的中间代码生成逻辑，进一步提升了编译效率。

内容的提问来源于stack exchange，提问作者sharath