diff --git a/README.md b/README.md index c071374..fd3b81a 100644 --- a/README.md +++ b/README.md @@ -9,7 +9,7 @@ ## 翻译进度 -7.6 [字符串、数组和切片的应用](eBook/07.6.md) +8.1 [声明、初始化和 make](eBook/08.1.md) ## 支持本书 diff --git a/eBook/08.0.md b/eBook/08.0.md index aefd3b5..457060c 100644 --- a/eBook/08.0.md +++ b/eBook/08.0.md @@ -1,12 +1,10 @@ # 8.0 Maps -185 +Maps 是一种特殊的数据结构：一种元素对（pair）的无序集合，pair 的一个元素是 key，对应的另一个元素是 value，所以这个结构也称为关联数组或字典。这是一种快速寻找值的理想结构：给定 key，对应的 value 可以迅速定位。 -Maps是一种特殊的数据结构：一种元素对(pair)的无序集合，pair的一个元素是key，对应的另一个元素是value，所以这个结构也称为关联数组或字典。这是一种快速寻找值的理想结构：给定key，对应的value可以迅速定位。 +Maps 这种数据结构在其他编程语言中也称为字典（Python）、hash 和 HashTable 等。 -Maps这种数据结构在其他编程语言中也称为字典（Python），hash，HashTable等。 - -##链接 +## 链接 - [目录](directory.md) - 上一章：[字符串、数组和切片的应用](07.6.md) -- 下一节：[声明,初始化和make](08.1.md) +- 下一节：[声明、初始化和 make](08.1.md) diff --git a/eBook/08.1.md b/eBook/08.1.md index 946192f..1e4b9bf 100644 --- a/eBook/08.1.md +++ b/eBook/08.1.md @@ -1,55 +1,61 @@ -#8.1 声明，初始化和make +# 8.1 声明、初始化和 make + ## 8.1.1 概念 -map是引用类型，可以这么声明： - var map1 map[keytype]valuetype - var map1 map[string]int +map 是引用类型，可以使用如下声明： -（[keytype]和valuetype之间允许有空格，但是gofmt移除了空格） +```go +var map1 map[keytype]valuetype +var map1 map[string]int +``` -在声明的时候不需要知道map的长度，map是可以动态增长的。 +（[keytype]和valuetype之间允许有空格，但是 gofmt 移除了空格） -未初始化的map的值是nil。 +在声明的时候不需要知道 map 的长度，map 是可以动态增长的。 -`key`可以是任意可以用==或者!=操作符比较的类型，比如string，int，float。所以数组，slice和结构体不能作为key，但是指针和接口类型可以。如果要用结构体作为key可以提供Key()和Hash()方法，这样可以通过结构体的域计算出唯一的数字或者字符串的key。 +未初始化的 map 的值是 nil。 -`value`可以是任意类型的；通过使用空接口类型（参加11.9），我们可以存储任意值，但是使用这种类型作为值时需要先做一次类型断言（参加11.3）。 +key 可以是任意可以用 == 或者 != 操作符比较的类型，比如 string，int，float。所以数组，slice 和结构体不能作为 key，但是指针和接口类型可以。如果要用结构体作为 key 可以提供 Key() 和 Hash() 方法，这样可以通过结构体的域计算出唯一的数字或者字符串的 key。 -Maps传递给函数的代价很小：在32位机器上占4个字节，64位机器上占8个字节，无论实际上存储了多少数据。通过key在map中寻找值是很快的，比线性查找快得多，但是仍然比从数组和slice的索引中直接读取要慢100倍；所以如果你很在乎性能的话还是建议用slice来解决问题。 +value 可以是任意类型的；通过使用空接口类型（详见第 11.9 节），我们可以存储任意值，但是使用这种类型作为值时需要先做一次类型断言（详见第 11.3 节）。 -Maps也可以用函数作为自己的值，这样就可以用来做分支结构（参见第5章）：key用来选择要执行的函数。 +Maps 传递给函数的代价很小：在 32 位机器上占 4 个字节，64 位机器上占 8 个字节，无论实际上存储了多少数据。通过 key 在 map 中寻找值是很快的，比线性查找快得多，但是仍然比从数组和 slice 的索引中直接读取要慢 100 倍；所以如果你很在乎性能的话还是建议用 slice 来解决问题。 -如果key1是map1的key，那么map1[key1]就是对应key1的值，就如同数组索引符号一样（数组可以视为一种简单形式的map，key是从0开始的整数）。 +Maps 也可以用函数作为自己的值，这样就可以用来做分支结构（详见第 5 章）：key 用来选择要执行的函数。 -key1对应的值可以通过赋值符号来设置为val1：map1[key1] = val1 +如果 key1 是 map1 的key，那么 map1[key1] 就是对应 key1 的值，就如同数组索引符号一样（数组可以视为一种简单形式的 map，key 是从 0 开始的整数）。 -令v: = map1[key1]可以将key1对应的值赋值为v；如果map中没有key1存在，那么v将被赋值为map1的值类型的空值。 +key1 对应的值可以通过赋值符号来设置为 val1：map1[key1] = val1 -常用的len(map1)方法可以获得map中的pair数目，这个数目是可以伸缩的，因为map-pairs在运行时可以动态添加和删除。 +令 v: = map1[key1] 可以将 key1 对应的值赋值为 v；如果 map 中没有 key1 存在，那么 v 将被赋值为 map1 的值类型的空值。 + +常用的 len(map1) 方法可以获得 map 中的 pair 数目，这个数目是可以伸缩的，因为 map-pairs 在运行时可以动态添加和删除。 示例 8.1 [make_maps.go](examples/chapter_8/make_maps.go) - package main - import "fmt" - - func main() { - var mapLit map[string]int - //var mapCreated map[string]float32 - var mapAssigned map[string]int - - mapLit = map[string]int{"one": 1, "two": 2} - mapCreated := make(map[string]float32) - mapAssigned = mapLit - - mapCreated["key1"] = 4.5 - mapCreated["key2"] = 3.14159 - mapAssigned["two"] = 3 - - fmt.Printf("Map literal at \"one\" is: %d\n", mapLit["one"]) - fmt.Printf("Map created at \"key2\" is: %f\n", mapCreated["key2"]) - fmt.Printf("Map assigned at \"two\" is: %d\n", mapLit["two"]) - fmt.Printf("Map literal at \"ten\" is: %d\n", mapLit["ten"]) - } +```go +package main +import "fmt" + +func main() { + var mapLit map[string]int + //var mapCreated map[string]float32 + var mapAssigned map[string]int + + mapLit = map[string]int{"one": 1, "two": 2} + mapCreated := make(map[string]float32) + mapAssigned = mapLit + + mapCreated["key1"] = 4.5 + mapCreated["key2"] = 3.14159 + mapAssigned["two"] = 3 + + fmt.Printf("Map literal at \"one\" is: %d\n", mapLit["one"]) + fmt.Printf("Map created at \"key2\" is: %f\n", mapCreated["key2"]) + fmt.Printf("Map assigned at \"two\" is: %d\n", mapLit["two"]) + fmt.Printf("Map literal at \"ten\" is: %d\n", mapLit["ten"]) +} +``` 输出结果： @@ -58,70 +64,82 @@ key1对应的值可以通过赋值符号来设置为val1：map1[key1] = val1 Map assigned at "two" is: 3 Mpa literal at "ten" is: 0 -mapLit说明了`map literals`的使用方法： map可以用{key1: val1, key2: val2}的描述方法来初始化，就像数组和结构体一样。 +mapLit 说明了 `map literals` 的使用方法： map 可以用 {key1: val1, key2: val2} 的描述方法来初始化，就像数组和结构体一样。 -maps是`引用类型`的： 内存用make方法来分配。 +maps 是 **引用类型** 的： 内存用 make 方法来分配。 -map的初始化： var map1[keytype]valuetype = make(map[keytype]valuetype) +map 的初始化：`var map1[keytype]valuetype = make(map[keytype]valuetype)` -或者简写为： map1 := make(map[keytype]valuetype) +或者简写为：`map1 := make(map[keytype]valuetype)` -上面例子中的mapCreated就是用这种方式创建的： mapCreated := make(map[string]float) +上面例子中的 mapCreated 就是用这种方式创建的：`mapCreated := make(map[string]float)` -相当于： mapCreated := map[string]float{} +相当于：`mapCreated := map[string]float{}` -mapAssigned也是mapList的引用，对mapAssigned的修改也会影响到mapLit的值。 +mapAssigned 也是 mapList 的引用，对 mapAssigned 的修改也会影响到 mapLit 的值。 -**不要使用new，永远用make来构造map！！** +**不要使用 new，永远用 make 来构造 map！！** -**注意**： 如果你错误的使用new()分配了一个引用对象，你会获得一个空引用的指针，相当于声明了一个未初始化的变量并且取了它的地址： +**注意** 如果你错误的使用 new() 分配了一个引用对象，你会获得一个空引用的指针，相当于声明了一个未初始化的变量并且取了它的地址： - mapCreated := new(map[string]float) +```go +mapCreated := new(map[string]float) +``` -接下来当我们调用： mapCreated["key1"] = 4.5的时候，编译器会报错： +接下来当我们调用：`mapCreated["key1"] = 4.5` 的时候，编译器会报错： invalid operation: mapCreated["key1"] (index of type *map[string]float). -为了说明值可以是任意类型的，这里给出了一个使用func() int作为值的map： +为了说明值可以是任意类型的，这里给出了一个使用 `func() int` 作为值的 map： 示例 8.2 [map_func.go](examples/chapter_8/map_func.go) - package main - import "fmt" - - func main() { - mf := map[int]func() int{ - 1: func() int { return 10 }, - 2: func() int { return 20 }, - 5: func() int { return 50 }, - } - fmt.Println(mf) - } +```go +package main +import "fmt" -输出结果为： map[1:0x10903be0 5:0x10903ba0 2:0x10903bc0]: 整形都被映射到函数地址。 +func main() { + mf := map[int]func() int{ + 1: func() int { return 10 }, + 2: func() int { return 20 }, + 5: func() int { return 50 }, + } + fmt.Println(mf) +} +``` -## 8.1.2 map容量 -和数组不同，map可以根据新增的key-value对动态的伸缩，因此它不存在固定长度或者最大限制。但是你也可以选择标明map的初始容量`capacity`，就像这样： make(map[keytype]valuetype, cap)，例如： - - map2 := make(map[string]float, 100) +输出结果为：`map[1:0x10903be0 5:0x10903ba0 2:0x10903bc0]``: 整形都被映射到函数地址。 -当map增长到容量上限的时候，如果再增加新的key-value对，map的大小会自动加1。所以出于性能的考虑，对于大的map或者会快速扩张的map，即使只是大概知道容量，也最好先标明。 +## 8.1.2 map 容量 -这里有一个map的具体例子： 将音阶和对应的音频映射起来： +和数组不同，map 可以根据新增的 key-value 对动态的伸缩，因此它不存在固定长度或者最大限制。但是你也可以选择标明 map 的初始容量 `capacity`，就像这样：`make(map[keytype]valuetype, cap)`。例如： - noteFrequency := map[string]float32 { - "C0": 16.35, "D0": 18.35, "E0": 20.60, "F0": 21.83, - "G0": 24.50, "A0": 27.50, "B0": 30.87, "A4": 440} +```go +map2 := make(map[string]float, 100) +``` -## 8.1.3 用slice作为map的值 -既然一个key只能对应一个value，而value又是一个原始类型，那么如果一个key要对应多个值怎么办？例如，当我们要处理unix机器上的所有进程，以父进程（pid为整形）作为key，所有的子进程（以所有子进程的pid组成的slice）作为value。通过将value定义为[]int类型或者其他类型的slice，就可以优雅的解决这个问题。 +当 map 增长到容量上限的时候，如果再增加新的 key-value 对，map 的大小会自动加 1。所以出于性能的考虑，对于大的 map 或者会快速扩张的 map，即使只是大概知道容量，也最好先标明。 -这里有一些定义这种map的例子： +这里有一个 map 的具体例子，即将音阶和对应的音频映射起来： - mp1 := make(map[int][]int) - mp2 := make(map[int]*[]int) +```go +noteFrequency := map[string]float32 { + "C0": 16.35, "D0": 18.35, "E0": 20.60, "F0": 21.83, + "G0": 24.50, "A0": 27.50, "B0": 30.87, "A4": 440} +``` -##链接 +## 8.1.3 用 slice 作为 map 的值 + +既然一个 key 只能对应一个 value，而 value 又是一个原始类型，那么如果一个 key 要对应多个值怎么办？例如，当我们要处理unix机器上的所有进程，以父进程（pid 为整形）作为 key，所有的子进程（以所有子进程的 pid 组成的 slice）作为 value。通过将 value 定义为 []int 类型或者其他类型的 slice，就可以优雅的解决这个问题。 + +这里有一些定义这种 map 的例子： + +```go +mp1 := make(map[int][]int) +mp2 := make(map[int]*[]int) +``` + +## 链接 - [目录](directory.md) - 上一节：[Maps](08.0.md) -- 下一节：[删除元素](08.2.md) +- 下一节：[测试键值对是否存在及删除元素](08.2.md) diff --git a/eBook/08.2.md b/eBook/08.2.md index f69cbec..e8e83a1 100644 --- a/eBook/08.2.md +++ b/eBook/08.2.md @@ -1,4 +1,7 @@ -#8.2 删除元素 +# 8.2 测试键值对是否存在及删除元素 + +188 + 测试map1中是否存在key1： 在例子8.1中，我们已经见过可以使用val1 = map1[key1]的方法获取key1对应的值val1。如果map中不存在key1，val1就是一个值类型的空值。 @@ -29,11 +32,11 @@ isPresent返回一个bool值：如果key1存在于map1，val1就是key1对应的 package main import "fmt" - + func main() { var value int var isPresent bool - + map1 := make(map[string]int) map1["New Delhi"] = 55 map1["Beijing"] = 20 @@ -44,11 +47,11 @@ isPresent返回一个bool值：如果key1存在于map1，val1就是key1对应的 } else { fmt.Printf("map1 does not contain Beijing") } - + value, isPresent = map1["Paris"] fmt.Printf("Is \"Paris\" in map1 ?: %t\n", isPresent) fmt.Printf("Value is: %d\n", value) - + // delete an item: delete(map1, "Washington") value, isPresent = map1["Washington"] diff --git a/eBook/directory.md b/eBook/directory.md index f0d85e5..5f42f45 100644 --- a/eBook/directory.md +++ b/eBook/directory.md @@ -66,6 +66,8 @@ - 7.5 [切片的复制与追加](07.5.md) - 7.6 [字符串、数组和切片的应用](07.6.md) - 第8章：Maps + - 8.1 [声明、初始化和 make](08.1.md) + - 8.2 [测试键值对是否存在及删除元素](08.2.md) - 第9章：包（package） - 第10章：结构（struct）与方法（method） - 第11章：接口（interface）与反射（reflection） @@ -97,4 +99,4 @@ - G 习题答案 - H 参考文献 -## 索引 \ No newline at end of file +## 索引