解读GO语言中的值传递和引用传递

以下内容大部分来自许世伟《GO语言编程》，在此只是为了做一个笔记，方便日后 遗忘时容易找到 复习的资料

GO语言在中的值传递和引用传递

GO语言中绝大部分类型都是基于值语义（值传递），包括：

1. 基本类型：如byte、int、bool、float32、float64和string等；
2. 复杂类型：如数组(array)、结构体(struct）、指针（pointer）等

在C++和C语言中，数组作为函数参数传递的时候，数组名会退化为指针。但是在GO语言中，数组和基本类型都没有区别，是很纯粹的值类型。

GO语言中有下面四个类型比较特别，看起来像引用类型：

1. 数组切片：指向数组（array）的一个区间
2. map：极其常见的数据结构，提供键值查询的能力
3. channel：执行体（goroutine）间提供的通信设施
4. 接口（interface）：对一组满足某个契约的类型的抽象

但是上述并不影响我们将GO语言看做值语义。下面简单介绍下这四个看起来像引用的数据类型：

数组切片内部是指向数组的指针，所以可以改变所指向的数组元素并不奇怪，数组切片类型本身的赋值仍然是值语义（指针拷贝只不过是新生成了一个临时指针，临时指针和原指针指向了同一块内存）

map本质是一个字典指针，channel和map类似，本质上还是一个指针。将它们设计为引用类型而不是统一的值类型的原因是：完整复制一个channel或map并不是常规需求

同样接口具备引用语义，是因为内部维持两个指针。懒得打字了，直接上原文图（内容来自许世伟的《GO语言编程》）