编译
1 | go build xxx.go |
清理
1 | go clean xxx.go |
检测代码的常见错误
- Printf类函数调用时,类型匹配错误的参数
- 定义常用的方法时,方法签名的错误
- 错误的结构标签
- 没有指定字段名的结构字面量
1 | go vet |
Go代码格式化
1 | go fmt |
Go语言的文档
1 | go doc 包名 |
包
每个Go程序都是由包构成的。
程序是从main包开始运行,下面这个程序通过导入路径’’fmt’’和’’math/rand’’来使用这两个包。
1 | package main |
导出名
在Go中,如果以一个名字是以大写字母开头,那么他就是已导出的。
函数
函数可以没有参数或接受多个参数
1 | package main |
当连续两个或多个函数的已命名形参类型相同时,除最后一个类型以外,其他都可以省略
1 | x int, y int |
函数返回值
函数可以返回任意数量的返回值
1 | package main |
命名返回值
Go的返回值可被命名,他们会被视作定义在函数顶部的变量。
1 | package main |
变量
var语句用于声明一个变量列表,跟函数的参数列表一样,类型在最后。
1 | var c, python, java bool |
变量的初始化
变量声明可以包含初始值,每个变量对应一个。
如果初始化值已存在,则可以省略类型;变量会从初始值中获取类型。
1 | package main |
短变量声明
在函数中,简洁赋值语句:=
可在类型明确的地方代替var
声明。
函数外的每个语句都必须以关键字开始(var
,func
等等),因此:=
不能在函数外使用。
1 | package main |
基本类型
1 | bool |
1 | package main |
零值
没有明确初始值的变量声明会被赋予零值。
数值类型为0;
布尔类型为false
;
字符串为""
(空字符串)。
1 | package main |
类型转换
表达式T(v)
将值v转换为类型T
。
1 | var i int = 42 |
与C不同的是,Go在不同类型的项之间赋值时需要显示转换。
类型推导
在声明一个变量而不指定其类型时(即使用不带类型的:=
语法或var=
表达式语法),变量的类型由右值推导得出。
当右值声明了类型时,新变量的类型与其相同:
1 | var i int |
不过当右边包含未指明类型的数值常量时,新变量的类型就可能是 int,float64
或complex128
了,这取决于常量的精度:
1 | i := 42 //int |
常量
常量的声明与变量类似,只不过使用const
关键字。
常量可以是字符、字符串、布尔值或数值。
常量不能用:=
语法声明。
1 | package main |
数值常量
数值常量时高精度的值。
一个未指定类型的常量由上下文来决定其类型。
for
Go 只有一种循环结构:for
循环
基本的for
循环由三部分组成,他们用分号隔开:
- 初始化语句:在第一次迭代前执行
- 条件表达式:在每次迭代前求值
- 后置语句:在每次迭代的结尾执行
初始化语句和后置语句是可以忽略的。
初始化语句通常为依据短变量声明,该变量声明仅在for
语句的作用域中可见。
一旦条件表达式的布尔值为false
,循环迭代就会终止。
注意:和C、java、JavaScript之类的语言不同,Go的for语句后面的三个构成部分外没有小括号,大括号{ }则是必须的。
1 | package main |
for 是Go中的”while”
1 | package main |
无限循环
如果省略循环条件,该循环就不会结束,因此无限循环可以写的很紧凑。
1 | package main |
if
Go的if
语句与for
循环类似,表达式外无需小括号()
,而大括号{}
则是必须的。
1 | package main |
if的简单语句
和for
一样,if
语句可以在条件表达式前执行一个简单的语句。
该语句声明的变量作用域仅在if
之内。
1 | package main |
if 和 else
在if
的简短语句中声明的变量同样可以在任何对应的else
块中使用。
1 | package main |
循环与函数
用牛顿法实现平方根函数。
1 | package main |
switch
Switch
是编写一连串if-else
语句的简便方法。它运行第一个值等于条件表达式的case
语句。
Go的switch
语句类似于C、C++、Java、JavaScript
和PHP
中的,不过Go只运行选定的case
,而非之后所有的case
。实际上,Go自动提供了在这些语言中每个case
后面所需的break
语句。 除非以 fallthrough
语句结束,否则分支会自动终止。Go 的另一点重要的不同在于 switch 的 case 无需为常量,且取值不必为整数。
1 | package main |
switch的求值顺序
switch
的case
语句从上到下顺序执行,直到匹配成功时停止。
1 | package main |
没有条件的switch
没有条件的switch
同switch true
一样。这种形式能将一长串if-then-else
写的更加清晰。
1 | package main |
defer
defer
语句会将函数推迟到外层函数返回之后执行。
推迟调用的函数其参数会立即求值,但直到外层函数返回前该函数都不会被调用。
1 | package main |
defer 栈
推迟的函数调用会被压入一个栈中,当外层函数返回时,被推迟的函数会按照后进先出的顺序调用。
1 | package main |
指针
Go拥有指针。指针保存了值的内存地址。
与C不同,Go没有指针运算。
1 | //类型*T是指向T类型值的指针。其零值为nil |
结构体
一个结构体就是一组字段。
结构体字段使用点号来访问。
1 | package main |
结构体指针
结构体字段可以通过结构体指针来访问。
如果有一个指向结构体的指针p
,可以通过(*p).x
来访问字段x
。不过有点麻烦,Go语言支持使用隐式间接引用,直接写p.x
就可以。
1 | package main |
结构体文法
1 | package main |
数组
类型[n]T
便是拥有n
个T
类型的值的数组。
表达式 ,将变量a
声明为拥有10个整数的数组。
1 | var a [10]int |
1 | package main |
切片
每个数组的大小都是固定的。而切片则为数组元素提供动态大小的、灵活的视角。
切片通过两个下标来界定,一个上界和一个下界,二者以冒号分隔:
1 | a[low : high] |
他会选择一个半开区间,包括第一个元素,但排除最后一个元素。
切片并不存储任何数据,他只是描述了底层数组中的一段。
更改切片的元素会修改其底层数组中对应的元素。与他共享底层数组的切片都会观测到这些修改。
1 | package main |
切片文法
切片文法类似于没有长度的数组文法。
1 | []bool{true, true, false} |
1 | package main |
切片的默认行为
切片下届的默认值为0,上界则是该切片的长度。
对于数组
1 | var a [10]int |
来说,以下切片是等价的:
1 | a[0 : 10] |
切片的长度和容量
切片拥有长度和容量。
切片的长度就是它所包含的元素个数。可通过len(s)
获取。
切片的容量是从他的第一个元素开始数,到其底层数组元素末尾的个数。可通过cap(s)
来获取。
1 | package main |
nil切片
切片的零值是nil
。
nil
切片的长度和容量为0且没有底层数组。
1 | package main |
用make创建切片
切片可以用内建函数make
来创建,这也是你创建动态数组的方式。
make
函数会分配一个元素为零值的数组并返回以一个引用了他的切片。
1 | a := make([]int, 5) //len(a) = 5 |
1 | package main |
切片的切片
切片可包含任何类型,甚至包括他的切片。
1 | package main |
向切片追加元素
为切片追加新的元素是种常用的操作,为此 Go 提供了内建的 append
函数。
1 | func append(s []T, vs ...T) []T |
append
的第一个参数 s
是一个元素类型为 T
的切片,其余类型为 T
的值将会追加到该切片的末尾。
append
的结果是一个包含原切片所有元素加上新添加元素的切片。
当 s
的底层数组太小,不足以容纳所有给定的值时,它就会分配一个更大的数组。返回的切片会指向这个新分配的数组。
1 | package main |
Range
for
循环的 range
形式可遍历切片或映射。
当使用 for
循环遍历切片时,每次迭代都会返回两个值。第一个值为当前元素的下标,第二个值为该下标所对应元素的一份副本。
1 | package main |
可以将下标或值赋予 _
来忽略它。
1 | for i, _ := range pow |
若你只需要索引,忽略第二个变量即可。
1 | for i := range pow |
实现pic
实现 Pic
。它应当返回一个长度为 dy
的切片,其中每个元素是一个长度为 dx
,元素类型为 uint8
的切片。当你运行此程序时,它会将每个整数解释为灰度值(好吧,其实是蓝度值)并显示它所对应的图像。
1 | package main |
映射
映射将键映射到值。
映射的零值为 nil
。nil
映射既没有键,也不能添加键。
make
函数会返回给定类型的映射,并将其初始化备用。
1 | package main |
映射的文法
映射的文法与结构体相似,不过必须有键名。
1 | package main |
修改映射
在映射 m
中插入或修改元素:
1 | m[key] = elem |
获取元素:
1 | elem = m[key] |
删除元素:
1 | delete(m, key) |
通过双赋值检测某个键是否存在:
1 | elem, ok = m[key] |
若 key
在 m
中,ok
为 true
;否则,ok
为 false
。
若 key
不在映射中,那么 elem
是该映射元素类型的零值。
同样的,当从映射中读取某个不存在的键时,结果是映射的元素类型的零值。
注 :若 elem
或 ok
还未声明,你可以使用短变量声明:
实现WordCount
实现 WordCount
。它应当返回一个映射,其中包含字符串 s
中每个“单词”的个数。函数 wc.Test
会对此函数执行一系列测试用例,并输出成功还是失败。
1 | package main |
函数值
函数也是值。他们可以像其他值一样传递。
函数值可以用作函数的参数或返回值。
1 | package main |
函数的闭包
Go函数可以是一个闭包。闭包是一个函数值,他引用了其函数体之外的变量。该函数可以访问并赋予其引用的变量的值,换句话说,该函数被这些变量绑定在一起。
1 | package main |
斐波那契闭包
实现一个 fibonacci
函数,它返回一个函数(闭包),该闭包返回一个斐波纳契数列 (0, 1, 1, 2, 3, 5, ...)
。
1 | package main |
方法
Go没有类。不过可以为结构体类型定义方法。
方法就是一类带特殊的 接收者 参数的函数。
方法接收者在它自己的参数列表内,位于 func
关键字和方法名之间。
在此例中,Abs
方法拥有一个名为 v
,类型为 Vertex
的接收者。
1 | package main |
方法即函数
方法只是个带接收者参数的函数。
现在这个 Abs
的写法就是个正常的函数,功能并没有什么变化。
1 | package main |
你也可以为非结构体类型声明方法。
在此例中,我们看到了一个带 Abs
方法的数值类型 MyFloat
。
你只能为在同一包内定义的类型的接收者声明方法,而不能为其它包内定义的类型(包括 int
之类的内建类型)的接收者声明方法。
1 | package main |
指针接收者
你可以为指针接收者声明方法。
这意味着对于某类型 T
,接收者的类型可以用 *T
的文法。(此外,T
不能是像 *int
这样的指针。)
例如,这里为 *Vertex
定义了 Scale
方法。
指针接收者的方法可以修改接收者指向的值(就像 Scale
在这做的)。由于方法经常需要修改它的接收者,指针接收者比值接收者更常用。
1 | package main |
指针和函数
把 Abs
和 Scale
方法重写为函数
1 | package main |
方法与指针重定向
比较前两个程序,带指针参数的函数必须接受一个指针:
1 | var v Vertex |
而以指针为接收者的方法被调用时,接收者既能为值又能为指针:
1 | var v Vertex |
对于语句 v.Scale(5)
,即便 v
是个值而非指针,带指针接收者的方法也能被直接调用。 也就是说,由于 Scale
方法有一个指针接收者,为方便起见,Go 会将语句 v.Scale(5)
解释为 (&v).Scale(5)
。
同样的事情也发生在相反的方向。
接受一个值作为参数的函数必须接受一个指定类型的值:
1 | var v Vertex |
而以值为接收者的方法被调用时,接收者既能为值又能为指针:
1 | var v Vertex |
这种情况下,方法调用 p.Abs()
会被解释为 (*p).Abs()
。
1 | package main |
选择值或指针作为接受者
使用指针接收者的原因有二:
首先,方法能够修改其接收者指向的值。
其次,这样可以避免在每次调用方法时复制该值。若值的类型为大型结构体时,这样做会更加高效。
在本例中,Scale
和 Abs
接收者的类型为 *Vertex
,即便 Abs
并不需要修改其接收者。
1 | package main |
接口
接口类型 是由一组方法签名定义的集合。
接口类型的变量可以保存任何实现了这些方法的值。
1 | package main |
接口与隐式实现
类型通过实现一个借口的所有方法累实现该接口。既然无需专门显示声明,也就没有“implements”关键字。
隐式接口从接口的实现中解耦了定义,这样接口的实现可以出现在任何包中,无需提前准备。
因此,也就无需在每一个实现上增加新的借口名称,这样同时也鼓励了明确的借口定义。
1 | package main |
接口值
接口也是值。他们可以像其他值一样传递。
接口值可以用作函数的参数或返回值。
在内部,接口值可以看做包含值和具体类型的元组:
1 | (value, type) |
接口值保存了一个具体底层类型的具体值。
接口值调用方法时会执行其底层类型的同名方法。
1 | package main |
底层值为 nil 的接口值
即便接口内的具体值为 nil,方法仍然会被 nil 接收者调用。
在一些语言中,这会触发一个空指针异常,但在 Go 中通常会写一些方法来优雅地处理它(如本例中的 M
方法)。
1 | package main |
nil 接口值
nil 接口值既不保存值也不保存具体类型。
为 nil 接口调用方法会产生运行时错误,因为接口的元组内并未包含能够指明该调用哪个 具体 方法的类型。
1 | package main |
空接口
指定了零个方法的接口值被称为 空接口:
1 | interface{} |
空接口可保存任何类型的值。(因为每个类型都至少实现了零个方法。)
空接口被用来处理未知类型的值。例如,fmt.Print
可接受类型为 interface{}
的任意数量的参数。
1 | package main |
类型断言
类型断言 提供了访问接口值底层具体值的方式。
1 | t := i.(T) |
该语句断言接口值 i
保存了具体类型 T
,并将其底层类型为 T
的值赋予变量 t
。
若 i
并未保存 T
类型的值,该语句就会触发一个恐慌。
为了 判断 一个接口值是否保存了一个特定的类型,类型断言可返回两个值:其底层值以及一个报告断言是否成功的布尔值。
1 | t, ok := i.(T) |
若 i
保存了一个 T
,那么 t
将会是其底层值,而 ok
为 true
。
否则,ok
将为 false
而 t
将为 T
类型的零值,程序并不会产生恐慌。
1 | package main |
类型选择
类型选择 是一种按顺序从几个类型断言中选择分支的结构。
类型选择与一般的 switch 语句相似,不过类型选择中的 case 为类型(而非值), 它们针对给定接口值所存储的值的类型进行比较。
1 | switch v := i.(type) { |
类型选择中的声明与类型断言 i.(T)
的语法相同,只是具体类型 T
被替换成了关键字 type
。
此选择语句判断接口值 i
保存的值类型是 T
还是 S
。在 T
或 S
的情况下,变量 v
会分别按 T
或 S
类型保存 i
拥有的值。在默认(即没有匹配)的情况下,变量 v
与 i
的接口类型和值相同。
1 | package main |
Stringer
1 | type Stringer interface { |
Stringer
是一个可以用字符串描述自己的类型。fmt
包(还有很多包)都通过此接口来打印值。
1 | package main |
练习:Stringer
通过让 IPAddr
类型实现 fmt.Stringer
来打印点号分隔的地址。
例如,IPAddr{1, 2, 3, 4}
应当打印为 "1.2.3.4"
。
1 | package main |
错误
Go 程序使用 error
值来表示错误状态。
与 fmt.Stringer
类似,error
类型是一个内建接口:
1 | type error interface { |
(与 fmt.Stringer
类似,fmt
包在打印值时也会满足 error
。)
通常函数会返回一个 error
值,调用的它的代码应当判断这个错误是否等于 nil
来进行错误处理。
1 | i, err := strconv.Atoi("42") |
error
为 nil 时表示成功;非 nil 的 error
表示失败。
1 | package main |
练习:错误
从之前的练习中复制 Sqrt
函数,修改它使其返回 error
值。
Sqrt
接受到一个负数时,应当返回一个非 nil 的错误值。复数同样也不被支持。
创建一个新的类型
1 | type ErrNegativeSqrt float64 |
并为其实现
1 | func (e ErrNegativeSqrt) Error() string |
方法使其拥有 error
值,通过 ErrNegativeSqrt(-2).Error()
调用该方法应返回 "cannot Sqrt negative number: -2"
。
1 | package main |
Reader
io
包指定了 io.Reader
接口,它表示从数据流的末尾进行读取。
Go 标准库包含了该接口的许多实现,包括文件、网络连接、压缩和加密等等。
io.Reader
接口有一个 Read
方法:
1 | func (T) Read(b []byte) (n int, err error) |
Read
用数据填充给定的字节切片并返回填充的字节数和错误值。在遇到数据流的结尾时,它会返回一个 io.EOF
错误。
1 | package main |
练习:Reader
实现一个 Reader
类型,它产生一个 ASCII 字符 'A'
的无限流。
1 | package main |
练习:rot13Reader
有种常见的模式是一个 io.Reader
包装另一个 io.Reader
,然后通过某种方式修改其数据流。
例如,gzip.NewReader
函数接受一个 io.Reader
(已压缩的数据流)并返回一个同样实现了 io.Reader
的 *gzip.Reader
(解压后的数据流)。
编写一个实现了 io.Reader
并从另一个 io.Reader
中读取数据的 rot13Reader
,通过应用 rot13 代换密码对数据流进行修改。
1 | package main |
图像
image
包定义了 Image
接口:
1 | package image |
注意: Bounds
方法的返回值 Rectangle
实际上是一个 image.Rectangle
,它在 image
包中声明。
color.Color
和 color.Model
类型也是接口,但是通常因为直接使用预定义的实现 image.RGBA
和 image.RGBAModel
而被忽视了。这些接口和类型由 image/color
包定义。
1 | package main |
练习:图像
还记得之前编写的图片生成器 吗?我们再来编写另外一个,不过这次它将会返回一个 image.Image
的实现而非一个数据切片。
定义你自己的 Image
类型,实现必要的方法并调用 pic.ShowImage
。
Bounds
应当返回一个 image.Rectangle
,例如 image.Rect(0, 0, w, h)
。
ColorModel
应当返回 color.RGBAModel
。
At
应当返回一个颜色。上一个图片生成器的值 v
对应于此次的 color.RGBA{v, v, 255, 255}
。
1 | package main |
Go程
Go程(goroutine)是由Go运行时管理的轻量级线程。
1 | go f(x, y, z) |
会启动一个新的 Go 程并执行
1 | f(x, y, z) |
f
, x
, y
和 z
的求值发生在当前的 Go 程中,而 f
的执行发生在新的 Go 程中。
Go 程在相同的地址空间中运行,因此在访问共享的内存时必须进行同步。
1 | package main |
信道
信道是带有类型的管道,你可以通过它用信道操作符 <-
来发送或者接收值。
1 | ch <- v // 将 v 发送至信道 ch。 |
(“箭头”就是数据流的方向。)
和映射与切片一样,信道在使用前必须创建:
1 | ch := make(chan int) |
默认情况下,发送和接收操作在另一端准备好之前都会阻塞。这使得 Go 程可以在没有显式的锁或竞态变量的情况下进行同步。
1 | package main |
带缓冲的信道
信道可以是 带缓冲的。将缓冲长度作为第二个参数提供给 make
来初始化一个带缓冲的信道:
1 | ch := make(chan int, 100) |
仅当信道的缓冲区填满后,向其发送数据时才会阻塞。当缓冲区为空时,接受方会阻塞。
1 | package main |
range 和 close
发送者可通过 close
关闭一个信道来表示没有需要发送的值了。接收者可以通过为接收表达式分配第二个参数来测试信道是否被关闭:若没有值可以接收且信道已被关闭,那么在执行完
1 | v, ok := <-ch |
之后 ok
会被设置为 false
。
循环 for i := range c
会不断从信道接收值,直到它被关闭。
注意: 只有发送者才能关闭信道,而接收者不能。向一个已经关闭的信道发送数据会引发程序恐慌(panic)。
还要注意: 信道与文件不同,通常情况下无需关闭它们。只有在必须告诉接收者不再有需要发送的值时才有必要关闭,例如终止一个 range
循环。
1 | package main |
select语句
select
语句使一个 Go 程可以等待多个通信操作。
select
会阻塞到某个分支可以继续执行为止,这时就会执行该分支。当多个分支都准备好时会随机选择一个执行。
1 | package main |
默认选择
当 select
中的其它分支都没有准备好时,default
分支就会执行。
为了在尝试发送或者接收时不发生阻塞,可使用 default
分支:
1 | select { |
1 | package main |
练习:等价二叉查找树
1. 实现 Walk
函数。
2. 测试 Walk
函数。
函数 tree.New(k)
用于构造一个随机结构的已排序二叉查找树,它保存了值 k
, 2k
, 3k
, …, 10k
。
创建一个新的信道 ch
并且对其进行步进:
1 | go Walk(tree.New(1), ch) |
然后从信道中读取并打印 10 个值。应当是数字 1, 2, 3, ..., 10
。
3. 用 Walk
实现 Same
函数来检测 t1
和 t2
是否存储了相同的值。
4. 测试 Same
函数。
Same(tree.New(1), tree.New(1))
应当返回 true
,而 Same(tree.New(1), tree.New(2))
应当返回 false
。
1 | package main |
sync.Mutex
Go 标准库中提供了 sync.Mutex
互斥锁类型及其两个方法:
Lock
Unlock
我们可以通过在代码前调用 Lock
方法,在代码后调用 Unlock
方法来保证一段代码的互斥执行。
1 | package main |