go语言初始化数组长度 go语言 数组( 二 )


注意一定是使用 [...]T 进行创建,使用三个点的隐式创建,编译器会对数组的大小进行推导,只是Go提供的一种语法糖 。
其次,Go中数组的类型 , 是由数值类型和长度两个一起确定的 。[2]int 和 [3]int 不是同一个类型 , 不能进行传参和比较 , 把数组理解为类型和长度两个属性的结构体,其实就一目了然了 。
Go中的数组属于值类型,通常应该存储于栈中,局部变量依然会根据逃逸分析确定存储栈还是堆中 。
编译器对数组函数中做两种不同的优化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语言初始化数组长度?
如果原来数组切片的容量已经达到了最大值,再想扩容, Go 默认会先开一片内存区域,把原来的值拷贝过来,然后再执行 append() 操作 。这种情况对现数组的地址和原数组地址不相同 。
从上面结果我们可以看到,如果用 range 的方式去遍历一个切片,拿到的 Value 其实是切片里面的值拷贝,即浅拷贝 。所以每次打印 Value 的地址都不变 。
由于 Value 是值拷贝的,并非引用传递,所以直接改 Value 是达不到更改原切片值的目的的,需要通过 slice[index] 获取真实的地址 。
go语言:数组 数组是一个由固定长度的特定类型元素组成的序列 , 一个数组可以由零个或多个元素组成 。数组是值类型
数组的每个元素都可以通过索引下标来访问,索引下标的范围是从0开始到数组长度减1的位置,内置函数 len() 可以返回数组中元素的个数 。

推荐阅读