Go 语言:参数传递中,值、引用及指针之间的区别
值类型、引用类型
1、在 Go 语言中,值类型和引用类型有以下特点:
a、值类型:基本数据类型,int,float,bool,string,以及数组和 struct 特点:变量直接存储值,内存通常在栈上分配
,栈在函数调用完会被释放
b、引用类型:指针,slice,map,chan,interface 等都是引用类型特点:变量存储的是一个地址,这个地址存储最终的值。内存通常在堆上分配
,通过 GC 回收。
严格来说,Go 语言没有引用类型。
但是我们可以把 map、chan、函数、接口、slice 切片, 称为引用类型,这样便于理解。
指针类型也可以理解为是一种引用类型。
上面我们提到了堆、栈,这里简单介绍下
内存分配中的堆和栈:
栈
(操作系统):由操作系统自动分配释放 ,存放函数的参数值,局部变量的值等。其操作方式类似于数据结构中的栈。
堆
(操作系统): 一般由程序员分配释放, 若程序员不释放,程序结束时可能由 OS 回收,分配方式倒是类似于链表。
值类型和指针类型参数示例:
引用类型
map 以 map 类型为参数示例:
我们看到,函数 modify 的参数类型为 map ,数据仍然修改成功了。
其实,在创建 map 的时候,最终调用的是 runtime.makemap 函数,makemap 函数返回的是一个 *hmap 类型,也就是说返回的是一个指针,所以我们创建的 map 其实就是一个 *hmap。
因为 map 本质上就是个指针,所以通过 map 类型的参数可以修改原始数据。
chanchannel 本质上也是个指针,来看源码:
可以看到创建的 chan 其实是个 *hchan,所以它在参数传递中也和 map 一样。
类型的零值
在 Go 语言中,定义变量可以通过
声明
或者通过make
、new函数
,区别是 make 和 new 函数属于显示声明并初始化。如果我们声明的变量没有显示的声明初始化,那么该变量的默认值就是对于类型的零值。
在 Go 语言中,函数的参数传递只有值传递,而且传递的实参都是原始数据的一份拷贝。如果拷贝的内容是值类型的,那么在函数中就无法修改原始数据;如果拷贝的内容是指针(或者可以理解为引用类型 map、chan 等),那么就可以在函数中修改原始数据。
版权声明: 本文为 InfoQ 作者【微客鸟窝】的原创文章。
原文链接:【http://xie.infoq.cn/article/c00724d8b1f3d9c90a32c6678】。文章转载请联系作者。
评论