mirror of
https://github.com/LCTT/TranslateProject.git
synced 2024-12-26 21:30:55 +08:00
237 lines
8.5 KiB
Markdown
237 lines
8.5 KiB
Markdown
从零开始学习 Go 语言的切片
|
||
======
|
||
|
||
这篇文章受到了我与同事讨论使用<ruby>切片<rt>slice</rt></ruby>作为<ruby>栈<rt>stack</rt></ruby>的一次聊天的启发。后来话题聊到了 Go 语言中的切片是如何工作的。我认为这些信息对别人也有用，所以就把它记录了下来。
|
||
|
||
### 数组
|
||
|
||
任何关于 Go 语言切片的讨论都要从另一个数据结构也就是<ruby>数组<rt>array</rt></ruby>开始。Go 的数组有两个特性：
|
||
|
||
1. 数组的长度是固定的；`[5]int` 是由 5 个 `int` 构成的数组，和 `[3]int` 不同。
|
||
2. 数组是值类型。看下面这个示例：
|
||
|
||
```
|
||
package main
|
||
|
||
import "fmt"
|
||
|
||
func main() {
|
||
var a [5]int
|
||
b := a
|
||
b[2] = 7
|
||
fmt.Println(a, b) // prints [0 0 0 0 0] [0 0 7 0 0]
|
||
}
|
||
```
|
||
|
||
语句 `b := a` 定义了一个类型是 `[5]int` 的新变量 `b`，然后把 `a` 中的内容 _复制_ 到 `b` 中。改变 `b` 对 `a` 中的内容没有影响，因为 `a` 和 `b` 是相互独立的值。[^1]
|
||
|
||
### 切片
|
||
|
||
Go 语言的切片和数组的主要有如下两个区别：
|
||
|
||
1. 切片没有一个固定的长度。切片的长度不是它类型定义的一部分，而是由切片内部自己维护的。我们可以使用内置的 `len` 函数知道它的长度。[^2]
|
||
2. 将一个切片赋值给另一个切片时 _不会_ 对切片内容进行复制操作。这是因为切片没有直接持有其内部数据，而是保留了一个指向 _底层数组_ [^3] 的指针。数据都保留在底层数组里。
|
||
|
||
基于第二个特性，两个切片可以享有共同的底层数组。看下面的示例：
|
||
|
||
1. 对切片取切片
|
||
|
||
```
|
||
package main
|
||
|
||
import "fmt"
|
||
|
||
func main() {
|
||
var a = []int{1,2,3,4,5}
|
||
b := a[2:]
|
||
b[0] = 0
|
||
fmt.Println(a, b) // prints [1 2 0 4 5] [0 4 5]
|
||
}
|
||
```
|
||
|
||
在这个例子里，`a` 和 `b` 享有共同的底层数组 —— 尽管 `b` 在数组里的起始偏移量不同，两者的长度也不同。通过 `b` 修改底层数组的值也会导致 `a` 里的值的改变。
|
||
|
||
2. 将切片传进函数
|
||
|
||
```
|
||
package main
|
||
|
||
import "fmt"
|
||
|
||
func negate(s []int) {
|
||
for i := range s {
|
||
s[i] = -s[i]
|
||
}
|
||
}
|
||
|
||
func main() {
|
||
var a = []int{1, 2, 3, 4, 5}
|
||
negate(a)
|
||
fmt.Println(a) // prints [-1 -2 -3 -4 -5]
|
||
}
|
||
```
|
||
|
||
在这个例子里，`a` 作为形参 `s` 的实参传进了 `negate` 函数，这个函数遍历 `s` 内的元素并改变其符号。尽管 `nagate` 没有返回值，且没有访问到 `main` 函数里的 `a`。但是当将之传进 `negate` 函数内时，`a` 里面的值却被改变了。
|
||
|
||
大多数程序员都能直观地了解 Go 语言切片的底层数组是如何工作的，因为它与其它语言中类似数组的工作方式类似。比如下面就是使用 Python 重写的这一小节的第一个示例：
|
||
|
||
```
|
||
Python 2.7.10 (default, Feb 7 2017, 00:08:15)
|
||
[GCC 4.2.1 Compatible Apple LLVM 8.0.0 (clang-800.0.34)] on darwin
|
||
Type "help", "copyright", "credits" or "license" for more information.
|
||
>>> a = [1,2,3,4,5]
|
||
>>> b = a
|
||
>>> b[2] = 0
|
||
>>> a
|
||
[1, 2, 0, 4, 5]
|
||
```
|
||
|
||
以及使用 Ruby 重写的版本:
|
||
|
||
```
|
||
irb(main):001:0> a = [1,2,3,4,5]
|
||
=> [1, 2, 3, 4, 5]
|
||
irb(main):002:0> b = a
|
||
=> [1, 2, 3, 4, 5]
|
||
irb(main):003:0> b[2] = 0
|
||
=> 0
|
||
irb(main):004:0> a
|
||
=> [1, 2, 0, 4, 5]
|
||
```
|
||
|
||
在大多数将数组视为对象或者是引用类型的语言也是如此。[^4]
|
||
|
||
### 切片头
|
||
|
||
切片同时拥有值和指针特性的神奇之处在于理解切片实际上是一个<ruby>结构体<rt>struct</rt></ruby>类型。通常在[<ruby>反射<rt>reflect</rt></ruby>包内相应部分之后][7]的这个结构体被称作<ruby>切片头<rt>slice header</rt></ruby>。切片头的定义大致如下：
|
||
|
||
|
||
|
||
```
|
||
package runtime
|
||
|
||
type slice struct {
|
||
ptr unsafe.Pointer
|
||
len int
|
||
cap int
|
||
}
|
||
```
|
||
|
||
这很重要，因为和 [`map` 以及 `chan` 这两个类型不同][7]，切片是值类型，当被赋值或者被作为参数传入函数时候会被复制过去。
|
||
|
||
程序员们都能理解 `square` 的形参 `v` 和 `main` 中声明的 `v` 的是相互独立的。请看下面的例子：
|
||
|
||
```
|
||
package main
|
||
|
||
import "fmt"
|
||
|
||
func square(v int) {
|
||
v = v * v
|
||
}
|
||
|
||
func main() {
|
||
v := 3
|
||
square(v)
|
||
fmt.Println(v) // prints 3, not 9
|
||
}
|
||
```
|
||
|
||
因此 `square` 对自己的形参 `v` 的操作没有影响到 `main` 中的 `v`。下面这个示例中的 `s` 也是 `main` 中声明的切片 `s` 的独立副本， _而不是_ 指向 `main` 的 `s` 的指针。
|
||
|
||
```
|
||
package main
|
||
|
||
import "fmt"
|
||
|
||
func double(s []int) {
|
||
s = append(s, s...)
|
||
}
|
||
|
||
func main() {
|
||
s := []int{1, 2, 3}
|
||
double(s)
|
||
fmt.Println(s, len(s)) // prints [1 2 3] 3
|
||
}
|
||
```
|
||
|
||
Go 的切片是作为值传递而不是指针这一点不太寻常。当你在 Go 内定义一个结构体时，90% 的时间里传递的都是这个结构体的指针[^5] 。切片的传递方式真的很不寻常，我能想到的唯一与之相同的例子只有 `time.Time`。
|
||
|
||
切片作为值传递而不是作为指针传递这一特殊行为会让很多想要理解切片的工作原理的 Go 程序员感到困惑。你只需要记住，当你对切片进行赋值、取切片、传参或者作为返回值等操作时，你是在复制切片头结构的三个字段：指向底层数组的指针、长度，以及容量。
|
||
|
||
### 总结
|
||
|
||
我们来用引出这一话题的切片作为栈的例子来总结下本文的内容：
|
||
|
||
```
|
||
package main
|
||
|
||
import "fmt"
|
||
|
||
func f(s []string, level int) {
|
||
if level > 5 {
|
||
return
|
||
}
|
||
s = append(s, fmt.Sprint(level))
|
||
f(s, level+1)
|
||
fmt.Println("level:", level, "slice:", s)
|
||
}
|
||
|
||
func main() {
|
||
f(nil, 0)
|
||
}
|
||
```
|
||
|
||
在 `main` 函数的最开始我们把一个 `nil` 切片传给了函数 `f` 作为 `level` 0 。在函数 `f` 里我们把当前的 `level` 添加到切片的后面，之后增加 `level` 的值并进行递归。一旦 `level` 大于 5，函数返回，打印出当前的 `level` 以及它们复制到的 `s` 的内容。
|
||
|
||
```
|
||
level: 5 slice: [0 1 2 3 4 5]
|
||
level: 4 slice: [0 1 2 3 4]
|
||
level: 3 slice: [0 1 2 3]
|
||
level: 2 slice: [0 1 2]
|
||
level: 1 slice: [0 1]
|
||
level: 0 slice: [0]
|
||
```
|
||
|
||
你可以注意到在每一个 `level` 内 `s` 的值没有被别的 `f` 的调用影响，尽管当计算更高的 `level` 时作为 `append` 的副产品，调用栈内的四个 `f` 函数创建了四个底层数组[^6] ，但是没有影响到当前各自的切片。
|
||
|
||
### 扩展阅读
|
||
|
||
如果你想要了解更多 Go 语言内切片运行的原理，我建议看看 Go 博客里的这些文章：
|
||
|
||
* [Go Slices: usage and internals][5] (blog.golang.org)
|
||
* [Arrays, slices (and strings): The mechanics of 'append'][6] (blog.golang.org)
|
||
|
||
[^1]: 这不是数组才有的特性，在 Go 语言里中 _一切_ 赋值都是复制过去的。
|
||
[^2]: 你也可以在对数组使用 `len` 函数，但是其结果本来就人尽皆知。
|
||
[^3]: 有时也叫做<ruby>后台数组<rt>backing array</rt></ruby>，以及更不严谨的说法是后台切片。
|
||
[^4]: Go 语言里我们倾向于说值类型以及指针类型，因为 C++ 的<ruby>引用<rt>reference</rt></ruby>类型这个词产生误会。但在这里我认为调用数组作为引用类型是没有问题的。
|
||
[^5]: 如果你的结构体有[定义在其上的方法或者用于满足某个接口][7]，那么你传入结构体指针的比率可以飙升到接近 100%。
|
||
[^6]: 证明留做习题。
|
||
|
||
### 相关文章：
|
||
|
||
1. [If a map isn't a reference variable, what is it?][1]
|
||
2. [What is the zero value, and why is it useful?][2]
|
||
3. [The empty struct][3]
|
||
4. [Should methods be declared on T or *T][4]
|
||
|
||
---
|
||
|
||
via: https://dave.cheney.net/2018/07/12/slices-from-the-ground-up
|
||
|
||
作者：[Dave Cheney][a]
|
||
译者：[name1e5s](https://github.com/name1e5s)
|
||
校对：[pityonline](https://github.com/pityonline)
|
||
|
||
本文由 [LCTT](https://github.com/LCTT/TranslateProject) 原创编译，[Linux中国](https://linux.cn/) 荣誉推出
|
||
|
||
[a]: https://dave.cheney.net/
|
||
[1]: https://dave.cheney.net/2017/04/30/if-a-map-isnt-a-reference-variable-what-is-it
|
||
[2]: https://dave.cheney.net/2013/01/19/what-is-the-zero-value-and-why-is-it-useful
|
||
[3]: https://dave.cheney.net/2014/03/25/the-empty-struct
|
||
[4]: https://dave.cheney.net/2016/03/19/should-methods-be-declared-on-t-or-t
|
||
[5]: https://blog.golang.org/go-slices-usage-and-internals
|
||
[6]: https://blog.golang.org/slices
|
||
[7]: https://golang.org/pkg/reflect/#SliceHeader
|