当 golang 还允许不为变量指定任何类型时，它是如何静态类型化的

Question

所有这些都在 golang 中工作： var i int = 2 var i = 2 i := 2 为什么我们说 golang 是静态类型的？它应该是动态类型的吧？如果golang是在编译时进行类型解析，那么它应该是在增加程序的编译时间，那么为什么golang以编译时间快着称呢？

Answer 1

在所有这些情况下，i是一个整数。在 的情况下i := 2，变量i隐含为整数。您可以稍后将51or分配42给i，但不能将任何其他数据类型分配给 is。

Go 只是隐式地从初始赋值中推断出数据类型。

Answer 2

它是静态类型的，因为您不能在运行时更改变量的类型。不明确指定变量的类型并不意味着变量没有类型，在这些情况下使用“类型推断”。例如，编译器查看表达式的 RHS，看到 2，然后根据规范中列举的规则决定赋予变量什么类型。