Go 边看边练 -《Go 学习笔记》系列（四）

上一篇： https://hacpai.com/article/1437719712835

ToC

• Go 边看边练 -《Go 学习笔记》系列（一）- 变量、常量
• Go 边看边练 -《Go 学习笔记》系列（二）- 类型、字符串
• Go 边看边练 -《Go 学习笔记》系列（三）- 指针
• Go 边看边练 -《Go 学习笔记》系列（四）- 控制流 1
• Go 边看边练 -《Go 学习笔记》系列（五）- 控制流 2
• Go 边看边练 -《Go 学习笔记》系列（六）- 函数
• Go 边看边练 -《Go 学习笔记》系列（七）- 错误处理
• Go 边看边练 -《Go 学习笔记》系列（八）- 数组、切片
• Go 边看边练 -《Go 学习笔记》系列（九）- Map、结构体
• Go 边看边练 -《Go 学习笔记》系列（十）- 方法
• Go 边看边练 -《Go 学习笔记》系列（十一）- 表达式
• Go 边看边练 -《Go 学习笔记》系列（十二）- 接口
• Go 边看边练 -《Go 学习笔记》系列（十三）- Goroutine
• Go 边看边练 -《Go 学习笔记》系列（十四）- Channel

2.1 表达式

语言设计简练，保留字不多。

break default func interface select
case defer go map struct
chan else goto package switch
const fallthrough if range type
continue for import return var

2.2 运算符

全部运算符、分隔符，以及其他符号。

+ & += &= && == != ( )
- | -= |= || < <= [ ]
* ^ *= ^= <- > >= { }
/ << /= <<= ++ = := , ;
% >> %= >>= -- ! ... . :
&^ &^=

运算符结合律全部从左到右。

优先级 运算符 说明
------------+---------------------------------------------+----------------------------
high * / & << >> & &^
+ - |" ^
== != < <= < >=
<- channel
&&
low ||

简单位运算演示。

0110 & 1011 = 0010 AND 都为 1。
0110 | 1011 = 1111 OR ⾄至少⼀一个为 1。
0110 ^ 1011 = 1101 XOR 只能⼀一个为 1。
0110 &^ 1011 = 0100 AND NOT 清除标志位。

标志位操作。

a := 0
a |= 1 << 2 // 0000100: 在 bit2 设置标志位。
a |= 1 << 6 // 1000100: 在 bit6 设置标志位
a = a &^ (1 << 6) // 0000100: 清除 bit6 标志位。

不支持运算符重载。尤其需要注意，"++"、"--" 是语句而非表达式。

n := 0
p := &n
// b := n++ // syntax error
// if n++ == 1 {} // syntax error
// ++n // syntax error
n++
*p++ // (*p)++

没有 "~"，取反运算也用 "^"。

x := 1
x, ^x // 0001, -0010

2.3 初始化

初始化复合对象，必须使用类型标签，且左大括号必须在类型尾部。

// var a struct { x int } = { 100 } // syntax error
// var b []int = { 1, 2, 3 } // syntax error
// c := struct {x int; y string} // syntax error: unexpected semicolon or newline
// {
// }
var a = struct{ x int }{100}
var b = []int{1, 2, 3}

初始化值以 "," 分隔。可以分多行，但最后一行必须以 "," 或 "}" 结尾。

a := []int{
	1,
	2 // Error: need trailing comma before newline in composite literal
}

a := []int{
	1,
	2, // ok
}

b := []int{
	1,
	2 } // ok

2.4 控制流

2.4.1 IF

很特别的写法：

• 可省略条件表达式括号。
• 支持初始化语句，可定义代码块局部变量。
• 代码块左大括号必须在条件表达式尾部。

例如：

x := 0

// if x > 10 // Error: missing condition in if statement
// {
// }

if n := "abc"; x > 0 { // 初始化语句未必就是定义变量，比如 println("init") 也是可以的。
	println(n[2])
} else if x < 0 { // 注意 else if 和 else 左大括号位置。
	println(n[1])
} else {
	println(n[0])
}

不支持三元操作符 "a > b ? a : b"。

2.4.2 For

支持三种循环方式，包括类 while 语法。

s := "abc"

for i, n := 0, len(s); i < n; i++ { // 常见的 for 循环，支持初始化语句。
	println(s[i])
}

n := len(s)
for n > 0 { // 替代 while (n > 0) {}
	println(s[n]) // 替代 for (; n > 0;) {}
	n--
}

for { // 替代 while (true) {}
	println(s) // 替代 for (;;) {}
}

不要期望编译器能理解你的想法，在初始化语句中计算出全部结果是个好主意。

2.4.3 Range

类似迭代器操作，返回 (索引, 值) 或 (键, 值)。

1st value 2nd value
------------------+-------------------+------------------+-------------------
string index s[index] unicode, rune
array/slice index s[index]
map key m[key]
channel element

可忽略不想要的返回值，或用 "_" 这个特殊变量。

s := "abc"

for i := range s { // 忽略 2nd value，支持 string/array/slice/map。
	println(s[i])
}

for _, c := range s { // 忽略 index。
	println(c)
}

for range s { // 忽略全部返回值，仅迭代。
	...
}

m := map[string]int{"a": 1, "b": 2}

for k, v := range m { // 返回 (key, value)。
	println(k, v)
}

注意，range 会复制对象。

a := [3]int{0, 1, 2}

for i, v := range a { // index、value 都是从复制品中取出。
	if i == 0 { // 在修改前，我们先修改原数组。
		a[1], a[2] = 999, 999
		fmt.Println(a) // 确认修改有效，输出 [0, 999, 999]。
	}
    
	a[i] = v + 100 // 使用复制品中取出的 value 修改原数组。
}

fmt.Println(a) // 输出 [100, 101, 102]。

建议改用引用类型，其底层数据不会被复制。

另外两种引用类型 map、channel 是指针包装，而不像 slice 是 struct。

下一篇： https://hacpai.com/article/1438070631857

• 本系列是基于雨痕的《Go 学习笔记》（第四版）整理汇编而成，非常感谢雨痕的辛勤付出与分享！
• 转载请注明：文章转载自：黑客与画家的社区 [https://hacpai.com]
• 如果你觉得本章节做得不错，请在下面打赏一下吧~

社区小贴士

• 关注标签 [golang] 可以方便查看 Go 相关帖子
• 关注作者后如有新帖将会收到通知