Go语言中未声明类型的包级变量是什么？如何使用？

首先，var StdEncoding = NewEncoding(encodeStd)这种写法是Go的类型推断特性——编译器会根据等号右侧表达式的返回值类型，自动确定变量StdEncoding的类型，无需手动指定。

和显式类型声明的区别 #

• 语法简洁性：显式声明需要写成var StdEncoding Encoding = NewEncoding(encodeStd)（假设NewEncoding返回Encoding类型），类型推断省略了类型部分，代码更紧凑，尤其适合类型名称较长的场景。
• 维护便捷性：如果后续重构修改了NewEncoding的返回类型，只要变量使用逻辑兼容，这个声明无需改动；显式声明则必须同步修改类型，否则会编译报错。
• 代码聚焦性：对于返回值明确的变量，类型推断能让代码更关注值本身，而非类型的书写。

适用场景与使用方法 #

• 全局变量初始化：就像你看到的base64.StdEncoding，这类由函数调用初始化的全局变量，返回类型明确，用类型推断能让包级声明更简洁。
• 局部变量声明：日常编码中，局部变量推荐用短变量声明:=（本质也是类型推断），比如str := "hello"，比var str string = "hello"更高效。
• 注意事项：
  • 类型推断的变量类型是静态确定的，一旦声明就无法更改类型，和显式声明的变量一样，Go是强类型语言。
  • 如果右侧表达式返回多值或类型模糊（比如interface{}），编译器可能无法推断，此时必须显式指定类型。
  • 包级变量不能用:=，只能用var 变量名 = 值这种类型推断写法。

举个实际对比例子：

// 显式类型声明
var num int = 10
// 类型推断声明
var num = 10
// 局部变量短声明（类型推断）
num := 10

这三种写法的num都是int类型，使用上完全一致，仅语法形式不同。

回到你提到的base64.StdEncoding，NewEncoding(encodeStd)返回的是*Encoding指针类型，编译器自动将StdEncoding的类型设为*Encoding，你使用它时和显式声明类型的变量没有任何区别，比如调用StdEncoding.EncodeToString()方法，完全正常。

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