[Golang梦工厂]掌握这些Go语言特性，你的水平将提高N个档次(一)

切片这个概念是Go语言中所特有的，它的提出是为了解决数组的定长性和值拷贝限制了Go使用的场景。我们有过其他语言学的话，会知道C 语言既有引用传递，又有值传递，但是Go语言的参数都是值传递，因此引入切片。Go提供的这种数据类型slice（中文为切片），这是一种变长数组，它在数据结构中有指向数组的指针，所以是一种引用类型。查看底层源码如下：

根据源码我们可以分析，Go为切片维护了三个元素----指向底层数组的指针、切片的元素数量和底层数组的容量。当len增长超过cap时，会申请一个更大容量的底层数组，并将数据从老数组复制到新申请的数组中。结构如下图所示：

切片的创建有三种：通过数组创建、通过内置函数make创建、直接进行创建。这里就不介绍创建的基础用法，本文不讲解基础使用，只针对特性的一些陷阱进行说明。

我们使用make([]int,0)与var a []int 创建的切片是有区别的。使用前者的切片指针有分配，后者的内部指针为0。来看示例：

因此我们可以看出make([]int,0)创建的是一个空切片（底层数组指针非空，但底层数组是空的）。为什么会这样呢，我们查看一下makeslice的源码如下：

调用了mallocgc分配空间，所以make创建的切片是有指针分配的。

因为切片可以由底层数组创建，一个底层数组可以创建多个切片，这些切片共享底层数组，使用append扩展切片的过程中可能修改底层数组的元素，间接的影响其他切片的值，也可能发生数组复制重建，共用底层数组的切片，因为可能会造成问题，所以不推荐使用。示例如下：

从上面这个例子，我们就可以看出指针已经发生变化了。所以我们可以得出以下结论：

append追加的元素没有超过底层数组的容量，此种append操作会直接操作共享的底层数组，如果其他切片有引用数组被覆盖的元素，则会导致其他切片的值也隐式地发生变化。如果使用append追加的元素如果超出底层数组的容量，则此种append操作会重新申请数组，并将原来数组复制到新数组。

所以我们在开发中要注意这种用法，如果需要复制可以使用copy进行显式复制。切片在我们开发中使用比较多，需要我们好好注意一下。

Go语言支持多值赋值，并且在函数或方法内部支持短变量声明并赋值，同时Go语言依据类型字面量的值能够自动进行类型推断。使用好这些特性，将大大提高我们的开发效率。

多值赋值有两种格式：

第一种：右边是一个返回值的表达式，可以是返回多值的函数调用，也可以是range对map、slice等函数的操作，还可以是类型断言。示例如下：

赋值的左边操作数和右边的单一返回值的表达式的个数一样，逐个从左向右依次对左边的操作数赋值，例如：

这是Go语言所特有的。短变量的声明和赋值是指在Go函数或类型方法内部使用"：="声明并初始化变量，支持多值赋值。短变量的声明和赋值的语言要符合如下要求：

根据示例我们可以分析复用已存变量的规则，分析a,b:=va,vb

defer是Go语言中提供的关键字，可以注册多个延迟调用，，这些调用可以先进后出的顺序在函数返回前被执行。使用defer可以方便我们的开发，但同时要注意它的副作用，下面对几个要注意的点进行介绍讲解。

根据结果我们进行分析，func1、func2、func3这三个函数的共同点就是带命名返回值的函数，返回值都是变量r。我们知道函数调用方负责开辟栈空间，包括形参和返回值的空间。有名的函数返回值相当于函数的局部变量，被初始化为类型的零值。所以我们可以分析func1函数如下：

r是函数的有名返回值，分配在栈上，其地址又被称为返回值所在栈区。首先r被初始化为0.

"return 0"会复制0到返回值栈区，返回值r被赋值为0。
执行defer语句，由于匿名函数对返回值r是闭包引用，所以r 执行后，函数返回值被修改为1。

defer语句执行完后RET返回，此时函数的返回值仍然为1。
画图分析如下：

同样道理分析func2的逻辑：

返回值r被初始化为0。

引入局部变量t，并初始化为5。

复制t的值5到返回值r所在的栈区

defer语句后面的匿名函数是对局部变量t的闭包引用，t的值被设置为10.

函数返回，此时函数返回值栈区上的值仍然是5.
画图分析如下：

最后我们分析func3的逻辑：

返回值r被初始化为0.

复制1到函数返回值r所在的栈区

执行defer，defer后匿名函数使用的是传参数调用，在注册defer函数是将函数返回值r作为实参传进去，由于函数调用的是值拷贝，所以defer函数执行后只是形参值变为5，对实参没有任何影响。

函数返回，此时函数返回值栈区上的值是1。
画图分析如下：

通过对以上三个函数的分析，我们可以对带defer的函数返回整体进行总结，有如下三个步骤：

执行return的值拷贝，将return语句返回的值复制到函数返回值栈区（如果只有一个return，不带任何变量或值，则此步骤不做任何动作）

执行defer语句，多个defer按照FILO顺序执行。

执行调整RET指令。
上面的例子是在defer中修改函数返回值不是一种明智的编程方法，所以在实际编程中应尽可能避免此种情况。还有一种方法可以解决这个问题，在定义函数时使用不带返回值名的格式。通过这种方式，defer就不能引用返回值的栈区，也就避免了返回值被修改的问题。

今天暂时分享这三大特性，后续将继续分享Go语言其他陷阱，想获取更多学习内容，请关注公众号，更多精彩内容将持续奉上。