切片和数组
var a [2]int 定义的是一个2长度的数组
var b []int 定义的是一个切片
b=a 这个赋值在语法上是不成立的
var matrixA [][2]int
a=matrixA[0] 因为是数组的拷贝，这里进行值拷贝
var matrixB [][]int
b = matrixB[0] 因为是切片的拷贝，这里只是一个指针引用，修改数组中的值会影响b
不定长参数/variadic function
参数定义形式 func sum(nums ...int)
这里的nums可以传入不定量的int：
sum(1,2,3)
也可以直接传slice，但要加...符号：
var comb = []int{1,2,3}
sum(comb...)
这两种传参方式只能二选一，不能同时有int和[]int作为参数。
异常机制 defer
defer func example(arg int) {***} (parent_var)
这里example函数无论写在父函数的什么位置（当然前提是这句defer确实被执行到了，写在return后面根本没执行到还是不行的），都只会在发生异常或者父函数正常执行完成后再被执行，相当于c++的finally。
defer函数逻辑上是被压入栈中暂存的，因此有多个defer的场合，最后声明的最先执行。
defer函数的参数(parent_var)会在defer声明的位置立刻求值，如果参数本身就是函数，那么立刻调用该函数求取声明时间点的返回值。
闭包
闭包是因为golang的变量逃逸机制产生的，闭包就是一个函数与其相关的引用环境组成的一个整体。闭包本质其实是一个函数，但是这个函数会用到函数外的变量，它们共同组成的整体我们叫做闭包。例如：
func AddUpper () func (int) int {
var n int = 10
return func (x int) {
n++
}
}
这个返回的匿名函数引用了父函数的局部变量n，它就是一个闭包，ret=AddUpper()获取到的ret不仅是一个函数，还隐藏着一份独立的变量空间（其中只有一个n）。此后反复调用ret(1)的话可以让这个独立空间中的n持续增大。另外很显然若再获取一个ret_2=AddUpper()，那么ret_2也将保留一份独立的变量空间，与ret保留的那份互不干涉。而如果n变成全局变量，ret_2才会和ret干涉同一个变量。
类型断言
判断一个interface的类型，注意和类型转换的语法正好相反，例如
var x interface{}
value, ok := x.(int)
还可以和switch结合
switch a.(type) {
case int:
...
case string:
...
}
类型转换
和类型断言格式相反，例如
var array = make([]byte,8)
str := string(array)
unsafe pointer
任何类型的指针都可以和unsafe.Pointer互转，但是这个类型依然不能进行偏移加减，需要进一步转换成uintptr类型才能做加减运算
uintptr可以再转回unsafe.Pointer，以此为跳板再转成需要的指针类型。
GC机制在搬移变量存储位置时会维护指向它的指针，但uintptr只是一个地址数值，不是指针。所以如果有uintptr类型的变量，在GC搬移过变量后可能变成一个无效值。程序中不要用中间变量存储uintptr的值。
pointer receiver
例：
func (m *MyType) String() string { return m.value }
其中(m *MyType)就是pointer receiver，所谓receiver本质上就是一个输入参数，所以和参数一样，指针型可以修改m的值，而(m MyType)的形式就是在m的拷贝副本上调用函数，修改不会影响到m本身。
因上述区别，值类型的MyType变量其方法集不包含这个receiver是指针的string方法，var mt MyType; mt.string()是非法的。
相反，如果方法receiver是值类型，那么即使变量本身是值变量，也可以调用该方法。
channel
for range作用在channel上可以持续监听该通道，能读到信息则进行一次循环，直到通道被关闭循环结束。
