指针与引用

引用和指针非常相似,它们都用来让一个变量提供对另一个变量的访问。

引用

需要从类型和传递两个角度分别看待引用。

  • 从类型角度,类型可分为值类型和引用类型,一般而言,我们说到引用,强调的都是类型。
  • 从传递角度,有值传递、址传递和引用传递,传递是在函数调用时才会提到的概念,用于表明实参与形参的关系。

什么是引用

引用的实现主要有两种。

  1. C++ 的实现,引用其实一种便于使用指针的语法糖,是某块内存的别名,对已存在的变量可以声明别名,这种别名称为引用变量。
  2. Python 中的实现,本质是底层结构中包含指向实际内容的指针。

参数传递

参数传递有值传递、址传递和引用传递。

值传递

函数调用时,实参通过拷贝将自身内容传递给形参,形参实际上是实参值的一个拷贝,此时,针对函数中形参的任何操作,仅仅是针对实参的副本,不影响原始值的内容。

址传递

值传递中有一个特殊形式,如果传递参数的类型是指针,我们就会称之为址传递。

引用传递

实参地址在函数调用被传递给形参(即实参和形参拥有相同地址),则可以认为是引用传递。此时,针对函数中形参的操作会影响到实参。

C++ 支持引用传递。

Go 语言是值传递

func fn(m map[int]int) {
    fmt.Printf("fc: %p\n", &m)
    m = make(map[int]int)
    fmt.Printf("fn:%v\n", m == nil)
}

func main() {
    var m map[int]int
    fmt.Printf("main: %p\n", &m)
    fn(m)
    fmt.Printf("main:%v\n", m == nil)
}

输出如下:

main: 0xc000006028
fc: 0xc000006038
fn:false
main:true

通过打印信息可以看到,实参和形参地址不同,且对形参赋值不影响实参。因此,Go 语言没有引用传递。

而址传递可以看做值传递中的一个特殊形式,因此可以说,Go 语言是值传递。

Go 引用类型

如果按照 C++ 中引用的实现机制,则 Go 语言没有引用变量,Go 程序中定义的每个变量都占用一个唯一的内存位置。创建两个共享同一内存位置的变量是不可能的。可以创建两个指向同一内存位置的变量,不过这与两个变量共享同一内存位置是不同的。

如果按照 python 中引用的实现机制,即结构体中包含指针成员。对类型进行分类:

  • 值类型:基本数据类型 int、float、bool、string 以及数组和 struct。值类型变量直接存储值,内存通常在栈中分配。

  • 引用类型:指针、slice、map、chan、interface、function。引用类型变量存储的是一个地址,这个地址存储最终的值,内存通常在堆上分配,通过 GC 回收。引用类型都可以用 nil 进行赋值。

slice、map 和 channel 的底层实现

slice、map 和 channel 的实现机制是结构体中包含指针成员。它们都可以使用内置函数 make 进行初始化。

map

map 实际是指向 runtime.hmap 结构体的指针。

当我们写如下代码时

m := make(map[int]int)

编译器会自动去调用 runtime.makemap

func makemap(t *maptype, hint int64, h *hmap, bucket unsafe.Pointer) *hmap

从 runtime.makemap 返回的值的类型是指向 runtime.hmap 结构体的指针。

那么如果 map 是指针,那是不是应该这样表示 *map[key]value ?事实是编译器将类型从 *map[int]int 重命名为 map[int]int 。

channel

也是 runtime 类型的指针。

slice

slice 的结构包含三个成员,分别是切片的底层数组地址、切片长度和容量大小。

type slice struct {
    array unsafe.Pointer
    len   int
    cap   int
}

指针

什么是指针

计算机内存可以看做一串单元格,每个单元格都有一个地址,是其所在的内存位置,每个单元格存储一个值。如果你知道某个单元格的内存地址,就可以访问该单元格并更新或读取里面的内容。而 CPU 所做的一切都是为获取和存储值到内存单元中。

在代码中,通过变量就可以操作存储在内存中的值,变量只是一个由数字字母组成的、标识存储位置的假名,由编译器为变量分配唯一的内存地址。一个变量对应了一段内存空间,这段内存空间存储了该变量对应类型的值。

指针变量的值是另一个变量的内存地址。通过指针,就可以更新或读取另一个变量的值,而不需要用到变量名。

对于每一种类型,不管是自定义的还是 Go 语言内置的,都有相应的指针类型。例如内置类型 int,对应的指针类型是 *int。如果你自己声明了类型 User,对应的指针类型就是 *User。

所有的指针类型有相同的特点。首先,它们以 * 符号开头;其次,占用相同的内存空间并且都表示一个地址,使用 4 个(32 位机器)或 8 个字节(64 位机器)长度表示一个地址。

设计指针的目的是实现函数间值共享,即使该值不在函数自己栈帧里,也能对其进行读写操作。

与其他变量相比,指针变量并没有特别之处,因为它们也是变量,有内存地址和值。

底层原理

《栈与指针》

指针的声明和使用

指针由 * 操作符和存储值的类型表示。

*也用于指针变量的解引用,使得我们可以访问指针指向的值。

var i int = 10          // 声明int类型变量i,初始值10
var ptr *int = &i       // 声明指针变量ptr,初始值为i的地址。& 操作符用于获取变量的地址。
fmt.Println(ptr, *ptr)  // *ptr对应指针指向的变量的值 0xc000018060 10 

*ptr = 12               // 更新指针指向的变量的值,实际是指针变量解引用,将结果存储在 i 指向的内存位置
fmt.Println(*ptr, i)    // 12 12

*int类型的指针,指向的必须是 int 类型变量的地址,若指向其他类型变量地址,编译报错。

str := "go"
var ip *int
ip = &str   // cannot use &str (type *string) as type *int in assignment

空指针

一个指针已声明而没有赋值时,称为空指针,值为 nil。任何类型的指针的零值都是 nil。

var ip *int
fmt.Println(ip)                     // nil
fmt.Printf("ip 的值为:%x", ip)       // ip 的十六进制的值为:0

指针相等判断

指针之间也是可以进行相等判断的,只有当它们指向同一个变量或全部是 nil 时才相等。

指针作为函数参数使用

func a(p *int) {
    *p++
}

func main() {
    i := 10
    a(&i)
    fmt.Println(i)  // 打印11,a函数中的指针p指向main函数中的i的内存位置
}

new 函数创建指针

内建函数 new 也是一种创建指针的方法。new(type)表示创建一个 type 类型的匿名变量,初始化为 type 类型的零值,并返回变量的指针,指针类型为 *type。new 适用于“值类型”,如 int、数组、结构体等。

p := new(int)       // p, *int 类型, 指向匿名的 int 变量
fmt.Println(*p)     // 0
*p = 2              // 设置 int 匿名变量的值为 2
fmt.Println(*p)     // 2
©著作权归作者所有,转载或内容合作请联系作者
  • 序言:七十年代末,一起剥皮案震惊了整个滨河市,随后出现的几起案子,更是在滨河造成了极大的恐慌,老刑警刘岩,带你破解...
    沈念sama阅读 211,948评论 6 492
  • 序言:滨河连续发生了三起死亡事件,死亡现场离奇诡异,居然都是意外死亡,警方通过查阅死者的电脑和手机,发现死者居然都...
    沈念sama阅读 90,371评论 3 385
  • 文/潘晓璐 我一进店门,熙熙楼的掌柜王于贵愁眉苦脸地迎上来,“玉大人,你说我怎么就摊上这事。” “怎么了?”我有些...
    开封第一讲书人阅读 157,490评论 0 348
  • 文/不坏的土叔 我叫张陵,是天一观的道长。 经常有香客问我,道长,这世上最难降的妖魔是什么? 我笑而不...
    开封第一讲书人阅读 56,521评论 1 284
  • 正文 为了忘掉前任,我火速办了婚礼,结果婚礼上,老公的妹妹穿的比我还像新娘。我一直安慰自己,他们只是感情好,可当我...
    茶点故事阅读 65,627评论 6 386
  • 文/花漫 我一把揭开白布。 她就那样静静地躺着,像睡着了一般。 火红的嫁衣衬着肌肤如雪。 梳的纹丝不乱的头发上,一...
    开封第一讲书人阅读 49,842评论 1 290
  • 那天,我揣着相机与录音,去河边找鬼。 笑死,一个胖子当着我的面吹牛,可吹牛的内容都是我干的。 我是一名探鬼主播,决...
    沈念sama阅读 38,997评论 3 408
  • 文/苍兰香墨 我猛地睁开眼,长吁一口气:“原来是场噩梦啊……” “哼!你这毒妇竟也来了?” 一声冷哼从身侧响起,我...
    开封第一讲书人阅读 37,741评论 0 268
  • 序言:老挝万荣一对情侣失踪,失踪者是张志新(化名)和其女友刘颖,没想到半个月后,有当地人在树林里发现了一具尸体,经...
    沈念sama阅读 44,203评论 1 303
  • 正文 独居荒郊野岭守林人离奇死亡,尸身上长有42处带血的脓包…… 初始之章·张勋 以下内容为张勋视角 年9月15日...
    茶点故事阅读 36,534评论 2 327
  • 正文 我和宋清朗相恋三年,在试婚纱的时候发现自己被绿了。 大学时的朋友给我发了我未婚夫和他白月光在一起吃饭的照片。...
    茶点故事阅读 38,673评论 1 341
  • 序言:一个原本活蹦乱跳的男人离奇死亡,死状恐怖,灵堂内的尸体忽然破棺而出,到底是诈尸还是另有隐情,我是刑警宁泽,带...
    沈念sama阅读 34,339评论 4 330
  • 正文 年R本政府宣布,位于F岛的核电站,受9级特大地震影响,放射性物质发生泄漏。R本人自食恶果不足惜,却给世界环境...
    茶点故事阅读 39,955评论 3 313
  • 文/蒙蒙 一、第九天 我趴在偏房一处隐蔽的房顶上张望。 院中可真热闹,春花似锦、人声如沸。这庄子的主人今日做“春日...
    开封第一讲书人阅读 30,770评论 0 21
  • 文/苍兰香墨 我抬头看了看天上的太阳。三九已至,却和暖如春,着一层夹袄步出监牢的瞬间,已是汗流浃背。 一阵脚步声响...
    开封第一讲书人阅读 32,000评论 1 266
  • 我被黑心中介骗来泰国打工, 没想到刚下飞机就差点儿被人妖公主榨干…… 1. 我叫王不留,地道东北人。 一个月前我还...
    沈念sama阅读 46,394评论 2 360
  • 正文 我出身青楼,却偏偏与公主长得像,于是被迫代替她去往敌国和亲。 传闻我的和亲对象是个残疾皇子,可洞房花烛夜当晚...
    茶点故事阅读 43,562评论 2 349

推荐阅读更多精彩内容