Go代码断行规则

如果你已经写了一些Go代码，你应该知道，Go代码风格不能太随意。具体说来，我们不能在任意一个空格或者符号字符处断行。本文余下的部分将列出Go代码中的详细断行规则。

分号插入规则

我们在Go编程中常遵循的一个规则是：一个显式代码块的起始左大括号{不放在下一行。比如，下面这个for循环代码块编译将失败。

    for i := 5; i > 0; i--
    { // error: 未预料到的新行
    }

为了让上面这个for循环代码块编译成功，我们不能在起始左大括号{前断行，而应该像下面这样进行修改：

    for i := 5; i > 0; i-- {
    }

然而，有时候起始左大括号{却可以放在一个新行上，比如下面这个for循环代编译时没有问题的。

    for
    {
        // do something ...
    }

那么，Go代码中的根本性换行规则究竟是如何定义的呢？在回答这个问题之前，我们应该知道一个事实：正式的Go语法是使用分号;做为结尾标识符的。但是，我们很少在Go代码中使用和看到分号。为什么呢？原因是大多数分号都是可选的，因此它们常常被省略。在编译时刻，Go编译器会自动插入这些省略的分号。 比如，下面这个程序中的十个分号都是可以被省略掉的。

package main;
import "fmt";
func main() {
    var (
        i   int;
        sum int;
    );
    for i < 6 {
        sum += i;
        i++;
    };
    fmt.Println(sum);
};

假设上面这个程序存储在一个semicolons.go文件中，我们可以运行go fmt semicolons.go将此程序中的不必要的分号去除掉。在编译时刻，编译器会自动此插入这些去除掉的分号（至此文件的内存中的版本）。 自动插入分号的规则是什么呢？Go白皮书这样描述：

• 在Go代码中，注释除外，如果一个代码行的最后一个语法词段（token）为下列所示之一，则一个分号将自动插入在此字段后（即行尾）：
  • 一个标识符；
  • 一个整数、浮点数、虚部、码点或者字符串字面表示形式；
  • 这几个跳转关键字之一：break、continue、fallthrough和return；
  • 自增运算符++或者自减运算符—；
  • 一个右括号：)、]或}。
• 为了允许一条复杂语句完全显示在一个代码行中，分号可能被插入在一个右小括号)或者右大括号}之前。

对于上述第一条规则描述的情形，我们当然也可以手动插入这些分号，就像此前的例子中所示。换句话说，这些分号在编程时是可选的。 上述第二条规则允许我们写出如下的代码：

import (_ "math"; "fmt")
var (a int; b string)
const (M = iota; N)
type (MyInt int; T struct{x bool; y int32})
type I interface{m1(int) int; m2() string}
func f() {print("a"); panic(nil)}

编译器在编译时刻将自动插入所需的分号，如下所示：

var (a int; b string;);
const (M = iota; N;);
type (MyInt int; T struct{x bool; y int32;};);
type I interface{m1(int) int; m2() string;};
func f() {print("a"); panic(nil);};

编译器不会为其它任何情形插入分号。如果其它任何情形需要一个分号，我们必须手动插入此分号。比如，上例中的每行中的第一个分号必须手动插入。下例中的分号也都需要手动插入。

var a = 1; var b = true
a++; b = !b
print(a); print(b)

从以上两条规则可以看出，一个分号永远不会插入在for关键字后，这就是为什么上面的裸for循环例子是合法的原因。 分号自动插入规则导致的一个结果是：自增和自减运算必须呈现为单独的语句，它们不能被当作表达式使用。比如，下面的代码是编译不通过的：

func f() {
    a := 0
    println(a++)
    println(a--)
}

上面代码编译不通过的原因是它等价于下面的代码：

func f() {
    a := 0
    println(a++;)
    println(a--;)
}

分号自动插入规则导致的另一个结果是：我们不能在选择器中的句点.之前断行。在选择器中的句点之后断行是允许的，比如：

    anObject.
        MethodA().
        MethodB().
        MethodC()

而下面这样是非法的：

    anObject
        .MethodA()
        .MethodB()
        .MethodC()

此代码片段是非法的原因是编译器将自动在每个右小括号)后插入一个分号，如下面所示：

    anObject;
        .MethodA();
        .MethodB();
        .MethodC();

package main
import "fmt"
func alwaysFalse() bool {return false}
func main() {
    for
    i := 0
    i < 6
    i++ {
        // 使用i …
    }
    if x := alwaysFalse()
    !x {
        // …
    }
    switch alwaysFalse()
    {
    case true: fmt.Println("true")
    case false: fmt.Println("false")
    }
}

    switch alwaysFalse() {
    case true: fmt.Println("true")
    case false: fmt.Println("false")
    }

    switch alwaysFalse();
    {
    case true: fmt.Println("true")
    case false: fmt.Println("false")
    }

    switch alwaysFalse(); true {
    case true: fmt.Println("true")
    case false: fmt.Println("false")
    }

func f() {
    switch x {
    case 1:
    {
        goto A
        A: // 这里编译没问题
    }
    case 2:
        goto B
        B: // syntax error: 跳转标签后缺少语句
    case 0:
        goto C
        C: // 这里编译没问题
    }
}

func f(x int) {
    switch x {
    case 1:
    {
        goto A
        A:
    ;} // 一个分号插入到了这里
    case 2:
        goto B
        B: // syntax error: 跳转标签后缺少语句
    case 0:
        goto C
        C:
    ;} // 一个分号插入到了这里
}

func f1(a int, b string,) (x bool, y int,) {
    return true, 789
}
var f2 func (a int, b string) (x bool, y int)
var f3 func (a int, b string, // 最后一个逗号是必需的
) (x bool, y int,             // 最后一个逗号是必需的
)
var  = []int{2, 3, 5, 7, 9,} // 最后一个逗号是可选的
var  = []int{2, 3, 5, 7, 9,  // 最后一个逗号是必需的
}
var  = []int{2, 3, 5, 7, 9}
var ,  = f1(123, "Go",) // 最后一个逗号是可选的
var ,  = f1(123, "Go",  // 最后一个逗号是必需的
)
var ,  = f1(123, "Go")

func f1(a int, b string,) (x bool, y int // error
) {
    return true, 789
}
var  = []int{2, 3, 5, 7, 9 // error: unexpected newline
}
var ,  = f1(123, "Go" // error: unexpected newline
)