--[切片和数组]--
切片本质上是一组指向数组特定片段的指针,所以切片不可能单独存在,即使直接make一个切片,其背后也隐藏着一个数组来实际存储数据。
var a [2]int //定义的是一个2长度的数组
var b []int //定义的是一个切片
b=a //这个赋值在语法上是不成立的
var matrixA [][2]int
a=matrixA[0] //因为是数组的拷贝,这里进行值拷贝,a和matrixA互不影响
var matrixB [][]int
b = matrixB[0] 因为是切片的拷贝,这里只是一个指针引用,修改数组中的值会影响b
--[异常机制 defer]--
defer func example() {***}
这里example函数无论写在父函数的什么位置,都只会在发生异常或者父函数正常执行完成后再被执行,相当于c++的finally。
--[类型断言和类型转换]--
断言判断一个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]--
interface的方法实现中会遇到这个点,例:
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是值类型,那么即使变量本身是值变量,也可以调用该方法。
有疑问加站长微信联系(非本文作者)