切片和数组go语言 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 中的分片数组,实际上有点类似于Java中的ArrayList,是一个可以扩展的数组,但是Go中的切片由比较灵活,它和数组很像,也是基于数组,所以在了解Go切片前我们先了解下数组 。
数组简单描述就由相同类型元素组成的数据结构, 在创建初期就确定了长度 , 是不可变的 。
但是Go的数组类型又和C与Java的数组类型不一样,NewArray 用于创建一个数组,从源码中可以看出最后返回的是 Array{}的指针,并不是第一个元素的指针,在Go中数组属于值类型,在进行传递时,采取的是值传递,通过拷贝整个数组 。Go语言的数组是一种有序的struct 。
Go 语言的数组有两种不同的创建方式,一种是显示的初始化,一种是隐式的初始化 。
注意一定是使用 [...]T 进行创建,使用三个点的隐式创建,编译器会对数组的大小进行推导,只是Go提供的一种语法糖 。
其次,Go中数组的类型,是由数值类型和长度两个一起确定的 。[2]int 和 [3]int 不是同一个类型 , 不能进行传参和比较,把数组理解为类型和长度两个属性的结构体,其实就一目了然了 。
Go中的数组属于值类型,通常应该存储于栈中 , 局部变量依然会根据逃逸分析确定存储栈还是堆中 。
编译器对数组函数中做两种不同的优化:
在静态区完成赋值后复制到栈中 。
总结起来 , 在不考虑逃逸分析的情况下,如果数组中元素的个数小于或者等于 4 个,那么所有的变量会直接在栈上初始化,如果数组元素大于 4 个 , 变量就会在静态存储区初始化然后拷贝到栈上 。
由于数组是值类型 , 那么赋值和函数传参操作都会复制整个数组数据 。
不管是赋值或函数传参,地址都不一致,发生了拷贝 。如果数组的数据较大,则会消耗掉大量内存 。那么为了减少拷贝我们可以主动的传递指针呀 。
地址是一样的,不过传指针会有一个弊端,从打印结果可以看到,指针地址都是同一个,万一原数组的指针指向更改了,那么函数里面的指针指向都会跟着更改 。
同样的我们将数组转换为切片,通过传递切片,地址是不一样的 , 数组值相同 。
切片是引用传递,所以它们不需要使用额外的内存并且比使用数组更有效率 。
所以,切片属于引用类型 。
通过这种方式可以将数组转换为切片 。

推荐阅读