要点
- 一个区间:[low:high]
- 两个概念:length, capability
- 三个函数:make(), append(), copy()
概念
Array是在声明的时候都确定了长度,之后不可更改。Slice和数组类似,也是表示一个有序元素,但这个序列的长度可变。
在Go中,Slice序列中各元素的数据类型必须一致,因为在声明slice的时候即要指定类型。
可以在Python中找到Slice,和Go的Slice基本上是一致的语义和用法。Slice中文通常被译为切片,大抵是因为可以从一个序列中存取指定的某一部分。下面是Collins词典中对于slice的解释,有助于了解该词的含义:
N-COUNT (指食物切下的)片,薄片 A slice of bread, meat, fruit, or other food is a thin piece that has been cut from a larger piece. 语法信息
VERB 将…切成薄片 If you slice bread, meat, fruit, or other food, you cut it into thin pieces.
在第一次接触Python的slice的时候,对于这个slice或切片,觉得很是怪异,因为在C/C++、Java中还没有对应的术语。——虽然substr()的功用和slice有些相似,但显然slice的用法更加简洁和灵活,更显脚本语言的本色。
以上都是废话,下面给出示例。
声明&赋值
package main
import "fmt"
/*
D:\examples>go run helloworld.go
values[0]=1
values[1]=2
values[2]=3
values[3]=4
values[4]=5
D:\examples>
*/
func main() {
var values []int // (1)
values = make([]int, 5) // (2)
for i, _ := range values {
values[i] = i + 1
}
for i, item := range values {
fmt.Printf("values[%d]=%d\n", i, item)
}
}
要点:
- (1)声明:和数组类似,但是不用指定长度。在这个时候,slice的长度为0,所以还不直接放数据。
- (2)分配存储空间:调用内置make()函数为slice分配存储空间。
- 接下来的存取则和普通的数组语法一致。
可以看到,slice和数组非常类似的,即内部存储是有序的数组形式,访问也是索引方式,仅仅在于其动态长度特性。如此,slice又和C++ STL的vector类似,不用指定长度。vector可以声明最大capability,可以动态改变长度。此为,slice和Java的ArrayList也是类似的。所以,通俗的讲,slice也可看做列表。——Go有一个list package,后面会提到。
用Array给slice赋值
package main
import "fmt"
/*
D:\examples>go run helloworld.go
the_slice[0]=3
the_slice[1]=4
the_slice[2]=5
D:\examples>
*/
func main() {
the_array := [5]int {1, 2, 3, 4, 5}
the_slice := the_array[2:5]
for i, item := range the_slice {
fmt.Printf("the_slice[%d]=%d\n", i, item)
}
}
要点:
- 直接用[low:high]这种方式定义一个slice
- 这里的[low:high],用数学集合的方式来讲,就是[low, high),即左闭右开。
- 这种创建slice的方式,不需要make()函数。
[low:high]
Go的[low:high]和Python的语法一致。要点:
- [:]等价于[0:len(array)]
- [:n]等价于[0:n]
- [n:]等价于[n:len(array)]
注:别挑战low小于0或high大于len(array)的这种异常。
package main
import "fmt"
/*
D:\examples>go run helloworld.go
[:] elements:
the_slice[0]=1
the_slice[1]=2
the_slice[2]=3
the_slice[3]=4
the_slice[4]=5
[2:] elements:
the_slice[0]=3
the_slice[1]=4
the_slice[2]=5
[:4] elements:
the_slice[0]=1
the_slice[1]=2
the_slice[2]=3
the_slice[3]=4
[:4] elements:
the_slice[0]=1
the_slice[1]=2
the_slice[2]=3
the_slice[3]=4
[1:4] elements:
the_slice[0]=2
the_slice[1]=3
the_slice[2]=4
panic: runtime error: slice bounds out of range
goroutine 1 [running]:
panic(0x49cba0, 0xc04200a040)
C:/Go/src/runtime/panic.go:500 +0x1af
main.main()
D:/examples/helloworld.go:29 +0x191
exit status 2
D:\examples>
*/
func main() {
the_array := [5]int {1, 2, 3, 4, 5}
the_slice := the_array[:]
debug_slice(the_slice, "[:] elements:")
debug_slice(the_array[2:], "[2:] elements:")
debug_slice(the_array[:4], "[:4] elements:")
debug_slice(the_array[:4], "[:4] elements:")
debug_slice(the_array[1:4], "[1:4] elements:")
// invalid slice index -1 (index must be non-negative)
//debug_slice(the_array[-1:40], "[-1:40] elements:")
//invalid slice index 40 (out of bounds for 5-element array)
//debug_slice(the_array[0:40], "[:40] elements:")
//Runtime Error
the_slice2 := make([]int, 5)
debug_slice(the_slice2[0:40], "[:40] elements:")
}
func debug_slice(the_slice []int, msg string) {
fmt.Println(msg)
for i, item := range the_slice {
fmt.Printf("the_slice[%d]=%d\n", i, item)
}
}
length & capability
先给出示例代码:
package main
import "fmt"
/*
D:\examples>go run helloworld.go
default values of slice:
the_slice[0]=0
the_slice[1]=0
the_slice[2]=0
the_slice[3]=0
the_slice[4]=0
D:\examples>
*/
func main() {
var the_slice []int;
the_slice = make([]int, 5, 10)
debug_slice(the_slice, "default values of slice:")
}
func debug_slice(the_slice []int, msg string) {
fmt.Println(msg)
for i, item := range the_slice {
fmt.Printf("the_slice[%d]=%d\n", i, item)
}
}
在make()的时候,5表示长度为5个元素,此即length的概念;10表示整个容器的长度,即capability的概念。在这里,slice可以放10个元素,但目前只放了5个元素。make()的时候会自动初始化这5个元素为缺省值(???)。
在 <> Ch4 Composite Types, P88 有如下的描述:
make([]T, len)
make([]T, len, capability) // same as make([]T capability)[:len]
也就是说, 对于第一种情形,make直接创建长度为len的数组,并返回这个数组的元素。对于第二种情形,make会创建长度为capability的数组,但仅仅返回前面的len个元素。显然,返回的slice的长度就是len。
因为slice是依存于数组数据结构而存在,虽然第二种情形下slice的长度为len,但在添加新的元素的时候,只要不超过capability,就无须动态创建新的数组,而直接把要添加的元素放在slice已有元素的后面。
slice的length和capability的概念,和C++ STL vector对应的含义是一致的。——python的slice/list貌似没用这个概念。。。不确定。。。
当capability不至于放新的原始的时候,slice对象就会重新创建一个数组,并把原来的数据拷贝到新的数组里。
可以认为,capability对于功能无影响,但对于程序的性能会有影响。如果设置不当,会因为频繁的数据拷贝而降低性能。
TODO: 暂不清楚Go是否有OO的ctor的概念,如果有的话,用slice存放OO对象+ctor打印,会比较好的说明capability的作用。
对于以上解读,再给出一个例子:
package main
import "fmt"
/*
D:\examples>go run helloworld.go
default value of slice:
the_slice[0]=0
the_slice[1]=0
the_slice[2]=0
slice:
the_slice[0]=1
the_slice[1]=2
the_slice[2]=3
the_slice[3]=4
the_slice[4]=5
the_slice[5]=6
D:\examples>
*/
func main() {
the_array := [6]int {1,2,3,4,5,6}
the_slice := make([]int, 3, 5)
debug_slice(the_slice, "default value of slice:")
the_slice = the_array[:]
debug_slice(the_slice, "slice:")
}
func debug_slice(the_slice []int, msg string) {
fmt.Println(msg)
for i, item := range the_slice {
fmt.Printf("the_slice[%d]=%d\n", i, item)
}
}
append
append()函数是在slice后面添加元素。同前面对capability的描述,append()的时候可能涉及到数组的动态创建。
package main
import "fmt"
/*
D:\examples>go run helloworld.go
slice1: 1 2 3
slice2: 1 2 3 4 5
slice1: 1 2 3 4 5 6
slice2: 1 2 3 4 5
D:\examples>
*/
func main() {
the_slice1 := []int {1,2,3}
the_slice2 := append(the_slice1, 4, 5)
debug_slice(the_slice1, "slice1:")
debug_slice(the_slice2, "slice2:")
the_slice1 = append(the_slice1, 4, 5, 6)
debug_slice(the_slice1, "slice1:")
debug_slice(the_slice2, "slice2:")
//the_slice1.append undefined (type []int has no field or method append)
//the_slice1.append(7)
}
func debug_slice(the_slice []int, msg string) {
fmt.Print(msg, "\t")
for _, item := range the_slice {
fmt.Print(item, "\t")
}
fmt.Println()
}
不清楚,为什么不支持.append()这种语法,而是append(slice, elements …)。
copy
copy()函数是把一个slice的“所有”元素拷贝到另外一个slice中。——是拷贝,而不是追加(append)。需要注意的是:如果目标slice的长度小于源slice的长度,那么就不会拷贝源slice的所有原始。
package main
import "fmt"
/*
D:\examples>go run helloworld.go
slice1: 1 2 3
slice2: 0 0
slice3: 10 0 0 0
slice1: 1 2 3
slice2: 1 2
slice3: 1 2 3 0
D:\examples>
*/
func main() {
slice1 := []int {1,2,3}
slice2 := make([]int, 2)
slice3 := make([]int, 4)
slice3[0] = 10
debug_slice(slice1, "slice1:")
debug_slice(slice2, "slice2:")
debug_slice(slice3, "slice3:")
copy(slice2, slice1)
copy(slice3, slice1)
debug_slice(slice1, "slice1:")
debug_slice(slice2, "slice2:")
debug_slice(slice3, "slice3:")
}
func debug_slice(the_slice []int, msg string) {
fmt.Print(msg, "\t")
for _, item := range the_slice {
fmt.Print(item, "\t")
}
fmt.Println()
}
附 append documentation
func append
func append(slice []Type, elems ...Type) []Type
The append built-in function appends elements to the end of a slice. If it has sufficient capacity, the destination is resliced to accommodate the new elements. If it does not, a new underlying array will be allocated. Append returns the updated slice. It is therefore necessary to store the result of append, often in the variable holding the slice itself:
slice = append(slice, elem1, elem2)
slice = append(slice, anotherSlice...)
As a special case, it is legal to append a string to a byte slice, like this:
slice = append([]byte("hello "), "world"...)
附 copy documentation
func copy
func copy(dst, src []Type) int
The copy built-in function copies elements from a source slice into a destination slice. (As a special case, it also will copy bytes from a string to a slice of bytes.) The source and destination may overlap. Copy returns the number of elements copied, which will be the minimum of len(src) and len(dst).
有疑问加站长微信联系(非本文作者)