Go编程语言规范3-表达式

限定标识符

限定标识符为使用包名前缀限定的标识符。包名与标识符均不能为空白的。限定标识符用于访问另一个包中的标识符，它必须被导入。 标识符必须是已导出且在该包的包块中声明。

	math.Sin	// 表示math包中的Sin函数

函数字面

函数字面可赋予一个变量或直接调用。

f := func(x, y int) int { return x + y }

func(ch chan int) { ch <- ACK }(replyChan)

闭包 的函数字面：它们可引用定义在外围函数中的变量。 那些变量共享于外围函数与函数字面之间，并且只要它们可访问就会继续存在。

选择器 .

对于不为包名的主表达式 x，选择器表达式为,

	x.f

1. 对于非接口类型 T 或 *T 的值 x， x.f 中的 f 表示在 T 中最浅深度的字段或方法。 若并非只有一个 f，该选择者表达式即为非法的。
2. 对于接口类型 I 的变量 x，x.f 表示赋予 x 的值的名为 f 的真实方法。若在 I 的方法集中没有名为 f 的方法，该选择者即为非法的。
3. 其它情况下，所有 x.f 均为非法的。
4. 若 x 为指针或接口类型且值为 nil，对 x.f 进行赋值、求值或调用会产生 运行时恐慌.

选择者会自动解引用指向结构的指针。 若 x 为指向结构的指针，x.y 即为 (*x).y 的缩写； 若字段 y 亦为指向结构的指针，x.y.z 即为 (*(*x).y).z 的缩写, 以此类推。 若 x 包含类型为 *A 的匿名字段，且 A 亦为结构类型， x.f 即为 (*x.A).f 的缩写。

p.z   // (*p).z

p.y   // ((*p).T1).y

p.x   // (*(*p).T0).x



p.M2()  // (*p).M2()

p.M1()  // ((*p).T1).M1()

p.M0()  // ((*p).T0).M0()

下标表达式

形式为:a[x]

切片

对于数组或字符串，若 0 <= low <= high <= len(a) 下标 low 和 high 即在界内，否则即在界外。 对于切片，其上界为该切片的容量 cap(a) 而非长度。常量下标必为非负值， 且可表示为 int 类型的值。若其下标也为常量，它们必定满足 low <= high。 若 a 为 nil 或其下标在运行时越界，就会引发一个运行时恐慌。

a[low : high]

类型断言

对于接口类型的表达式 x 与类型 T，主表达式x.(T),注意x必须为接口类型

var x interface{} = 7  // x 拥有动态类型 int 与值 7

i := x.(int)           // i 拥有类型 int 与值 7



type I interface { m() }

var y I

s := y.(string)        // 非法：string 没有实现 I（缺少方法 m）

r := y.(io.Reader)     // r 拥有 类型 io.Reader 且 y 必须同时实现了 I 和 io.Reader

更确切地说，若 T 为非接口类型，x.(T) 断言 x 的动态类型 与 T相同。在此情况下，T 必须实现 x 的（接口）类型，除非其类型断言由于无法为 x 存储类型为 T 的值而无效。若 T 为接口类型， x.(T) 则断言 x 的动态类型实现了接口 T。

若该类型断言成立，该表达式的值即为存储于 x 中的值，且其类型为 T。若该类型断言不成立， 就会出现一个运行时恐慌。换句话说，即使 x 的动态类型只能在运行时可知，在正确的程序中，x.(T) 的类型也可知为 T。

若类型断言以

v, ok = x.(T)

v, ok := x.(T)

var v, ok = x.(T)

若该断言成立，该表达式返回值对 (x.(T), true)；否则，该表达式返回 (Z, false)， 其中 Z 为类型为 T 的零值。此种情况不会产生运行时恐慌。 类型断言在这种构造中，其行为类似于函数调用返回一个值与一个布尔值以表示成功。

比较操作符

在任何比较中，第一个操作数必须为可赋予第二个操作数的类型，反之亦然。

相等性操作符 == 和 != 适用于可比较操作数。 顺序操作符 <、<=、> 和 >= 适用于有序的操作数。这些比较操作的关系和值定义如下：

• 布尔值之间可比较。若两个布尔值同为 true 或同为 false，它们即为相等。
• 通常情况下，整数值之间可比较或排序。
• 根据 IEEE-754 标准的定义，浮点数值之间可比较或排序。
• 复数值之间可比较。对于两个复数值 u 与 v， 若 real(u) == real(v) 且 imag(u) == imag(v)，它们即为相等。
• 根据按字节词法，字符串值之间可比较或排序。
• 指针值之间可比较。若两个指针指向相同的值或其值同为 nil，它们即为相等。 指向明显为零大小变量的指针可能相等也可能不相等。
• 信道值可比较。若两个信道值通过相同的 make 调用 （§创建切片、映射和信道）创建或同为 nil 值，它们即为相等。
• 接口值可比较。若两个接口值拥有相同的动态类型与相等的动态值，或同为 nil 值，它们即为相等。
• 当非接口类型 X 的值可比较且 X 实现了 T 时， 非接口类型 X 的值 x 与接口类型 T 的值 t 则可比较。 若 t 的动态类型与 X 相同且 t 动态值等于 x，它们即为相等。
• 若两个结构值的所有字段可比较，它们即可比较。若其相应的非空白字段相等，它们即为相等。
• 若两个数组元素类型的值可比较，则数组值可比较。若其相应的元素相等，它们即为相等。

地址操作符

对于类型为 T 的操作数 x，地址操作符 &x 将生成一个类型为 *T 的指针指向 x。对于指针类型为 *T 的操作数 x，间接指针 *x 表示类型为 T 的值指向 x。若 x 为 nil， 尝试求值 *x 将会引发运行时恐慌。

&x

&a[f(2)]

&Point{2, 3}

*p

*pf(x)

接收操作符

v1 := <-ch

v2 = <-ch

f(<-ch)

<-strobe  // 在时钟脉冲和丢弃接收值之前等待

x, ok = <-ch

x, ok := <-ch

var x, ok = <-ch

若接收的值由一次成功向信道发送的操作发出的，则 ok 的值为 true； 若接收的值是由于信道被关闭或为空而产生的零值，则为 false。

类型转换

类型转换是形式为 T(x) 的表达式，其中 T 为类型，而 x 是可转换为类型 T 的表达式。

若类型以操作符 *、<- 或关键字 func 开始则必须加上括号：

*Point(p)        // 等价于 *(Point(p))

(*Point)(p)      // p 被转换为 (*Point)

<-chan int(c)    // 等价于 <-(chan int(c))

(<-chan int)(c)  // c 被转换为 (<-chan int)

func()(x)        // 函数签名 func() x

(func())(x)      // x 被转换为 (func())