5.1 字符串

不可变字节序列，本身是个复合结构

type stringStruct struct{
    str unsafe.Pointer
    len int
}

默认值是“”，空串
使用“ ' ”定义不做转义处理的原始字符串
支持操作符
允许索引号访问，但不能获取元素地址
切片内部，依然指向原字节数组
使用for遍历，分byte和rune两种方式，rune即处理unicode字符的类型

转换

修改字符串必须将其转换为可变类型[ ]rune或[ ]byte，完成后再转换回来。重新分配内存并复制数据
考虑到只读特性，转换时复制并新分配内存是可以理解的。但是编译器也会专门优化：

[ ]byte转换为string key，去map[string]查询的时候
string转换为[ ]byte，进行for range迭代的时候，直接取字节复制给局部变量

性能

加法拼接，每次重新分配内存，性能较差
改进方法：

strings.Join函数，统计所有长度，一次性完成分配
bytes.Buffer，类似

Unicode

类型rune专门存储Unicode，是int32的别名，单引号标识

5.2 数组

对于数组，长度是类型组成的部分，不同长度的数组属于不同类型
初始化方式多样
定义多维数组时，仅第一维度允许...
len和cap都返回第一维度长度

指针

获取数组变量的地址，可获取任意元素地址，可直接操作元素

复制

Go数组也是值类型，赋值和传参都会复制整个数组数据。
避免的方法是：指针或切片

切片

通过指针引用底层数组，将读写操作限定指定区域。

x[low, high, max]
len = high - low
cap = max - low

注：数组必须addressable，否则会错误

切片使用自己的索引访问元素内容
若直接创建切片，需要make或者显式初始化语句，以自动完成底层数组内存分配
有[...]的是数组，只有[]的是切片
可获取元素地址，但是不能像数组直接用数组指针访问元素内容

func main() {
    s := []int{0, 1, 2, 3, 4}
    p := &s
    p0 := &s[0]
    p1 := &s[1]
    println(p, p0, p1)
    (*p)[0] += 100
    //*p += 100   错误！
    *p0 += 100
    *p1 += 100
    fmt.Println(s)
}

切片是很小的结构体对象，用来代替数组传值，避免复制开销
make函数允许运行期动态指定数组长度，绕开了数组类型必须使用编译器常量的限制

reslice

将切片视作[cap]slice数据源，据此创建新切片对象，不能超出cap
新建切片依旧指向原底层数组，修改对所有关联切片可见

append

向切片尾部添加数据，返回新的切片对象
数据被追加至原底层数组，如超出限制，则为新切片对象重新分配数据，（旧切片对象还用旧的数组）

新分配数组长度是原cap的2倍，而非原数组的2倍
大切片也有可能尝试扩容1/4

copy

在两个切片间复制对象，允许指向同一底层数组，允许目标区重叠，最终所复制的长度以较短切片的长度为准。

5.4 字典

引用类型，make或初始化语句来创建
访问不存在的键值，默认返回灵芝，推荐使用ok-idiom模式，有可能本身存的就是0呢
对字典迭代，次序是不同的不固定的
有len，没有cap，且not addressable
修改后重新设置value，或者用指针
不能对nil字典进行写，但是能读
空字典和nil是不同的

安全

有并发检测
可启用数据竞争来检查此类问题
可用sync.RWMutex实现同步

性能

5.5 结构

struct将多个不同类型命名字段field序列打包成一个复合类型。

顺序初始化或命名方式初始化
可用指针直接操作结构字段，但不能是多级指针

空结构

长度为零，底层指向runtime.zerobase变量
可用作通道元素类型，用于事件通知

匿名字段

没有名字，仅有类型，称作嵌入字段
从编译器角度，隐式的以类型名作为字段名字

如嵌入其他包中的类型，隐式字段名字不包括包名
不能将基础类型和其指针类型同时嵌入，因两者隐式名字相同
类似一种最小面向对象机制，不是继承，无法多态处理。

字段标签

不是注释！是对字段进行描述的元数据，运行期可用反射获取标签信息

内存布局

不管结构体包含多少字段，其内存总是一次性分配的，按定义顺序排列
对齐处理，以所有字段中最长的基础类型宽度为标准
空类型也会当做长度为1进行对其处理，使其地址不越界

Go笔记-Chap5 数据