解读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语言编程》)

 

猜你喜欢

转载自blog.csdn.net/qq_15054345/article/details/88086701