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进行对其处理，使其地址不越界