Golang 1.10 到 1.17 期间发生的语言规范改动

   4 min read

因为 Golang 1.10 到 1.17 期间发生了相当多的语言规范改动,所以写了这篇博客来记录它。

Golang Logo

Golang 1.10

无类型常量移位

确定了无类型常量移位这种极端场景的处理方法。

允许这样的索引表达式:x[1.0 << s],其中 s 是无符号整数。

方法表达式

放宽了方法表达式的语法。允许任何类型的表达式作为接收器。如:struct{io.Reader}.Read

Golang 1.11

语言规范没有改动。

Golang 1.12

语言规范没有改动。

Golang 1.13

现代化的数字字面量前缀

虚数字面量

虚数后缀 i 原来只能跟十进制整数和浮点数字面量一起使用。

现在新增了对二进制和十六进制整数的支持。如:0b1011i

数字分隔符

可以使用下划线分隔任何数字字面量。

下划线可以出现在任何两个数字之间或前缀和第一个数字之间。如:1_000_0000b_1010_01103.1415_9265

移位操作

移位操作去除了位移量必须是无符号数的限制。如:x << y,其中 y 可以是有符号数。

Golang 1.14

嵌入非空同名方法

允许嵌入具有重叠方法集的接口:来自嵌入式接口的方法可能与(嵌入)接口中已经存在的方法具有相同的名称和相同的签名。

Golang 1.14 之前,允许内嵌多个空接口:

type Man interface {
}

type Women interface {
}

type Human interface {
	Man
	Women
}

而不允许内嵌多个非空接口:

type Man interface {
	Walk()
}

type Women interface {
	Walk()
}

type Human interface {
	Man
	Women
}

Golang 1.14 之后,允许内嵌多个非空接口。这些接口的方法可以同名或不同名,如果同名的话,就需要这些方法具有相同的签名,否则就是错误的:

type Man interface {
	Walk(int) int
}

type Women interface {
	Walk(string) string
}

type Human interface {
	Man
	Women
}

Golang 1.15

语言规范没有改动。

Golang 1.16

语言规范没有改动。

Golang 1.17

切片转换为数组指针

将切片转换为数组指针时,会返回一个指向切片底层数组的指针。如:

a := []int{1, 2, 3}
b := (*[3]int)(a)

如果目标数组的长度,大于原切片的长度,则会发生运行时恐慌。

新增 unsafe.Add 函数

unsafe.Add(ptr, len) 将 len 添加到 ptr,然后返回一个指针。

新增 unsafe.Slice 函数

unsafe.Slice(ptr *ArbitraryType, len IntegerType) []ArbitraryType 通过 ptr 和 len 构造一个切片。相当于:(*[len]ArbitraryType)(unsafe.Pointer(ptr))[:]

参考链接

Go 1.10 Release Notes

Go 1.13 Release Notes

Go 1.14 Release Notes

Go 1.17 Release Notes