前言

關(guān)于指針的主要幾點(diǎn)：

• 指針類(lèi)型：一個(gè)指針類(lèi)型*T表示指向給定類(lèi)型的變量的所有指針的集合，該給定類(lèi)型T稱(chēng)為基本類(lèi)型。未初始化的指針的值是nil。
• 變量：一個(gè)變量是保存一個(gè)值的存儲(chǔ)位置。允許的值的集合由變量的類(lèi)型決定。
• 尋址操作：對(duì)于類(lèi)型為T的操作數(shù)x，尋址操作&x會(huì)產(chǎn)生一個(gè)指向x的類(lèi)型為*T的指針。對(duì)于指針類(lèi)型為*T的操作數(shù)y，指針間接尋址*y表示y指向的類(lèi)型為T的變量。

本文使用的Go版本：

$ go version
go version go1.18 darwin/amd64

練習(xí)1

var a int = 111
var b *int = &a

fmt.Println("a的值是:", a)   // 111
fmt.Println("a的地址是:", &a) // 0xc000016098
fmt.Println("b的值是:", b)   // 0xc000016098
fmt.Println("b的地址是:", &b) // 0xc0000ac018

*b = *b + 1
fmt.Println(a, b) // 112 0xc000016098

代碼中聲明了一個(gè)整型的變量a，以及一個(gè)指向整型變量a的*int類(lèi)型的指針變量b。

內(nèi)存地址表示數(shù)據(jù)在內(nèi)存中存放的位置。如上圖所示，a相當(dāng)于是內(nèi)存地址0xc000016098的一個(gè)名字（用于引用計(jì)算機(jī)內(nèi)存地址），當(dāng)我們獲取a的值時(shí)，就是獲取內(nèi)存地址0xc000016098存儲(chǔ)的數(shù)據(jù)。而指針類(lèi)型的變量b（代表內(nèi)存地址0xc0000ac018）存儲(chǔ)的是變量a代表的地址，它存儲(chǔ)的值就是一個(gè)地址。

當(dāng)使用*b進(jìn)行指針間接尋址時(shí)，可以理解為：找到b代表的內(nèi)存地址0xc0000ac018中存儲(chǔ)的值，存儲(chǔ)的是一個(gè)地址0xc000016098，于是去拿地址0xc000016098中存儲(chǔ)的值111。

當(dāng)對(duì)*b進(jìn)行賦值時(shí)（首先賦值符號(hào)=右側(cè)已經(jīng)計(jì)算出結(jié)果為112了），將b代表的內(nèi)存地址0xc0000ac018中，存儲(chǔ)的地址0xc000016098中，存儲(chǔ)的值改為112。修改的是內(nèi)存地址0xc000016098中存儲(chǔ)的值，所以再次打印a(代表內(nèi)存地址0xc000016098)的值時(shí)，已經(jīng)變?yōu)榱?code>112。

練習(xí)2

對(duì)于類(lèi)型為T的操作數(shù)x，尋址操作&x會(huì)產(chǎn)生一個(gè)指向x的類(lèi)型為*T的指針。

操作數(shù)必須是可尋址的，即變量、指針間接引用、切片索引操作；或者一個(gè)可尋址的結(jié)構(gòu)體操作數(shù)的字段選擇；或者一個(gè)可尋址的數(shù)組的數(shù)組索引操作。

有一個(gè)特殊的情況是，x可能是一個(gè)復(fù)合字面量，復(fù)合字面量（結(jié)構(gòu)體字面量、數(shù)組字面量、切片字面量、映射字面量）是不可尋址的，但是依然可以使用&x。對(duì)復(fù)合字面量進(jìn)行&x操作，會(huì)生成一個(gè)指針，這個(gè)指針指向使用字面量的值進(jìn)行初始化的一個(gè)唯一變量。

如果對(duì)x的計(jì)算會(huì)導(dǎo)致運(yùn)行時(shí)錯(cuò)誤，那么對(duì)&x的計(jì)算也會(huì)導(dǎo)致運(yùn)行時(shí)錯(cuò)誤。

var c float64 = 222.22
fmt.Println(&c) // 1. 對(duì)變量c進(jìn)行尋址操作 0xc0000b2008
var d *float64 = &c
fmt.Println(&*d) // 2.對(duì)指針間接引用（*d）進(jìn)行尋址操作 0xc0000b2008

e := make([]string, 2) // 創(chuàng)建一個(gè)初始長(zhǎng)度為2的切片
e = []string{"e1", "e2"}
fmt.Println(&e[1]) // 3. 對(duì)切片索引操作進(jìn)行尋址操作 0xc0000b8030

type F struct {
    a string
    b int
}
fmt.Println(&F{"a", 1}) // 4.對(duì)結(jié)構(gòu)體字面量進(jìn)行尋址操作 &{a 1}
var f F = F{"b", 123}
fmt.Println(&f.a) // 5. 對(duì)結(jié)構(gòu)體的字段選擇進(jìn)行尋址操作 0xc0000a4048

var g = [3]int{1, 2, 3}       // 創(chuàng)建一個(gè)數(shù)組
fmt.Println(&g[0])            // 6. 對(duì)數(shù)組的索引操作進(jìn)行尋址操作 0xc0000ba000
fmt.Println(&[3]int{4, 5, 6}) // 7. 對(duì)數(shù)組字面量進(jìn)行尋址操作 &[4 5 6]

// var h *int = nil
// fmt.Println(*h)  // 會(huì)導(dǎo)致一個(gè)運(yùn)行時(shí)錯(cuò)誤：panic: runtime error: invalid memory address or nil pointer dereference
// fmt.Println(&*h) // 會(huì)導(dǎo)致一個(gè)運(yùn)行時(shí)錯(cuò)誤：panic: runtime error: invalid memory address or nil pointer dereference

練習(xí)3

var i int = 1
fmt.Println("i的地址", &i) // i的地址 0xc000016098

increase(i)           // 函數(shù)內(nèi)部i的地址 0xc0000160b0
fmt.Println("i的值", i) // i的值 1

increaseV1(&i)        // 函數(shù)內(nèi)部拿到的i的地址 0xc000016098
fmt.Println("i的值", i) // i的值 2

func increase(i int) {
    fmt.Println("函數(shù)內(nèi)部i的地址", &i)
    i++
}

func increaseV1(ptrI *int) {
    fmt.Println("函數(shù)內(nèi)部拿到的i的地址", &*ptrI)
    *ptrI++
}

將變量作為參數(shù)傳遞到函數(shù)中的時(shí)候，函數(shù)會(huì)復(fù)制變量中的值到局部變量中，所以不會(huì)改變外部變量的值。

在調(diào)用increase(i)時(shí)，會(huì)創(chuàng)建一個(gè)新的局部變量i，這個(gè)變量i的作用域在函數(shù)內(nèi)部，初始化的值是復(fù)制的外部變量i中的值。所以在函數(shù)內(nèi)部執(zhí)行i++的時(shí)候，改變的是局部變量i的值，不會(huì)影響到外部變量。執(zhí)行完之后外部的i的值還是1。

當(dāng)執(zhí)行increaseV1(&i)時(shí)，傳入的是一個(gè)指向外部i的指針，它表示的地址是外部i的地址0xc000016098，所以在函數(shù)內(nèi)部執(zhí)行*ptrI++時(shí)，改變的是地址0xc000016098中存儲(chǔ)的值，執(zhí)行完函數(shù)之后，打印外部的i（代表內(nèi)存地址0xc000016098）的值，發(fā)現(xiàn)值已經(jīng)變?yōu)?code>2了。