go语言切片扩容规则闲谈 go语言切片初始化

Go语言 排序与搜索切片Go语言标准库中提供了sort包对整型,浮点型,字符串型切片进行排序,检查一个切片是否排好序,使用二分法搜索函数在一个有序切片中搜索一个元素等功能 。
关于sort包内的函数说明与使用,请查看
在这里简单讲几个sort包中常用的函数
在Go语言中,对字符串的排序都是按照字节排序,也就是说在对字符串排序时是区分大小写的 。
二分搜索算法
Go语言中提供了一个使用二分搜索算法的sort.Search(size,fn)方法:每次只需要比较㏒?n个元素,其中n为切片中元素的总数 。
sort.Search(size,fn)函数接受两个参数:所处理的切片的长度和一个将目标元素与有序切片的元素相比较的函数,该函数是一个闭包 , 如果该有序切片是升序排列,那么在判断时使用 有序切片的元素 = 目标元素 。该函数返回一个int值 , 表示与目标元素相同的切片元素的索引 。
在切片中查找出某个与目标字符串相同的元素索引
GoLang中的切片扩容机制[5]int是数组,而[]int是切片 。二者看起来相似,实则是根本上不同的数据结构 。
切片的数据结构中,包含一个指向数组的指针array,当前长度len,以及最大容量cap。在使用make([]int, len)创建切片时 , 实际上还有第三个可选参数cap,也即make([]int, len, cap)。在不声明cap的情况下,默认cap=len。当切片长度没有超过容量时,对切片新增数据,不会改变array指针的值 。
当对切片进行append操作,导致长度超出容量时,就会创建新的数组,这会导致和原有切片的分离 。在下例中
由于a的长度超出了容量,所以切片a指向了一个增长后的新数组,而b仍然指向原来的老数组 。所以之后对a进行的操作,对b不会产生影响 。
试比较
本例中,a的容量为6 , 因此在append后并未超出容量,所以array指针没有改变 。因此 , 对a进行的操作,对b同样产生了影响 。
下面看看用a := []int{}这种方式来创建切片会是什么情况 。
可以看到,空切片的容量为0,但后面向切片中添加元素时,并不是每次切片的容量都发生了变化 。这是因为,如果增大容量,也即需要创建新数组 , 这时还需要将原数组中的所有元素复制到新数组中,开销很大,所以GoLang设计了一套扩容机制,以减少需要创建新数组的次数 。但这导致无法很直接地判断append时是否创建了新数组 。
如果一次添加多个元素,容量又会怎样变化呢?试比较下面两个例子:
那么,是不是说,当向一个空切片中插入2n-1个元素时,容量就会被设置为2n呢?我们来试试其他的数据类型 。
可以看到 , 根据切片对应数据类型的不同,容量增长的方式也有很大的区别 。相关的源码包括: src/runtime/msize.go,src/runtime/mksizeclasses.go 等 。
我们再看看切片初始非空的情形 。
可以看到,与刚刚向空切片添加5个int的情况一致,向有3个int的切片中添加2个int,容量增长为6 。
需要注意的是 , append对切片扩容时,如果容量超过了一定范围,处理策略又会有所不同 。可以看看下面这个例子 。
具体为什么会是这样的变化过程 , 还需要从 源码 中寻找答案 。下面是src/runtime/slice.go中的growslice函数中的核心部分 。
GoLang中的切片扩容机制,与切片的数据类型、原本切片的容量、所需要的容量都有关系,比较复杂 。对于常见数据类型,在元素数量较少时,大致可以认为扩容是按照翻倍进行的 。但具体情况需要具体分析 。
Go切片数组深度解析Go 中的分片数组,实际上有点类似于Java中的ArrayList,是一个可以扩展的数组,但是Go中的切片由比较灵活,它和数组很像,也是基于数组,所以在了解Go切片前我们先了解下数组 。
数组简单描述就由相同类型元素组成的数据结构, 在创建初期就确定了长度,是不可变的 。
但是Go的数组类型又和C与Java的数组类型不一样 , NewArray 用于创建一个数组,从源码中可以看出最后返回的是 Array{}的指针,并不是第一个元素的指针,在Go中数组属于值类型 , 在进行传递时,采取的是值传递,通过拷贝整个数组 。Go语言的数组是一种有序的struct 。
Go 语言的数组有两种不同的创建方式,一种是显示的初始化 , 一种是隐式的初始化 。
注意一定是使用 [...]T 进行创建,使用三个点的隐式创建,编译器会对数组的大小进行推导,只是Go提供的一种语法糖 。
其次 , Go中数组的类型,是由数值类型和长度两个一起确定的 。[2]int 和 [3]int 不是同一个类型,不能进行传参和比较,把数组理解为类型和长度两个属性的结构体,其实就一目了然了 。
Go中的数组属于值类型,通常应该存储于栈中 , 局部变量依然会根据逃逸分析确定存储栈还是堆中 。
编译器对数组函数中做两种不同的优化:
在静态区完成赋值后复制到栈中 。
总结起来,在不考虑逃逸分析的情况下,如果数组中元素的个数小于或者等于 4 个,那么所有的变量会直接在栈上初始化 , 如果数组元素大于 4 个,变量就会在静态存储区初始化然后拷贝到栈上 。
由于数组是值类型,那么赋值和函数传参操作都会复制整个数组数据 。
不管是赋值或函数传参,地址都不一致,发生了拷贝 。如果数组的数据较大,则会消耗掉大量内存 。那么为了减少拷贝我们可以主动的传递指针呀 。
地址是一样的,不过传指针会有一个弊端,从打印结果可以看到,指针地址都是同一个 , 万一原数组的指针指向更改了 , 那么函数里面的指针指向都会跟着更改 。
同样的我们将数组转换为切片,通过传递切片,地址是不一样的,数组值相同 。
切片是引用传递,所以它们不需要使用额外的内存并且比使用数组更有效率 。
所以,切片属于引用类型 。
通过这种方式可以将数组转换为切片 。
中间不加三个点就是切片,使用这种方式创建切片,实际上是先创建数组,然后再通过第一种方式创建 。
使用make创建切片 , 就不光编译期了 , make创建切片会涉及到运行期 。1. 切片的大小和容量是否足够?。?
切片是否发生了逃逸,最终在堆上初始化 。如果切片小的话会先在栈或静态区进行创建 。
切片有一个数组的指针,len是指切片的长度, cap指的是切片的容量 。
cap是在初始化切片是生成的容量 。
发现切片的结构体是数组的地址指针array unsafe.Pointer,而Go中数组的地址代表数组结构体的地址 。
slice 中得到一块内存地址,array[0]或者unsafe.Pointer(array[0]) 。
也可以通过地址构造切片
nil切片:指的unsafe.Pointer 为nil
空切片:
创建的指针不为空,len和cap为空
当一个切片的容量满了,就需要扩容了 。怎么扩,策略是什么?
如果原来数组切片的容量已经达到了最大值,再想扩容, Go 默认会先开一片内存区域 , 把原来的值拷贝过来 , 然后再执行 append() 操作 。这种情况对现数组的地址和原数组地址不相同 。
从上面结果我们可以看到,如果用 range 的方式去遍历一个切片,拿到的 Value 其实是切片里面的值拷贝,即浅拷贝 。所以每次打印 Value 的地址都不变 。
由于 Value 是值拷贝的 , 并非引用传递,所以直接改 Value 是达不到更改原切片值的目的的,需要通过 slice[index] 获取真实的地址 。
go语言循环队列的实现队列的概念在 顺序队列 中,而使用循环队列的目的主要是规避假溢出造成的空间浪费,在使用循环队列处理假溢出时 , 主要有三种解决方案
本文提供后两种解决方案 。
顺序队和循环队列是一种特殊的线性表,与顺序栈类似,都是使用一组地址连续的存储单元依次存放自队头到队尾的数据元素,同时附设队头(front)和队尾(rear)两个指针,但我们要明白一点,这个指针并不是指针变量,而是用来表示数组当中元素下标的位置 。
本文使用切片来完成的循环队列,由于一开始使用三个参数的make关键字创建切片,在输出的结果中不包含nil值(看起来很舒服),而且在验证的过程中发现使用append()函数时切片内置的cap会发生变化,在消除了种种障碍后得到了一个四不像的循环队列,即设置的指针是顺序队列的指针,但实际上进行的操作是顺序队列的操作 。最后是对make()函数和append()函数的一些使用体验和小结 , 队列的应用放在链队好了 。
官方描述(片段)
即切片是一个抽象层 , 底层是对数组的引用 。
当我们使用
构建出来的切片的每个位置的值都被赋为interface类型的初始值nil , 但是nil值也是有大小的 。
而使用
来进行初始化时,虽然生成的切片中不包含nil值,但是无法通过设置的指针变量来完成入队和出队的操作 , 只能使用append()函数来进行操作
在go语言中 , 切片是一片连续的内存空间加上长度与容量的标识 , 比数组更为常用 。使用 append 关键字向切片中追加元素也是常见的切片操作
正是基于此,在使用go语言完成循环队列时,首先想到的就是使用make(type, len, cap)关键字方式完成切片初始化,然后使用append()函数来操作该切片,但这一方式出现了很多问题 。在使用append()函数时,切片的cap可能会发生变化,用不好就会发生扩容或收缩 。最终造成的结果是一个四不像的结果 , 入队和出队操作变得与指针变量无关 , 失去了作为循环队列的意义 , 用在顺序队列还算合适 。
参考博客:
Go语言中的Nil
Golang之nil
Go 语言设计与实现
go语言中实现切片(slice)的三种方式定义一个切片,然后让切片去引用一个已经创建好的数组 。基本语法如下:
索引1:切片引用的起始元素位
索引2:切片只引用该元素位之前的元素
例程如下:
在该方法中,我们未指定容量cap,这里的值为5是系统定义的 。
在方法一中 , 可以用arr数组名来操控数组中的元素,也可以通过slice切片来操控数组中的元素 。切片是直接引用数组,数组是事先存在的,程序员是可见的 。
通过 make 来创建切片,基本语法如下:
make函数第三个参数cap即容量是可选的,如果一定要自己注明的话,要注意保证cap≥len 。
用该方法可以 指定切片的大小(len)和容量(cap)
例程如下:
由于未赋值系统默认将元素值置为0,即:
数值类型数组:默认值为 0
字符串数组:默认值为 ""
bool数组:默认值为 false
在方法二中 , 通过make方式创建的切片对应的数组是由make底层维护,对外不可见,即只能通过slice去访问各个元素 。
定义一个切片 , 直接就指定具体数组,使用原理类似于make的方式 。
例程如下:
go切片扩容出新数组地址与旧数组地址是不是不一样地址是一样的 。不过传指针会有一个弊端go语言切片扩容规则闲谈,从打印结果可以看到,指针地址都是同一个,万一原数组的指针指向更改go语言切片扩容规则闲谈了,那么函数里面的指针指向都会跟着更改 。同样的将数组转换为切片,通过传递切片 , 地址是不一样的 。
【go语言切片扩容规则闲谈 go语言切片初始化】关于go语言切片扩容规则闲谈和go语言切片初始化的介绍到此就结束了,不知道你从中找到你需要的信息了吗 ?如果你还想了解更多这方面的信息,记得收藏关注本站 。

    推荐阅读