Last updated
Last updated
数组是由相同类型元素的集合组成的数据结构,计算机会为数组分配一块连续的内存来保存其中的元素。
数组作为一种基本的数据类型,我们通常会从两个维度描述数组,也就是数组中存储的元素类型和数组最大能存储的元素个数,在 Go 语言中我们往往会使用如下所示的方式来表示数组类型:
Go 语言数组在初始化之后大小就无法改变,存储元素类型相同、但是大小不同的数组类型在 Go 语言看来也是完全不同的,只有两个条件都相同才是同一类型。
编译期间的数组类型是由上述的 函数生成的,该类型包含两个字段,分别是元素类型 Elem
和数组的大小 Bound
,这两个字段共同构成了数组类型,而当前数组是否应该在堆栈中初始化也在编译期就确定了。
Go 语言的数组有两种不同的创建方式,一种是显式的指定数组大小,另一种是使用 [...]T
声明数组,Go 语言会在编译期间通过源代码推导数组的大小:
上述两种声明方式在运行期间得到的结果是完全相同的,后一种声明方式在编译期间就会被转换成前一种,这也就是编译器对数组大小的推导,下面我们来介绍编译器的推导过程。
所以我们可以看出 [...]T{1, 2, 3}
和 [3]T{1, 2, 3}
在运行时是完全等价的,[...]T
这种初始化方式也只是 Go 语言为我们提供的一种语法糖,当我们不想计算数组中的元素个数时可以通过这种方法减少一些工作量。
当元素数量小于或者等于 4 个时,会直接将数组中的元素放置在栈上;
当元素数量大于 4 个时,会将数组中的元素放置到静态区并在运行时取出;
假设代码需要初始化 [5]int{1, 2, 3, 4, 5}
,那么我们可以将上述过程理解成以下的伪代码:
数组和字符串的一些简单越界错误都会在编译期间发现,例如:直接使用整数或者常量访问数组。
但是如果使用变量去访问数组或者字符串时,编译器就无法提前发现错误,我们需要 Go 语言运行时阻止不合法的访问:
当数组的访问操作 OINDEX
成功通过编译器的检查后,会被转换成几个 SSA 指令。start
阶段生成的 SSA 代码就是优化之前的第一版中间代码,下面展示的部分是 elem := arr[i]
对应的中间代码,在这段中间代码中我们发现 Go 语言为数组的访问操作生成了判断数组上限的指令 IsInBounds
以及当条件不满足时触发程序崩溃的 PanicBounds
指令:
当然只有当编译器无法对数组下标是否越界无法做出判断时才会加入 PanicBounds
指令交给运行时进行判断,在使用字面量整数访问数组下标时会生成非常简单的中间代码,当我们将代码中的 arr[i]
改成 arr[2]
时,就会得到如下所示的代码:
Go 语言对于数组的访问还是有着比较多的检查的,它不仅会在编译期间提前发现一些简单的越界错误并插入用于检测数组上限的函数调用,还会在运行期间通过插入的函数保证不会发生越界。
数组的赋值和更新操作 a[i] = 2
也会生成 SSA 生成期间计算出数组当前元素的内存地址,然后修改当前内存地址的内容,这些赋值语句会被转换成如下所示的 SSA 代码:
赋值的过程中会先确定目标数组的地址,再通过 PtrIndex
获取目标元素的地址,最后使用 Store
指令将数据存入地址中,从上面的这些 SSA 代码中我们可以看出 上述数组寻址和赋值都是在编译阶段完成的,没有运行时的参与。
https://draveness.me/golang/docs/part2-foundation/ch03-datastructure/golang-array/
两种不同的声明方式会导致编译器做出完全不同的处理,如果我们使用第一种方式 [10]T
,那么变量的类型在编译进行到阶段就会被提取出来,随后使用 创建包含数组大小的 结构体。
当我们使用 [...]T
的方式声明数组时,编译器会在的 函数中对该数组的大小进行推导:
这个删减后的 会调用 通过遍历元素的方式来计算数组中元素的数量。
对于一个由字面量组成的数组,根据数组元素数量的不同,编译器会在负责初始化字面量的 函数中做两种不同的优化:
当数组的元素小于或者等于四个时, 会负责在函数编译之前将 [3]{1, 2, 3}
转换成更加原始的语句:
当数组中元素的个数小于或者等于四个并且 函数接收的 kind
是 initKindLocalCode
时,上述代码会将原有的初始化语句 [3]int{1, 2, 3}
拆分成一个声明变量的表达式和几个赋值表达式,这些表达式会完成对数组的初始化:
但是如果当前数组的元素大于四个, 会先获取一个唯一的 staticname
,然后调用 函数在静态存储区初始化数组中的元素并将临时变量赋值给数组:
总结起来,在不考虑逃逸分析的情况下,如果数组中元素的个数小于或者等于 4 个,那么所有的变量会直接在栈上初始化,如果数组元素大于 4 个,变量就会在静态存储区初始化然后拷贝到栈上,这些转换后的代码才会继续进入和两个阶段,最后生成可以执行的二进制文件。
数组访问越界是非常严重的错误,Go 语言中可以在编译期间的静态类型检查判断数组越界, 会验证访问数组的索引:
Go 语言运行时在发现数组、切片和字符串的越界操作会由运行时的 和 触发程序的运行时错误并导致崩溃退出:
编译器会将 PanicBounds
指令转换成上面提到的 函数,当数组下标没有越界时,编译器会先获取数组的内存地址和访问的下标、利用 PtrIndex
计算出目标元素的地址,最后使用 Load
操作将指针中的元素加载到内存中。
数组是 Go 语言中重要的数据结构,了解它的实现能够帮助我们更好地理解这门语言,通过对其实现的分析,我们知道了对数组的访问和赋值需要同时依赖编译器和运行时,它的大多数操作在都会转换成直接读写内存,在中间代码生成期间,编译器还会插入运行时方法 调用防止发生越界错误。