Go 语言将在 1.13 版本中引入的变化

从 Go 1.0 发布到当前的 1.12 版本，Go 语言本身的语法改动非常少。这使得一本五年前出版的 Go 语言编程书在当前看来仍然不是很过时。

去年，Go 官方设计团队宣布了 Go 2 计划。Go 2 只是一个象征性名词，它并不代表着 Go 2.x 版本，而是表示 Go 语言将在后续版本中迎来较大变化。Go 1.13 将是一个开始此大变化的起步版本。本文余下的部分将列出一些（可能）在 Go 1.13 中将引入的变化。

1. 移位操作中的右操作数将允许为有符号整数

截至目前，移位操作（<<和>>）中的右操作数必须为无符号类型确定整数或者可以表示成uint值的类型不确定值。从 Go 1.13 开始，移位操作中的右操作数将可以是任何整数类型（包括有符号类型）的类型确定值或者可以表示成任何整数类型的不确定值。但是如果一个右操作数是一个常量，则它仍旧必须为非负。

比如，下面这行在 Go 1.12-版本中编译不过，但是从 Go 1.13 开始，将编译没问题。

var _ = 1 << int(5)

注意，当一个非常量负整数被用作移位操作中的右操作数时，此操作将造成一个恐慌，比如下面这段代码：

var x = -2
var _ = 1 << x // panic!

2. 更多的数值字面表示形式

截至 Go 1.12 ，Go 只支持三种整数字面表示形式：十六进制形式、八进制形式和十进制形式。比如，下面是十进制数 15 的三种字面表示形式：

0xF // 十六进制表示（必须使用 0x 或者 0X 开头）
017 // 八进制表示（必须使用 0 开头）
15  // 十进制表示（必须不能用 0 开头）

Go 1.13 将引入二进制表示形式（千呼万唤始出来）。二进制形式必须使用0b或者0B开头，后面跟随的数字只能为0或1。一个示例：

0b11001 // 十进制的 25 的二进制字面表示
0B111   // 十进制的 7 的二进制字面表示

从 Go 1.13 开始，八进制数除了目前的使用 0 开头，将也可以使用0o或者0O开头。比如，下面三个八进制表示是等价的。

017  // 15 的八进制表示
0o17 // 15 的八进制表示
0O17 // 15 的八进制表示

另外，浮点数的字面表示形式也得到了扩充。可以在内存中精确表示的浮点数将可以用十六进制文字表示来表示。

和整数的十六进制文字表示一样，浮点数的十六进制文字表示也必须使用0x或者0X开头。
和整数的十六进制文字表示不同的是，字母p或者P可以出现在浮点数的十六进制文字表示中，其后跟随着一个幂指数。
另外要注意，e和E不能出现在浮点数的十六进制文字表示中。

一些浮点数的十六进制文字表示例子：

0x1p-2     // == 0.25
0x2.p10    // == 2048.0
0x1.Fp+0   // == 1.9375
0X.8p-0    // == 0.5
0X1FFFP-16 // == 0.1249847412109375

而下面这几个均不是合法的浮点数的十六进制文字表示。

0x.p1    // 浮点数的十六进制文字表示必须包含至少一个数字
1p-2     // p 指数形式只能出现在浮点数的十六进制文字表示中
0x1.5e-2 // e 和 E 不能出现在浮点数的十六进制文字表示中

下面这个表示是合法的，但是它不是浮点数的十六进制文字表示。事实上，它是一个减法算术表达式。其中的e为是十进制中的 14，0x15e为一个整数十六进制文字表示，-2并不是此整数十六进制文字表示的一部分。

0x15e-2 // == 0x15e - 2 (整数相减表达式)

数值字面表示形式的最后一点改动是：下划线_可以出现在数值字面表示形式中用做分段符以增强可读性。但是要注意，在一个数值字面表示中，一个下划线_不能出现在此字面表示的首尾，并且其两侧的字符必须为（相应进制的）数字字符或者进制表示头。

一些合法和不合法使用下划线的例子：

// 合法的使用下划线的例子
6_9          // == 69
0_33_77_22   // == 0337722
0x_Bad_Face  // == 0xBadFace
0X_1F_FFP-16 // == 0X1FFFP-16

// 非法的使用下划线的例子
_69        // 下划线不能出现在首尾
69_        // 下划线不能出现在首尾
6__9       // 下划线不能相连
0_xBadFace // x 不是一个合法的八进制数字
1_.5       // .不是一个合法的十进制数字
1._5       // .不是一个合法的十进制数字

3. 对 errors 标准库包的功能的增强

除了上述语法变化，Go 1.13 中很可能将对 errors 标准库包的功能（当前只包含一个原型为func New(text string) error的函数）进行增强。由于篇幅原因，本文将不详述这些增强，本文在这里只是简单概括一下。对 errors 标准库包功能的增强本公众号将另开一篇文章详述。

简单说来，Go 1.13 主要将对errors标准库包做出如下增强：

支持 error 包裹嵌套（即支持 error 链）。
支持更好的 error 跟踪调试体验。
支持更完美的 error 格式打印。

本文首发在微信 Go 101 公众号，欢迎各位转载本文。Go 101 公众号将尽量在每个工作日发表一篇原创短文，有意关注者请扫描下面的二维码。