第49章:Go中的一些语法/语义例外



Go中的一些语法/语义例外

本篇文章将列出Go中的各种语法和语义例外。 这些例外中的一些属于方便编程的语法糖,一些属于内置泛型特权,一些源于历史原因或者其它各种逻辑原因。

嵌套函数调用

基本规则:

如果一个函数(包括方法)调用的返回值个数不为零,并且它的返回值列表可以用做另一个函数调用的实参列表,则此前者调用可以被内嵌在后者调用之中,但是此前者调用不可和其它的实参混合出现在后者调用的实参列表中。

语法糖:

如果一个函数调用刚好返回一个结果,则此函数调用总是可以被当作一个单值实参用在其它函数调用中,并且此函数调用可以和其它实参混合出现在其它函数调用的实参列表中。

例子:

  1. package main
  2. import (
  3. "fmt"
  4. )
  5. func f0() float64 {return 1}
  6. func f1() (float64, float64) {return 1, 2}
  7. func f2(float64, float64) {}
  8. func f3(float64, float64, float64) {}
  9. func f4()(x, y []int) {return}
  10. func f5()(x map[int]int, y int) {return}
  11. type I interface {m()(float64, float64)}
  12. type T struct{}
  13. func (T) m()(float64, float64) {return 1, 2}
  14. func main() {
  15. // 这些行编译没问题。
  16. f2(f0(), 123)
  17. f2(f1())
  18. fmt.Println(f1())
  19. _ = complex(f1())
  20. _ = complex(T{}.m())
  21. f2(I(T{}).m())
  22. // 这些行编译不通过。
  23. /*
  24. f3(123, f1())
  25. f3(f1(), 123)
  26. */
  27. // 此行从Go官方工具链1.15开始才能够编译通过。
  28. println(f1())
  29. // 下面这三行从Go官方工具链1.13开始才能够编译通过。
  30. copy(f4())
  31. delete(f5())
  32. _ = complex(I(T{}).m())
  33. }

选择结构体字段值

基本规则:

指针类型和值没有字段。

语法糖:

我们可以通过一个结构体值的指针来选择此结构体的字段。

例子:

  1. package main
  2. type T struct {
  3. x int
  4. }
  5. func main() {
  6. var t T
  7. var p = &t
  8. p.x *= 2
  9. // 上一行是下一行的语法糖。
  10. (*p).x *= 2
  11. }

方法调用的属主实参

基本规则:

为类型*T显式声明的方法肯定不是类型T的方法。

语法糖:

尽管为类型*T显式声明的方法肯定不是类型T的方法,但是可寻址的T值可以用做这些方法的调用的属主实参。

例子:

  1. package main
  2. type T struct {
  3. x int
  4. }
  5. func (pt *T) Double() {
  6. pt.x *= 2
  7. }
  8. func main() {
  9. // T{3}.Double() // error: T值没有Double方法。
  10. var t = T{3}
  11. t.Double() // 现在:t.x == 6
  12. // 上一行是下一行的语法糖。
  13. (&t).Double() // 现在:t.x == 12
  14. }

取组合字面量的地址

基本规则:

组合字面量是不可寻址的,并且是不可寻址的值是不能被取地址的。

语法糖:

尽管组合字面量是不可寻址的,它们仍可以被显式地取地址。

请阅读结构体(第16章)和内置容器类型(第18章)两篇文章获取详情。

指针值和选择器

基本规则:

一般说来,具名(第14章)的指针类型的值不能使用在选择器语法形式中。

语法糖:

如果值x的类型为一个一级具名指针类型,并且(*x).f是一个合法的选择器,则x.f也是合法的。

任何多级指针均不能出现在选择器语法形式中。

上述语法糖的例外:

上述语法糖只对f为字段的情况才有效,对于f为方法的情况无效。

例子:

  1. package main
  2. type T struct {
  3. x int
  4. }
  5. func (T) y() {
  6. }
  7. type P *T
  8. type PP **T // 一个多级指针类型
  9. func main() {
  10. var t T
  11. var p P = &t
  12. var pt = &t // pt的类型为*T
  13. var ppt = &pt // ppt的类型为**T
  14. var pp PP = ppt
  15. _ = pp
  16. _ = (*p).x // 合法
  17. _ = p.x // 合法(因为x为一个字段)
  18. _ = (*p).y // 合法
  19. // _ = p.y // 不合法(因为y为一个方法)
  20. // 下面的选择器均不合法。
  21. /*
  22. _ = ppt.x
  23. _ = ppt.y
  24. _ = pp.x
  25. _ = pp.y
  26. */
  27. }

容器和容器元素的可寻址性

基本规则:

如果一个容器值是可寻址的,则它的元素也是可寻址的。

例外:

一个映射值的元素总是不可寻址的,即使此映射本身是可寻址的。

语法糖:

一个切片值的元素总是可寻址的,即使此切片值本身是不可寻址的。

例子:

  1. package main
  2. func main() {
  3. var m = map[string]int{"abc": 123}
  4. _ = &m // okay
  5. // 例外。
  6. // p = &m["abc"] // error: 映射元素不可寻址
  7. // 语法糖。
  8. f := func() []int {
  9. return []int{0, 1, 2}
  10. }
  11. // _ = &f() // error: 函数调用是不可寻址的
  12. _ = &f()[2] // okay
  13. }

修改值

基本规则:

不可寻址的值不可修改。

例外:

尽管映射元素是不可寻址的,但是它们可以被修改(但是它们必须被整个覆盖修改)。

例子:

  1. package main
  2. func main() {
  3. type T struct {
  4. x int
  5. }
  6. var mt = map[string]T{"abc": {123}}
  7. // _ = &mt["abc"] // 映射元素是不可寻址的
  8. // mt["abc"].x = 456 // 部分修改是不允许的
  9. mt["abc"] = T{x: 789} // 整体覆盖修改是可以的
  10. }

函数参数

基本规则:

函数的每个参数一般为某个类型一个值。

例外:

内置make和new函数的第一个参数为一个类型。

同一个代码包中的函数命名

基本规则:

同一个代码包中声明的函数的名称不能重复。

例外:

同一个代码包中可以声明若干个名为init类型为func()的函数。

函数调用

基本规则:

名称为非空标识符的函数可以被调用。

例外:

init函数不可被调用。

函数值

基本规则:

声明的函数可以被用做函数值。

例外:

init函数不可被用做函数值。

例子:

  1. package main
  2. import "fmt"
  3. import "unsafe"
  4. func init() {}
  5. func main() {
  6. // 这两行编译没问题。
  7. var _ = main
  8. var _ = fmt.Println
  9. // 下面这行编译不通过。
  10. var _ = init
  11. }

泛型类型实参的传递方式

基本规则:

在泛型类型实参列表中,所有实参均包裹在同一对方括号中,各个实参之间使用逗号分开

例外:

内置泛型类型的类型实参传递形态各异。映射类型的键值类型实参单独包裹在一对方括号中,其它实参并没有被包裹。 内置new泛型函数的类型实参是包裹在一对圆括号中。 内置make泛型函数的类型实参是和值实参混杂在一起并包裹在同一对圆括号中。

舍弃函数调用返回值

基本规则:

一个函数调用的所有返回值可以被一并忽略舍弃。

例外:

内置函数(展示在builtin和unsafe标准库包中的函数)调用的返回值不能被舍弃。

例外中的例外:

内置函数copy和recover的调用的返回值可以被舍弃。

声明的变量

基本规则:

声明的变量总是可寻址的。

例外:

预声明的nil变量是不可寻址的。

所以,预声明的nil是一个不可更改的变量。

传参

基本规则:

当一个实参被传递给对应的形参时,此实参必须能够赋值给此形参类型。

语法糖:

如果内置函数copy和append的一个调用的第一个形参为一个字节切片(这时,一般来说,第二形参也应该是一个字节切片),则第二个形参可以是一个字符串,即使字符串不能被赋给一个字节切片。 (假设append函数调用的第二个形参使用arg…形式传递。)

例子:

  1. package main
  2. func main() {
  3. var bs = []byte{1, 2, 3}
  4. var s = "xyz"
  5. copy(bs, s)
  6. // 上一行是下一行的语法糖和优化。
  7. copy(bs, []byte(s))
  8. bs = append(bs, s...)
  9. // 上一行是下一行的语法糖和优化。
  10. bs = append(bs, []byte(s)...)
  11. }

比较

基本规则:

映射、切片和函数类型是不支持比较的。

例外:

映射、切片和函数值可以和预声明标识符nil比较。

例子:

  1. package main
  2. func main() {
  3. var s1 = []int{1, 2, 3}
  4. var s2 = []int{7, 8, 9}
  5. //_ = s1 == s2 // error: 切片值不可比较。
  6. _ = s1 == nil // ok
  7. _ = s2 == nil // ok
  8. var m1 = map[string]int{}
  9. var m2 = m1
  10. // _ = m1 == m2 // error: 映射值不可比较。
  11. _ = m1 == nil // ok
  12. _ = m2 == nil // ok
  13. var f1 = func(){}
  14. var f2 = f1
  15. // _ = f1 == f2 // error: 函数值不可比较。
  16. _ = f1 == nil // ok
  17. _ = f2 == nil // ok
  18. }

比较二

基本规则:

如果一个值可以隐式转换为一个可比较类型,则这此值和此可比较类型的值可以用==和!=比较符来做比较。

例外:

一个不可比较类型(一定是一个非接口类型)的值不能和一个接口类型的值比较,即使此不可比较类型实现了此接口类型(从而此不可比较类型的值可以被隐式转换为此接口类型)。

请阅读值比较规则(第48章)获取详情。

空组合字面量

基本规则:

如果一个类型T的值可以用组合字面量表示,则T{}表示此类型的零值。

例外:

对于一个映射或者切片类型T,T{}不是它的零值,它的零值使用预声明的nil表示。

例子:

  1. package main
  2. import "fmt"
  3. func main() {
  4. // new(T)返回类型T的一个零值的地址。
  5. type T0 struct {
  6. x int
  7. }
  8. fmt.Println( T0{} == *new(T0) ) // true
  9. type T1 [5]int
  10. fmt.Println( T1{} == *new(T1) ) // true
  11. type T2 []int
  12. fmt.Println( T2{} == nil ) // false
  13. type T3 map[int]int
  14. fmt.Println( T3{} == nil ) // false
  15. }

容器元素遍历

基本规则:

只有容器值可以跟在range关键字后,for-range循环遍历出来的是容器值的各个元素。 每个容器元素对应的键值(或者索引)也将被一并遍历出来。

例外1:

当range关键字后跟的是字符串时,遍历出来的是码点值,而不是字符串的各个元素byte字节值。

例外2:

当range关键字后跟的是通道时,通道的元素的键值(次序)并未被一同遍历出来。

语法糖:

尽管数组指针不属于容器,但是range关键字后可以跟数组指针来遍历数组元素。

内置类型的方法

基本规则:

内置类型都没有方法。

例外:

内置类型error有一个Error() string方法。

值的类型

基本规则:

每个值要么有一个确定的类型要么有一个默认类型。

例外:

类型不确定的nil值既没有确定的类型也没有默认类型。

常量值

基本规则:

常量值的值固定不变。常量值可以被赋给变量值。

例外1:

预声明的iota是一个绑定了0的常量,但是它的值并不固定。 在一个包含多个常量描述的常量声明中,如果一个iota的值出现在一个常量描述中,则它的值将被自动调整为此常量描述在此常量声明中的次序值,尽管此调整发生在编译时刻。

例外2:

iota只能被用于常量声明中,它不能被赋给变量。

舍弃表达式中可选的结果值对程序行为的影响

基本规则:

表达式中可选的结果值是否被舍弃不会对程序行为产生影响。

例外:

当一个失败的类型断言表达式的可选的第二个结果值被舍弃时,当前协程将产生一个恐慌。

例子:

  1. package main
  2. func main() {
  3. var ok bool
  4. var m = map[int]int{}
  5. _, ok = m[123]
  6. _ = m[123] // 不会产生恐慌
  7. var c = make(chan int, 2)
  8. c <- 123
  9. close(c)
  10. _, ok = <-c
  11. _ = <-c // 不会产生恐慌
  12. var v interface{} = "abc"
  13. _, ok = v.(int)
  14. _ = v.(int) // 将产生一个恐慌!
  15. }

else关键字后跟随另一个代码块

基本规则:

else关键字后必须跟随一个显式代码块{…}。

语法糖:

else关键字后可以跟随一个(隐式)if代码块,

比如,在下面这个例子中,函数foo编译没问题,但是函数bar编译不过。

  1. func f() []int {
  2. return nil
  3. }
  4. func foo() {
  5. if vs := f(); len(vs) == 0 {
  6. } else if len(vs) == 1 {
  7. }
  8. if vs := f(); len(vs) == 0 {
  9. } else {
  10. switch {
  11. case len(vs) == 1:
  12. default:
  13. }
  14. }
  15. if vs := f(); len(vs) == 0 {
  16. } else {
  17. for _, _ = range vs {
  18. }
  19. }
  20. }
  21. func bar() {
  22. if vs := f(); len(vs) == 0 {
  23. } else switch { // error
  24. case len(vs) == 1:
  25. default:
  26. }
  27. if vs := f(); len(vs) == 0 {
  28. } else for _, _ = range vs { // error
  29. }
  30. }

本书由老貘历时三年写成。目前本书仍在不断改进和增容中。你的赞赏是本书和Go101.org网站不断增容和维护的动力。

(请搜索关注微信公众号“Go 101”或者访问github.com/golang101/golang101获取本书最新版)