一、写在前面的话:
在介绍Go的指针之前,我们需要先介绍下,指针是什么?为什么我们需要指针?(备注:这里指的是原始指针。)
1.指针是什么?
首先指针是一个变量,全名叫做指针变量,只不过这个变量里面存储的值是一个地址而已。所以指针,哪怕是空指针,都是有地址的,因为变量都是有地址的。例子如下:
Output:
从下面的输出,我们可以看出空指针a的地址是存在,在a指向b之前,指针a的值为nil,指向b之后,数值变成了变量b的地址,而对a 做操作*a的话,数值为变量b对应的数值10。
2.为什么我们需要指针?
我们之所以需要指针,是因为我们要做间接寻址,就是在程序运行的时候,我们希望执行到一个地址段的时候,去跳到另外一个地址段去执行。详细介绍参见:
知乎:为什么需要指针?
二、指针的用法:
讲完了这些之后,让我们回归正题,指针在Go中是什么样子的,它与C 中有何不同之处。
1.使用规则
1).C 使用操作符->,Go使用的操作符变成了.。
2).*的操作是相同的,表示的是取指针指向地址所存储的数据。
3).C 中,指针需要创建和删除,new和delete,用来管理和释放内存空间。Go可以通过make来创建,但是不需要自己释放。
2.内存中的存储位置不同
C 中,指针分配的内存在堆中,而Go是在栈中。
C 中,指针指向一个局部变量的话,如果这个局部变量的地址被销毁了,那么这个指针指向的地址里面的数据,有可能是脏数据。Go中,指针可以指向局部变量,因为变量的外溢,就算这个变量超出了自己的作用域,也不会被释放,因为还有指针再用,这部分操作是Go在语言层面保证的。
例子:
C :
该例子示范了,栈内的变量在被指针指向 的时候,一旦改内存位置被再次使用,指针所指向的内存的数据,就变成了一个脏数据。
Output:
b[1024*128]就是为了覆盖原来局部变量b中的数值,从输出的结果来看*a的数值,不是10,是32522,变成了一个不期望的数值。
Go:
与C 例子的思路相同,我们通过程序能够看出来,局部变量b所指向的内存,一旦被指针使用,在指针还有效的前提下,内存是不会被覆盖的。(备注:该结论也可以通过反汇编代码来确定。)
Output:
通过输出来看,就算重新定义了b[1024*1024]大小,局部变量b所占内存的数值,依然是10,并没有变化。
备注:Go中指针的这种使用方式,有些类似C 中的shared_ptr,在reference的数值变为0之前,所指向的内存不会被释放,不过shared_ptr所指向的内存,是在堆中,并非栈中,后续会单独整理C 的智能指针篇章,欢迎关注。
其他:
C 的几种new和delete操作:C 中几种new操作
C 的几种智能指针:后续会整理,敬请期待。
灰子作于二零一九年四月三十日。