3.2.6Golang的切片

寒暄_HX · · 1091 次点击 · · 开始浏览    
这是一个创建于 的文章,其中的信息可能已经有所发展或是发生改变。

总目录:https://www.jianshu.com/p/e406a9bc93a9

Golang - 子目录:https://www.jianshu.com/p/8b3e5b2b4497

切片

go语言的切片与Python的切片看起来是一样的,但是却截然不同,Python的切片操作是一种深拷贝行为,切出来就是切出来了,go语言的切片操作是一种引用行为。

为什么会有切片

go语言中的数组是定长序列,查询快但是不易操作,例如我们不能对他进行追加元素。
所以就有了切片,相比于数组,切片是一个不定长序列,同时他是基于数组的封装,也就是说他有了数组的操作速度的同时更加的灵活。
我们上面也说go语言的切片是一种引用类型,所以他的内部结构是地址长度容量。一般使用切片来进行对一块数据的快速操作。

切片的定义

语法:
var 切片名 []数据类型

例子:

package main

import "fmt"

func main() {
    var s1 []int    //定义一个整数类型的切片
    var s2 []string //定义一个字符串类型的切片
    fmt.Println(s1, s2)
}
----------
[][]

切片的初始化

切片的初始化没有什么需要注意的,需要注意的是初始化之后的切片,哪怕是空值,他也不等于nil了。
例子:

package main

import "fmt"

func main() {
    // 切片的定义
    var s1 []int    //定义一个整数类型的切片
    var s2 []string //定义一个字符串类型的切片

    // 切片的初始化
    s1 = []int{1, 2, 3}             //对已经创建的切片赋值
    var s3 = []string{}             //创建时初始化,并且赋空值
    var s4 = []bool{false, true}    //创建时初始化,并且赋值
    fmt.Println(s1, s2, s3, s4)

    fmt.Println(s1 == nil)
    fmt.Println(s2 == nil)
    fmt.Println(s3 == nil)
    fmt.Println(s4 == nil)

}
-----------
[1 2 3] [] [] [false true]
false
true
false
false

切片的长度与容量

既然我们说切片是一个不定长数据类型,那么我们肯定需要知道某个切片的长度。但实际上切片除了长度这个属性外,还有一个属性--容量。

package main

import "fmt"

func main() {
    // 切片的定义
    var s1 []int    //定义一个整数类型的切片

    // 切片的初始化
    s1 = []int{1, 2, 3}             //对已经创建的切片赋值

    // 切片的长度与容量
    fmt.Printf("len(s1):%d,cap(s1):%d",len(s1),cap(s1))
}

----------
len(s1):3,cap(s1):3

乍一看,长度和容量都是3,好像没有什么不同,这就需要来看我们另外一种定义方式---基于数组定义切片。

基于数组定义切片

基于数组的切片操作起来和Python基于序列的切片一样,遵循左闭右开规则,切的都是索引。

package main

import "fmt"

func main() {
    // 基于数组定义切片
    // 定义一个数组
    arr1 := [5]int{1, 2, 3, 4, 5}

    // 基于一个数组定义切片  遵循左闭右开规则
    s1 := arr1[1:4]

    fmt.Println(s1)
    fmt.Printf("%T\n", s1)

    fmt.Printf("len(s1):%d,cap(s1):%d", len(s1), cap(s1))
}
----------
[2 3 4]
[]int
len(s1):3,cap(s1):4

但是运行完后,我们发现切片的长度为3,但是容量为4了。
这是因为容量是从数组中切片的首元素下标开始数,数到数组的尾下标。s1的容量是4,具体点是2, 3, 4, 5这四个元素所占的长度。

这是我们再来看看,他是不是和Python一样,都有步长:


截图

但是看样子是不可以的,他说这样是无效的,那么我们把它们颠倒一下。
颠倒之后并没有报错,然后我看来一下官方文档,切片操作的第三个参数是用来限制切片的容量。
允许限制新切片的容量为底层数组提供了一定的保护,可以更好地控制追加操作。

package main

import "fmt"

func main() {
    arr1 := [5]int{1, 2, 3, 4, 5}
        // 限制切片的容量
    s2 := arr1[1:2:3]
    fmt.Println(s2)
    fmt.Printf("%T\n", s2)

    fmt.Printf("len(s2):%d,cap(s2):%d", len(s2), cap(s2))
}
----------
[2]
[]int
len(s2):1,cap(s2):2

如果没有第三个参数的话,容量会一直到数组末位,但是设置第三个参数,就会到第三个参数标注的索引处。

接着让我们来看一下一些通用操作:

package main

import "fmt"

func main() {
    arr1 := [5]int{1, 2, 3, 4, 5}

    fmt.Println(arr1[2:])  //从第二个索引取到末位,包括第二个索引
    fmt.Println(arr1[:4])  //从头取到第四个索引,不包括第四个索引
    fmt.Println(arr1[:])    //从头取到未
}
----------
[3 4 5]
[1 2 3 4]
[1 2 3 4 5]

基于切片再切片

package main

import "fmt"

func main() {
// 切片再切片
    // 定义一个数组
    arr2 := [...]int{1,2,3,4,5,6,7,8,9,10}
    // 切片
    s3 := arr2[:7]
    fmt.Println("s3:",s3)
    // 切片在切片
    s4 := s3[3:5]
    fmt.Println("s4:",s4)
    s5 := s3[1:9]
    fmt.Println("s5:",s5)

    // 一个限制容量的切片
    s6 := arr2[:7:8]
    fmt.Println("s6:",s6)
    // 在切片  这里会报错,因为s6的容量只到8.
    s7 := s6[1:9]
    fmt.Println("s7:",s7)
}
----------
s3: [1 2 3 4 5 6 7]
s4: [4 5]
s5: [2 3 4 5 6 7 8 9]
s6: [1 2 3 4 5 6 7]
panic: runtime error: slice bounds out of range [:9] with capacity 8

切片再切片并不是在原来的切片上面切片,因为切片是引用类型,所以再切片也是在底层数组上进行切片的。
同时如果切片限制了容量,那么再切片不能超过这个容量,否则会越界。
再切片也不能超过数组的长度。

既然切片是引用类型,那么我们修改一下切片里的元素呢

package main

import "fmt"

func main() {
    arr2 := [...]int{1,2,3,4,5,6,7,8,9,10}

    // 如果修改了切片的元素呢
    fmt.Printf("没有修改的s6[3]:%d\n",s6[3])
    s6[3] = 100
    fmt.Printf("修改过的s6[3]:%d\n",s6[3])
    fmt.Println("修改过的数组:",arr2)
}
----------
没有修改的s6[3]:4
修改过的s6[3]:100
修改过的数组: [1 2 3 100 5 6 7 8 9 10]

使用make()函数构造切片

make()函数就是一个内置的用来创建切片的函数。

语法
make ([]T, size, cap)
T:切片的元素类型
size:切片中元素的数量
cap:切片的容量

例子:

package main

import "fmt"

func main() {
    // make函数
    a := make([]int, 2, 10)
    fmt.Printf("len(a):%d,cap(a):%d\n", len(a), cap(a))
}
----------
len(a):2,cap(a):10

如果不写容量,则默认长度就是容量。

package main

import "fmt"

func main() {
    // make函数
    a := make([]int, 2)
    fmt.Printf("len(a):%d,cap(a):%d\n", len(a), cap(a))
}
----------
len(a):2,cap(a):2

切片的本质

切片的本质就是对底层数组的封装,它包含了三个信息:底层数组的指针、切片的长度(len)和切片的容量(cap)。

举个例子,现在有一个数组a := [8]int{0, 1, 2, 3, 4, 5, 6, 7},切片s1 := a[:5],相应示意图如下。

slice_01

切片s2 := a[3:6],相应示意图如下:

slice_02

切片的比较

切片之间是不能比较的,我们不能使用==操作符来判断两个切片是否含有全部相等元素。 切片唯一合法的比较操作是和nil比较。 一个nil值的切片并没有底层数组,一个nil值的切片的长度和容量都是0。但是我们不能说一个长度和容量都是0的切片一定是nil,例如下面的示例:

var s1 []int         //len(s1)=0;cap(s1)=0;s1==nil
s2 := []int{}        //len(s2)=0;cap(s2)=0;s2!=nil
s3 := make([]int, 0) //len(s3)=0;cap(s3)=0;s3!=nil

所以要判断一个切片是否是空的,要是用len(s) == 0来判断,不应该使用s == nil来判断。

切片的赋值

切片是引用类型,只要他们是从同一个底层散发出去的,他们的修改操作就会影响底层。

package main

import "fmt"

func main() {
    // 切片赋值
    ms1 := make([]int, 3) //[0 0 0]
    ms2 := ms1            //将s1直接赋值给s2,s1和s2共用一个底层数组
    ms2[0] = 100
    fmt.Println(ms1)      //[100 0 0]
    fmt.Println(ms2)      //[100 0 0]
}
----------
[100 0 0]
[100 0 0]

切片的遍历

因为底层还是数组,所以遍历的方式与结果与数组一致。

package main

import "fmt"

func main() {
        // 切片遍历
    s := []int{1, 3, 5}

    for i := 0; i < len(s); i++ {
        fmt.Println(i, s[i])
    }

    for index, value := range s {
        fmt.Println(index, value)
    }
}
----------
0 1
1 3
2 5
0 1
1 3
2 5

append()

Go语言的内建函数append()可以为切片动态添加元素。 可以一次添加一个元素,可以添加多个元素,也可以添加另一个切片中的元素(后面加…)。

package main

import "fmt"

func main() {
    s1 := []string{"北京", "上海", "深圳"}
    fmt.Printf("len(s1):%d,cap(s1):%d\n", len(s1), cap(s1))

    // 按照原来的写法,对数组进行扩容可以:
    // s1[3] = "广州"  //但是go中数组是定长类型,所以不能这么写

    // 正确的写法: 使用一个变量接受返回值,一般用原来的切片接受返回值
    s1 = append(s1, "广州") // 进行扩容之后的切片,就不再是原来的切片了。
    fmt.Printf("len(s1):%d,cap(s1):%d\n", len(s1), cap(s1))

    // 添加多个元素
    s1 = append(s1, "成都", "重庆")
    fmt.Printf("len(s1):%d,cap(s1):%d\n", len(s1), cap(s1))

    // 添加另一个切片中的元素
    s2 := []string{"石家庄", "保定", "邢台"}
    s1 = append(s1, s2...)
    fmt.Printf("len(s1):%d,cap(s1):%d\n", len(s1), cap(s1))

}

----------
len(s1):3,cap(s1):3
len(s1):4,cap(s1):6
len(s1):6,cap(s1):6
len(s1):9,cap(s1):12

注意:append()函数可以直接作用于没有初始化的切片。

每个切片会指向一个底层数组,这个数组的容量够用就添加新增元素。当底层数组不能容纳新增的元素时,切片就会自动按照一定的策略进行“扩容”,此时该切片指向的底层数组就会更换。“扩容”操作往往发生在append()函数调用时,所以我们通常都需要用原变量接收append函数的返回值。

例子:

func main() {
    //append()添加元素和切片扩容
    var numSlice []int
    for i := 0; i < 10; i++ {
        numSlice = append(numSlice, i)
        fmt.Printf("%v  len:%d  cap:%d  ptr:%p\n", numSlice, len(numSlice), cap(numSlice), numSlice)
    }
}
----------
[0]  len:1  cap:1  ptr:0xc0000a8000
[0 1]  len:2  cap:2  ptr:0xc0000a8040
[0 1 2]  len:3  cap:4  ptr:0xc0000b2020
[0 1 2 3]  len:4  cap:4  ptr:0xc0000b2020
[0 1 2 3 4]  len:5  cap:8  ptr:0xc0000b6000
[0 1 2 3 4 5]  len:6  cap:8  ptr:0xc0000b6000
[0 1 2 3 4 5 6]  len:7  cap:8  ptr:0xc0000b6000
[0 1 2 3 4 5 6 7]  len:8  cap:8  ptr:0xc0000b6000
[0 1 2 3 4 5 6 7 8]  len:9  cap:16  ptr:0xc0000b8000
[0 1 2 3 4 5 6 7 8 9]  len:10  cap:16  ptr:0xc0000b8000

append()函数将元素追加到切片的最后并返回该切片。
切片numSlice的容量按照1,2,4,8,16这样的规则自动进行扩容,每次扩容后都是扩容前的2倍。

切片的扩容策略

我们先看go语言关于扩容的一段源码:

newcap := old.cap
doublecap := newcap + newcap
if cap > doublecap {
    newcap = cap
} else {
    if old.len < 1024 {
        newcap = doublecap
    } else {
        // Check 0 < newcap to detect overflow
        // and prevent an infinite loop.
        for 0 < newcap && newcap < cap {
            newcap += newcap / 4
        }
        // Set newcap to the requested cap when
        // the newcap calculation overflowed.
        if newcap <= 0 {
            newcap = cap
        }
    }
}
  • 首先判断,如果新申请容量(cap)大于2倍的旧容量(old.cap),最终容量(newcap)就是新申请的容量(cap)。
  • 否则判断,如果旧切片的长度小于1024,则最终容量(newcap)就是旧容量(old.cap)的两倍,即(newcap=doublecap),
  • 否则判断,如果旧切片长度大于等于1024,则最终容量(newcap)从旧容量(old.cap)开始循环增加原来的1/4,即(newcap=old.cap,for {newcap += newcap/4})直到最终容量(newcap)大于等于新申请的容量(cap),即(newcap >= cap)
  • 如果最终容量(cap)计算值溢出,则最终容量(cap)就是新申请容量(cap)。

需要注意的是,切片扩容还会根据切片中元素的类型不同而做不同的处理,比如int和string类型的处理方式就不一样。

大白话一下就是:
1.如果要的容量是原来容量的两倍还要多,那么把他要的给他:

    s1 := []string{"北京", "上海", "深圳"}
    fmt.Printf("len(s1):%d,cap(s1):%d\n", len(s1), cap(s1))
    s1 = append(s1, "广州","成都", "重庆","石家庄", "保定", "邢台","张家口") 
    fmt.Printf("len(s1):%d,cap(s1):%d\n", len(s1), cap(s1))
----------
len(s1):3,cap(s1):3
len(s1):10,cap(s1):10

他最开始有3容量,然后一次性插入7个元素,比他本来的容量的两倍大,那么就用现在的容量直接覆盖原来的容量。

2.如果要的容量没有原来容量两倍大,那就扩充到原来容量的两倍。

    s1 := []string{"北京", "上海", "深圳"}
    fmt.Printf("len(s1):%d,cap(s1):%d\n", len(s1), cap(s1))
    s1 = append(s1, "广州","成都") 
    fmt.Printf("len(s1):%d,cap(s1):%d\n", len(s1), cap(s1))
----------
len(s1):3,cap(s1):3
len(s1):10,cap(s1):6

3.如果原来的容量大于1024,那么每次提升25%,不再是提升100%。
也就是原来是2000的容量,扩充会先扩充到2500,不够再扩充到3000,不会一下翻两倍到4000。

copy()

关于拷贝的用法,可以参考我的深浅拷贝那一节,理解了Python的深浅拷贝,就能秒懂这个。

package main

import "fmt"

func main() {
    // copy
    a := []int{1, 2, 3, 4, 5}
    c := make([]int, 5, 5)
    copy(c, a)     //使用copy()函数将切片a中的元素复制到切片c
    fmt.Printf("a:%v,len(a):%d,cap(a):%d\n", a,len(a), cap(a))
    fmt.Printf("c:%v,len(c):%d,cap(c):%d\n", c,len(c), cap(c))
    c[0] = 1000    // copy操作之后的切片c和切片a之间没有任何关系 是两个独立的切片
    fmt.Printf("a:%v,len(a):%d,cap(a):%d\n", a,len(a), cap(a))
    fmt.Printf("c:%v,len(c):%d,cap(c):%d\n", c,len(c), cap(c))

}
----------
a:[1 2 3 4 5],len(a):5,cap(a):5
c:[1 2 3 4 5],len(c):5,cap(c):5
a:[1 2 3 4 5],len(a):5,cap(a):5
c:[1000 2 3 4 5],len(c):5,cap(c):5

删除元素

Go语言中并没有删除切片元素的专用方法,我们可以使用切片本身的特性来删除元素。

    // 删除元素
    s := []int{1,2,3,4,5,6,7,8}
    // 使用append间隔追加
    s = append(s[:1],s[2:]...)
    fmt.Printf("s:%v,len(s):%d,cap(s):%d\n", s,len(s), cap(s))
---------
s:[1 3 4 5 6 7 8],len(s):7,cap(s):8

练习题

1.请写出下面代码的输出结果。

func main() {
    var a = make([]string, 5, 10)
    for i := 0; i < 10; i++ {
        a = append(a, fmt.Sprintf("%v", i))
    }
    fmt.Println(a)
}
[     0 1 2 3 4 5 6 7 8 9]
// 最开始的a是一个有五个空字符串的切片。
// 切片里面能放多少元素,是容量说的算

2.请使用内置的sort包对数组var a = [...]int{3, 7, 8, 9, 1}进行排序

    var a1 = [...]int{3, 7, 8, 9, 1}
    sort.Ints(a1[:])
    fmt.Println(a1)

要导入sort这个包。 记得把数组变成切片。

有疑问加站长微信联系(非本文作者)

本文来自:简书

感谢作者:寒暄_HX

查看原文:3.2.6Golang的切片

入群交流(和以上内容无关):加入Go大咖交流群,或添加微信:liuxiaoyan-s 备注:入群;或加QQ群:692541889

1091 次点击  
加入收藏 微博
暂无回复
添加一条新回复 (您需要 登录 后才能回复 没有账号 ?)
  • 请尽量让自己的回复能够对别人有帮助
  • 支持 Markdown 格式, **粗体**、~~删除线~~、`单行代码`
  • 支持 @ 本站用户;支持表情(输入 : 提示),见 Emoji cheat sheet
  • 图片支持拖拽、截图粘贴等方式上传