Go 语言中关于断行规则的一个细节

首先以一个小问题开头。请问下面这个程序的编译运行将表现出何种行为？三个选项：

编译不通过；
打印输出“真”；
打印输出“假”。

package main

func alwaysFalse() bool {
  return false
}

func main() {
  switch alwaysFalse()
  {
  case true:
    println("真")
  case false:
    println("假")
  }
}

（先思考一下，答案需翻页。）

↓

OK，公布答案。答案是 2，打印输出“真”。答对的可随意继续或返回。答错的同志继续阅读下面的解释。

有些答错的同志可能觉得此程序编译不过，因为switch代码块的开大括号{被放在了下一行，这在 Go 中时不允许的。其实非也，其实 Go 语言的断行规则定义如下：

在 Go 代码中，注释除外，如果一个代码行的最后一个语法词段（ token ）为下列所示之一，则一个分号将自动插入在此字段后（即行尾）：

一个标识符；
一个整数、浮点数、虚部、码点或者字符串字面表示形式；
这几个跳转关键字之一：break、continue、fallthrough和return；
自增运算符++或者自减运算符--；
一个右括号：)、]或}。

为了允许一条复杂语句完全显示在一个代码行中，分号可能被插入在一个右小括号)或者右大括号}之前。

很多人印象中的规则“代码块的开大括号不能被放在下一行”其实只是一个通常的而非普适的规则。根据上述规则，上面这个程序中的 switch 代码块在编译前将被改写为如下所示（注意插入的几个分号）：

  switch alwaysFalse();
  {
  case true:
    println("真");
  case false:
    println("假");
  };

另外有些答错的同志可能觉得此程序运行时应该打印输出“假”。这里，我们还需要知道 Go 中关于switch代码块的另一个常识：switch代码块中开大括号{前的比较表达式可以省略，其默认值为true。因此上面这个switch代码块将被继续改写为如下所示：

  switch alwaysFalse();
  true {
  case true:
    println("真");
  case false:
    println("假");
  };

到此为止，我们可以清楚地得知此程序为什么会打印输出“真”了。

结尾展示另外一段编译没问题但有些不符常规的代码：

package main

func main() {
  for i, j := 0, 10
  i < 10
  j-- {
    if i++
    i > j {
      break
    }
    println(i)
  }
}

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