你知道 GO 中什么情況會(huì)變量逃逸嗎？首先我們先來(lái)看看什么是變量逃逸

Go 語(yǔ)言將這個(gè)以前我們寫 C/C++ 時(shí)候需要做的內(nèi)存規(guī)劃和分配，全部整合到了 GO 的編譯器中，GO 中將這個(gè)稱為 變量逃逸

GO 通過(guò)編譯器分析代碼的特征和代碼的生命周期，決定應(yīng)該使用堆還是棧來(lái)進(jìn)行內(nèi)存分配

C 代碼 和 GO 代碼對(duì)比哪個(gè)會(huì)崩潰？

咱們寫一個(gè)簡(jiǎn)單的例子，在 C 里面內(nèi)存分配到棧上面還是堆上面是一個(gè)很明確的事情

例如

函數(shù)中的變量是分配在棧上面，會(huì)隨著該函數(shù)調(diào)用完畢后隨之銷毀掉

程序員自己 malloc 開辟的內(nèi)存是在堆上面，需要程序員自己去釋放

那么問題來(lái)了：

如果我們將某一個(gè)函數(shù)中的局部變量的地址（全篇以局部變量為例），作為該函數(shù)的返回值，最終在函數(shù)外部去訪問這個(gè)局部變量的地址，是否會(huì)出錯(cuò)呢？一起來(lái)看看吧

C 程序

test.c

int * get_res(int num){
    int tmp = num + 10;
    return &tmp;
}

int main(){
    int * res = get_res(80);
    printf("%d  -- %p\n" , *res, res);
}

上面寫了一個(gè)簡(jiǎn)單的 C 代碼，獲取傳入數(shù)據(jù)并 + 10 得到的結(jié)果

# gcc test.c  -o test
test.c: In function ‘get_res':
test.c:7:12: warning: function returns address of local variable [-Wreturn-local-addr]
     return &tmp;
            ^~~~
# ./test
Segmentation fault

這里可以看出編譯程序，報(bào)了 warning 了，不過(guò)不影響程序的編譯 ， 這個(gè) warning 報(bào)錯(cuò)信息是 因?yàn)槲覀兎祷亓伺R時(shí)變量的地址，C 編譯器檢測(cè)到了，給我們拋出了一個(gè) warning

執(zhí)行編譯的程序后，崩潰了 ， 熟悉 C 的小伙伴一點(diǎn)都不驚慌，他們不會(huì)寫出這種代碼

出現(xiàn) 段錯(cuò)誤 的原因很明顯，上面有說(shuō)到，是因?yàn)橥獠吭L問了局部變量的地址，外部訪問的時(shí)候，此時(shí)這個(gè)局部變量已經(jīng)被銷毀了，此時(shí)外部訪問的這個(gè)指針，屬于野指針，因此出現(xiàn)程序崩潰

GO 程序

go 程序的邏輯和上面 C 程序的邏輯一模一樣，那么我們看看是否會(huì)出現(xiàn)程序崩潰呢

func getRes(num int) *int {
	tmp := num + 10
	return &tmp
}
func main() {
	res := getRes(80)
	fmt.Printf("%d  -- %p\n", *res, res)
}

執(zhí)行上述代碼，查看效果

# go run main.go
90  -- 0xc420018078

熟悉 go 語(yǔ)言的 小伙伴看到這里心中也毫無(wú)波瀾，程序正常執(zhí)行，沒有崩潰，因?yàn)樗麄冎涝?，這個(gè)現(xiàn)象屬于 變量逃逸

那么我們一起來(lái)看看 GO 為什么會(huì)這樣做，是如何做的呢？

GO 的逃逸是啥樣子的？

上面有說(shuō)到 GO 不會(huì)像 C/C++ 一樣需要程序員自己去關(guān)心內(nèi)存分配，是期望 GO 程序員更多的關(guān)注邏輯

因此內(nèi)存分配這一塊，GO 編譯器都做的妥妥的，一個(gè)變量是分配在棧上面還是堆上面，不是簡(jiǎn)單的看一個(gè)變量是局部變量就分配到棧上，這個(gè)是根據(jù)具體的使用的，有時(shí)候它也會(huì)被分配到堆上面

當(dāng)我們發(fā)現(xiàn)本應(yīng)該分配在棧上面的變量，卻分配在堆上面了，說(shuō)明發(fā)生了逃逸

開始探究和驗(yàn)證

我們可以嘗試寫一個(gè)簡(jiǎn)單的 demo ，還是將局部變量的地址返回到外部去，外部來(lái)訪問這個(gè)局部變量的地址

func getRes(tmp int) *int {

	var t1 int = 1
	var t2 int = 2
	var t3 int = 3

	println(&tmp, &t1, &t2, &t3)

	return &t2
}

func main() {
	res := getRes(80)
	println(*res, res)
}

執(zhí)行上述代碼查看效果

# go run main.go
0xc420045f50 0xc420045f68 0xc420045f60 0xc420045f58
2 0xc420045f60

通過(guò)上面的將變量地址打印出來(lái)貌似沒有看出上面端倪，地址是也是連續(xù)的

那么我們使用 go 提供的工具來(lái)看看這個(gè)程序是不是存在逃逸

執(zhí)行 # go tool compile -m main.go 查看效果如下

main.go:11:9: &t2 escapes to heap
main.go:6:6: moved to heap: t2

go tool compile 工具很明顯的調(diào)試出來(lái)說(shuō)明 t2 這個(gè)變量已經(jīng)逃逸到 堆上面去了

感興趣的話還可以利用工具瞅一眼匯編，多了解一點(diǎn)也有好處

剛才參數(shù) -m 是直接查看是否逃逸，我們可以加 -S 會(huì)打印出具體的會(huì)變代碼，查看該變量是否是 new 出來(lái)的

# go tool compile -S main.go | grep new
0x0035 00053 (main.go:6)        CALL    runtime.newobject(SB)
rel 54+4 t=8 runtime.newobject+0

對(duì)應(yīng)的看看代碼，就是 創(chuàng)建 t2 變量的這一行

對(duì)于 go tool compile 工具，我們可以通過(guò) help 命令來(lái)查看一下

# go tool compile --help

到此這篇關(guān)于GO中什么情況會(huì)使用變量逃逸的文章就介紹到這了,更多相關(guān)GO 變量逃逸內(nèi)容請(qǐng)搜索腳本之家以前的文章或繼續(xù)瀏覽下面的相關(guān)文章希望大家以后多多支持腳本之家！