Go语言规格说明书 之 变量声明(Variable/Short variable declarations)

时间:2021-12-26 22:39:02

go version go1.11 windows/amd64

本文为阅读Go语言中文官网的规则说明书(https://golang.google.cn/ref/spec)而做的笔记,完整的介绍Go语言的 变量声明(Variable declarations)和 简短变量声明(Short variable declarations)。

Go语言有两种 变量声明方式:普通的、简短的。

普通的 方式 需要 使用 var关键字,简短的需要使用 := 组合符号。

普通的 方式 可以在任何作用域使用,而 简短的 方式 仅限于 函数的作用域内,或者,函数内的 if、for、switch 等语句中使用。

下面分别介绍。

注意,本文说的是 变量声明,而不是变量定义、初始化,但也会包含一些定义、初始化的内容。

普通的变量声明方式

和Python类似,可以在一行声明一个变量,也可以同时声明多个变量(变量列表)。

对于多个变量的声明,其中可以存在 空标识符(_),表示忽略对应位置的 值的表达式列表中的值。

官文示例 及 解释:

var i int // 这里的类型 int 不能少
var U, V, W float64 // 声明三个变量,初始化为 float64的默认值 0.0。这样来看,每个 声明了的变量 都是有值得,只不过,有些是默认值。可以查看 zero value
var k = 0 // 没有指定类型,但基于了初始值,那么,k的类型是什么呢?下面会进行测试,结果为 int
var x, y float32 = -1, -2 // 指定了类型,也提供了值列表
var ( // 这个还不太理解,前面某博文说这样的方式是定义 全局变量!
i int
u, v, s = 2.0, 3.0, "bar"
)
var re, im = complexSqrt(-1)
var _, found = entries[name] // map lookup; only interested in "found" // 空标识符(_)表示忽略函数返回的第一个值,只需要(关注)第二个

进一步测试:

func main() {
var x1 = 0
fmt.Println(typeof(x1))
var x2 = 0.0
fmt.Println(typeof(x2))
} // 测试函数
func typeof(v interface{}) string {
return fmt.Sprintf("%T", v)
}

测试结果:

int
float64

关于声明的变量的类型:

如果声明语句中存在类型名称,那么,变量就是这个类型;

否则,变量的类型为各自的初始化的值的类型(前面说过,变量的类型、初始化值 不能都不存在),此时,如果值是一位未类型化的常量(an untyped constant),变量的类型就是这个常量转换后的默认类型——如上面的测试中,0的默认类型是int、0.0的默认类型是float64;如果值是一个未类型化的布尔值(an untyped boolean value),那么,变量的类型为bool。

注意,预定义值 nil 不能用于给一个 没有指明类型 的变量赋值(指明了就可以了吧)。

官文示例:

var d = math.Sin(0.5)  // d is float64
var i = 42 // i is int
var t, ok = x.(T) // t is T, ok is bool // 不懂!还需要dig
var n = nil // illegal // 没有指定类型

注意,编译器会将函数体内 声明了却从未使用 的变量设置为非法,编译 自然就不能通过,程序也不能执行了。

简短的变量声明方式

前面的变量声明需要关键字 var,而这里是 禁止用它的,也不需要指定变量类型,也不需要使用单独的等号(=),,需要用 := 组合符号——必须的,其后是一个或多个值,或者返回一个或多个值得 表达式。

声明中没有类型,不代表 变量没有类型,其类型根据赋予它们的值类进行推断的(推断规则TBD,我要去找找文档)。

官方示例:

i, j := 0, 10
f := func() int { return 7 }
ch := make(chan int)
r, w := os.Pipe(fd) // os.Pipe() returns two values
_, y, _ := coord(p) // coord() returns three values; only interested in y coordinate

进阶:

比普通变量声明方式多了一个 重新声明变量(redeclare) 的特性。

重新定义 可以 认为是 重新给 前面声明的变量赋值,因此,新的值得类型要匹配。

还有一个关键要求:

重新声明变量 只能出现在 变量列表的声明方式中,而且,在这个变量列表中,至少存在着一个 新的非空变量。

我的测试:

a := 123 // 声明变量a,成功,int型

a := 321 // 失败,只是一个变量,而不是变量列表,删除,再测试

a := "str" // 类型错误,单个变量错误,删除上面所有,再测试

// ----翻篇----
v1, a := "v1", 123 // 声明两个变量 v1、a
v1, a := "v11", 123 // 失败,不存在一个新的非空变量,删除此句,再测试
v2, a := "v2", 123 // 和变量v2一起重新声明a,成功

a, v3 := 999, "v2" // 切换变量a在重新声明语句中的位置

再次提示,简短声明语句 仅限于 函数的作用域内,或者,函数内的 if、for、switch 等语句中使用。

本文完。

需要结合 作用域、类型初始化值等一起看,会获得更完整的知识。