Go语言类型推断的好处？

提升程序的灵活性，代码重构变得容易，不损失程序运行效率(类型的确定在编译器完成)。

变量的重声明

再次声明的类型必须与原类型相同。
只有短变量声明时才能发生。
声明和赋值的变量有多个，并至少一个新变量。

作用域

Golang的作用域分为包级作用域，模块级作用域，函数作用域，全局作用域。
在当前块下使用的变量首先在当前块中查找是否存在声明。如果没有，则继续在当前块的外层块查找。直到查找到程序文件的包那一层。
如果要使用导入的包中的程序实体，一般要在对应的程序实体前加上 包名. 但也可以import . 包名后直接使用对应的程序实体。

不同代码块中重名变量与变量重声明中变量区别？

变量重声明在一个代码块中，是对一个变量的多次声明。
不同代码块中的重名变量在不同代码块中，是不同的变量。
变量重声明变量类型必须一样，可重名变量类型可以任意。

怎么判断一个变量的类型？

使用“类型断言”表达式：
判断container是否为切片类型：
value, ok = interface{}(container).([]string)
即先将container转换为空接口类型(不包含任何方法定义)，再判断是否是字符串切片类型。
ok为true，返回值value为对应[]string类型的值。否则为value为nil。

别名类型，类型在定义，潜在类型

别名类型：type MyString = string
除了名称与string类型完全相同。
类型再定义：type MyString2 string
string称为MyString2的潜在类型。