共计 2973 个字符，预计需要花费 8 分钟才能阅读完成。
Hello , 各位小伙伴大家好，我是小栈君，上次分享我们讲到了 Go 语言关于项目工程结构的管理，本期的分享我们来讲解一下关于 go 语言的数组和切片的概念、用法和区别。
在 go 语言的程序开发过程中，我们避免不了数组和切片。关于他们的用法和区别却使得有的小伙伴感觉困惑。所以小栈君这里也归纳和总结了关于数组和切片的干货帮助小伙伴进行理解。
数组的定义
数组是具有相同唯一类型的一组已编号且长度固定的数据项序列，这种类型可以是任意的原始类型例如整形、字符串或者自定义类型。
相对于去声明 number0, number1, …, number99 的变量，使用数组形式 numbers[0], numbers[1] …, numbers[99] 更加方便且易于扩展。
数组元素可以通过索引（位置）来读取（或者修改），索引从 0 开始，第一个元素索引为 0，第二个索引为 1，以此类推。
总体来讲的话数组就是同一种类型的固定长度的序列。
在 go 语言中数组的定义是很简单的。
如图所示，我们定义了一个长度为 2 的数组，在数组定义的过程中，系统已经对这个数组进行了初始化并分配了空间。所以我们如果想要进行赋值可以通过数组名加上下标的方式进行赋值。但是值得注意的一点是我们并不能进行数组的超长处理。这一点有别于 java 的数组定义，java 的定长数组添加值后如果对于超出的值会有自动扩容功能。
但是在 go 语言中并没有方法来进行增删改查值，只有通过下标的方式，所以我们如果进行了越界处理编译都会进行报错。所以才入门的小伙伴们需要注意一下哦。数组的下标在数组的合法范围之外就会出发访问越界，会有 panic 出现。所以小栈君也是通过了一个实例给大家说明一下，因为编译可能会不通过，所以我们巧妙的避开编译器的编译进行数组的越界操作说明。
当然需要值得注意的一点是，数组的长度也是数组类型的一部分，因此 var a [2]int 和 var b [3] int 是两个不同的类型。
知识点来了，在 go 语言中的数组是属于值类型传递，当我们传递一个数组到一个方法中，改变副本的值并不会修改到原本数组的值。所以得到的数组还是原来的样子。
因此如果我们要对数组进行值的修改的话，就只有进行指针操作啦~。
切片的概念
在 go 语言中数组中长度不可以更改，所以在实际的应用环境中并不是非常实用，所以 Go 语言衍生出了一种灵活性强和功能更强大的内置类型，即为切片。
与上面所讲的数组相比，切片的长度是不固定的，并且切片是可以进行扩容。切片对象非常小，是因为它是只有 3 个字段的数据结构：一个是指向底层数组的指针，一个是切片的长度，一个是切片的容量。这 3 个字段，就是 Go 语言操作底层数组的元数据，有了它们，我们就可以任意的操作切片了。
当然，切片作为数组的引用，所以切片属于是引用类型，各位小伙伴可千万要记住了哦。在切片的使用过程当中，我们可以通过遍历数组的方式进行对于切片的遍历，我们也可以内置方法 len 对数组或切片进行长度的计算。
当然我们也可以对切片的容量进行计算，之前有讲过 Go 语言有丰富的内置库提供给我们使用，所以我们也可以 cap 内置函数进行容量的计算。多个切片如果表示同一个数组的片段，它们可以共享数据; 因此一个切片和相关数组的其他切片是共享存储的，相反，不同的数组总是代表不同的存储。数组实际上是切片的构建块。
上面的例子小栈君分别用数组和切片进行了测试，我们可以看到数组的容量一旦确定后就无法进行更改，当我们的切片进行初始化，初始的容量是 2，此时切片的容量和长度都是 2，但是我通过内置的 append 方法进行了切片的增加。此时的切片的容量和长度都是 4。此时我们并不能确定切片内置扩容的机制，但是隐约猜测是倍增。
言归正传，为了测试一下切片的扩容机制，所以小栈君又进行了切片的增加，此时，细心的小伙伴应该发现，这次小栈君一次性增加了两个元素在一个 append 里面，因为这是 append 方法是一个可变长度的传值。这也是一个小知识点哦。
如果切片的底层数组，没有足够的容量时，就会新建一个底层数组，把原来数组的值复制到新底层数组里，再追加新值，这时候就不会影响原来的底层数组了。
append 目前的算法是：容量小于 1000 个时，总是成倍的增长，一旦容量超过 1000 个，增长因子设为 1.25，也就是说每次会增加 25% 的容量。
之后我们发现切片的容量和长度发生了变化，如果说上次容量的扩张是 4 是我们猜测的倍数扩容方式，那么这次我们就实锤了他的扩容机制就是倍增。而且在 Go 语言的容量和长度不一样，所以我们也可以得出结论，就是在 0 <= len(arry) <= cap(slice)。
在我们声明好切片后我们可以使用 new 或是 make 方法对切片进行初始化，当然小栈君也试着尝试证明切片如果没有进行初始化是会 panic 的。结果并没有出现。因为如果 slice 没有初始化，它仅仅相当于一个 nil，长度和容量都为 0，并不会 panic。
小栈君也考虑到可能是因为没有内置增加方法或是没有报错仅仅只是因为我后面利用对 Carry 数组的切割进行赋值的缘故。所以不甘心又做了一次尝试，定义好相应的切片后直接使用 append 方法，结果如下：
我们同样可以通过上述的例子了解到切片的下标是左闭右开区间，因为我们 carry 数组的内容如上图所示，我们最终得到的结果是 IT 干货栈，下标来讲的话是属于 1。所以我们得到的结论和事实是一样的。对于切片我们也有很多用法，如下图所示：
下图是 Python 中对于切片的操作，并且 Python 中的数组更为灵活，在后面我为大家分享 Python 教程的时候会详细分享哦。
切片的初始化
对于切片的初始化我们可以 make 方法和 new 方法
new(T) 为每个新的类型 T 分配一片内存，初始化为 0 并且返回类型为 * T 的内存地址: 这种方法 返回一个指向类型为 T，值为 0 的地址的指针，它适用于值类型如数组和结构体；它相当于 &T{}。
make(T) 返回一个类型为 T 的初始值，它只适用于 3 种内建的引用类型: 切片、map 和 channel。
拷贝
因为在 go 语言的数组是属于值传递，之前的方法也证实了这一点，在方法传递值的时候系统会进行拷贝一份副本进行传递，如果需要改变的值的话就需要使用指针。但是在使用切片处理的时候，因为切片属于引用传递，所以 go 语言有内置的函数 copy 方法进行值的拷贝。
上述的一个例子可以综合说明几点问题了，最开始我们定义了一个切片并且容量是 2，内容是 1 和 2，我们同样定义了切片 b 但是并没有做初始化处理。直接使用 copy 操作。使用 copy 操作的时候，小栈君也复制了源码出来，第一个是我们的数据源，第二个参数传递我们的目标源。直接使用的话我们可以从结果看出并没有成功。
所以接下来小栈君又进行了初始化操作。这里举例的目的是提醒各位，在操作切片的时候没有初始化就相当于 nil，最好是进行切片的初始化操作。在早期 go 语言的版本中，没有初始化切片会直接报错。接下来我又进行了再一次的复制操作并且打印出他们的地址和容量、长度。可以看出进行切片的拷贝是不会进行切片的扩容处理。而且他们分别指向了不同的地址说明拷贝成功。
好了，今天的分享就到这啦，如果你喜欢我的分享，麻烦你点击一个好看或赞，我是小栈君，不定期分享 IT 干货，包括但不限于区块链、大数据、Python、go、等系列专题。希望与你共同成长。我们下期再见啦，拜了个拜~
