package main import "fmt" func adder() func(int) int { sum := 0 return func(x int) int { sum += x return sum } } func main() { pos, neg := adder(), adder() for i := 0; i < 10; i++ { fmt.Println( pos(i), neg(-2*i), ) } }
结构体
一个结构体(`struct`)就是一个字段的集合。
(而 type
的含义跟其字面意思相符。)
package main import "fmt" type Vertex struct { X int Y int } func main() { fmt.Println(Vertex{1, 2}) }
结构体字段
结构体字段使用点号来访问。
package main import "fmt" type Vertex struct { X int Y int } func main() { v := Vertex{1, 2} v.X = 4 fmt.Println(v.X) }
指针
Go 有指针,但是没有指针运算。
结构体字段可以通过结构体指针来访问。通过指针间接的访问是透明的。
package main import "fmt" type Vertex struct { X int Y int } func main() { p := Vertex{1, 2} q := &p q.X = 1e9 fmt.Println(p) }
结构体文法
结构体文法表示通过结构体字段的值作为列表来新分配一个结构体。
使用 Name:
语法可以仅列出部分字段。(字段名的顺序无关。)
特殊的前缀 &
构造了指向结构体的指针。
package main import "fmt" type Vertex struct { X, Y int } var ( p = Vertex{1, 2} // 类型为 Vertex q = &Vertex{1, 2} // 类型为 *Vertex r = Vertex{X: 1} // Y:0 被省略 s = Vertex{} // X:0 和 Y:0 ) func main() { fmt.Println(p, q, r, s) }
new 函数
表达式 new(T)
分配了一个零初始化的 T
值,并返回指向它的指针。
var t *T = new(T)
或
t := new(T)
package main import "fmt" type Vertex struct { X, Y int } func main() { v := new(Vertex) fmt.Println(v) v.X, v.Y = 11, 9 fmt.Println(v) }
数组
类型 [n]T
是一个有 n
个类型为 T
的值的数组。
表达式
var a [10]int
定义变量 a
是一个有十个整数的数组。
数组的长度是其类型的一部分,因此数组不能改变大小。 这看起来是一个制约,但是请不要担心;Go 提供了更加便利的方式来使用数组。
package main import "fmt" func main() { var a [2]string a[0] = "Hello" a[1] = "World" fmt.Println(a[0], a[1]) fmt.Println(a) }
slice
一个 slice 会指向一个数组,并且包含了长度信息。
[]T
是一个元素类型为 T
的 slice。
package main import "fmt" func main() { p := []int{2, 3, 5, 7, 11, 13} fmt.Println("p ==", p) for i := 0; i < len(p); i++ { fmt.Printf("p[%d] == %d ", i, p[i]) } }
对 slice 切片
slice 可以重新切片,创建一个新的 slice 值指向相同的数组。
表达式
s[lo:hi]
表示从 lo
到 hi-1
的 slice 元素,含两端。因此
s[lo:lo]
是空的,而
s[lo:lo+1]
有一个元素。
package main import "fmt" func main() { p := []int{2, 3, 5, 7, 11, 13} fmt.Println("p ==", p) fmt.Println("p[1:4] ==", p[1:4]) // 省略下标代表从 0 开始 fmt.Println("p[:3] ==", p[:3]) // 省略上标代表到 len(s) 结束 fmt.Println("p[4:] ==", p[4:]) }
构造 slice
slice 由函数 make
创建。这会分配一个零长度的数组并且返回一个 slice 指向这个数组:
a := make([]int, 5) // len(a)=5
为了指定容量,可传递第三个参数到 `make`:
b := make([]int, 0, 5) // len(b)=0, cap(b)=5 b = b[:cap(b)] // len(b)=5, cap(b)=5 b = b[1:] // len(b)=4, cap(b)=4
package main import "fmt" func main() { a := make([]int, 5) printSlice("a", a) b := make([]int, 0, 5) printSlice("b", b) c := b[:2] printSlice("c", c) d := c[2:5] printSlice("d", d) } func printSlice(s string, x []int) { fmt.Printf("%s len=%d cap=%d %v ", s, len(x), cap(x), x) }
空 slice
slice 的零值是 `nil`。
一个 nil 的 slice 的长度和容量是 0。
(了解更多关于 slice 的内容,参阅文章slice:使用和内幕。)
package main import "fmt" func main() { var z []int fmt.Println(z, len(z), cap(z)) if z == nil { fmt.Println("nil!") } }
range
for
循环的 range
格式可以对 slice 或者 map 进行迭代循环。
package main import "fmt" var pow = []int{1, 2, 4, 8, 16, 32, 64, 128} func main() { for i, v := range pow { fmt.Printf("2**%d = %d ", i, v) } }
range(续)
可以将值赋值给 _
来忽略序号和值。
如果只需要索引值,去掉“, value”的部分即可。
package main import "fmt" func main() { pow := make([]int, 10) for i := range pow { pow[i] = 1 << uint(i) } for _, value := range pow { fmt.Printf("%d ", value) } }
map
map 映射键到值。
map 在使用之前必须用 make
而不是 new
来创建;值为 nil
的 map 是空的,并且不能赋值。
package main import "fmt" type Vertex struct { Lat, Long float64 } var m map[string]Vertex func main() { m = make(map[string]Vertex) m["Bell Labs"] = Vertex{ 40.68433, -74.39967, } fmt.Println(m["Bell Labs"]) }
map 的文法
map 的文法跟结构体文法相似,不过必须有键名。
package main import "fmt" type Vertex struct { Lat, Long float64 } var m = map[string]Vertex{ "Bell Labs": Vertex{ 40.68433, -74.39967, }, "Google": Vertex{ 37.42202, -122.08408, }, } func main() { fmt.Println(m) }
map 的文法(续)
如果顶级的类型只有类型名的话,可以在文法的元素中省略键名。
package main import "fmt" type Vertex struct { Lat, Long float64 } var m = map[string]Vertex{ "Bell Labs": {40.68433, -74.39967}, "Google": {37.42202, -122.08408}, } func main() { fmt.Println(m) }
修改 map
在 map m
中插入或修改一个元素:
m[key] = elem
获得元素:
elem = m[key]
删除元素:
delete(m, key)
通过双赋值检测某个键存在:
elem, ok = m[key]
如果 key
在 m
中,`ok` 为 true 。否则, ok
为 `false`,并且 elem
是 map 的元素类型的零值。
同样的,当从 map 中读取某个不存在的键时,结果是 map 的元素类型的零值。
package main import "fmt" func main() { m := make(map[string]int) m["Answer"] = 42 fmt.Println("The value:", m["Answer"]) m["Answer"] = 48 fmt.Println("The value:", m["Answer"]) delete(m, "Answer") fmt.Println("The value:", m["Answer"]) v, ok := m["Answer"] fmt.Println("The value:", v, "Present?", ok) }
函数为值
函数也是值。Function values
package main import ( "fmt" "math" ) func main() { hypot := func(x, y float64) float64 { return math.Sqrt(x*x + y*y) } fmt.Println(hypot(3, 4)) }
函数的闭包
Go 函数可以是闭包的。闭包是一个函数值,它来自函数体的外部的变量引用。函数可以对这个引用值进行访问和赋值;换句话说这个函数被“绑定”在这个变量上。
例如,函数 adder
返回一个闭包。每个闭包都被绑定到其各自的 sum
变量上。
package main import "fmt" func adder() func(int) int { sum := 0 return func(x int) int { sum += x return sum } } func main() { pos, neg := adder(), adder() for i := 0; i < 10; i++ { fmt.Println( pos(i), neg(-2*i), ) } }