关闭

Go-Slice

标签: GoSlice切片
338人阅读 评论(0) 收藏 举报
分类:

要点

  • 一个区间:[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).

0
0

查看评论
* 以上用户言论只代表其个人观点,不代表CSDN网站的观点或立场
    个人资料
    • 访问:217800次
    • 积分:5758
    • 等级:
    • 排名:第4478名
    • 原创:375篇
    • 转载:14篇
    • 译文:0篇
    • 评论:19条
    文章分类
    最新评论