因為如果變量的內(nèi)存發(fā)生逃逸,它的生命周期就是不可知的,其會被分配到堆上,而堆上分配內(nèi)存不能像棧一樣會自動釋放,為了解放程序員雙手,專注于業(yè)務(wù)的實現(xiàn),go實現(xiàn)了gc垃圾回收機(jī)制,但gc會影響程序運(yùn)行性能,所以要盡量減少程序的gc操作。
果洛州網(wǎng)站建設(shè)公司創(chuàng)新互聯(lián)公司,果洛州網(wǎng)站設(shè)計制作,有大型網(wǎng)站制作公司豐富經(jīng)驗。已為果洛州上千余家提供企業(yè)網(wǎng)站建設(shè)服務(wù)。企業(yè)網(wǎng)站搭建\外貿(mào)網(wǎng)站建設(shè)要多少錢,請找那個售后服務(wù)好的果洛州做網(wǎng)站的公司定做!
1、在方法內(nèi)把局部變量指針返回,被外部引用,其生命周期大于棧,則溢出。
2、發(fā)送指針或帶有指針的值到channel,因為編譯時候無法知道那個goroutine會在channel接受數(shù)據(jù),編譯器無法知道什么時候釋放。
3、在一個切片上存儲指針或帶指針的值。比如[]*string,導(dǎo)致切片內(nèi)容逃逸,其引用值一直在堆上。
4、因為切片的append導(dǎo)致超出容量,切片重新分配地址,切片背后的存儲基于運(yùn)行時的數(shù)據(jù)進(jìn)行擴(kuò)充,就會在堆上分配。
5、在interface類型上調(diào)用方法,在Interface調(diào)用方法是動態(tài)調(diào)度的,只有在運(yùn)行時才知道。
1、go語言的接口類型方法調(diào)用是動態(tài),因此不能在編譯階段確定,所有類型結(jié)構(gòu)轉(zhuǎn)換成接口的過程會涉及到內(nèi)存逃逸發(fā)生,在頻次訪問較高的函數(shù)盡量調(diào)用接口。
2、不要盲目使用變量指針作為參數(shù),雖然減少了復(fù)制,但變量逃逸的開銷更大。
3、預(yù)先設(shè)定好slice長度,避免頻繁超出容量,重新分配。
因為遍歷myviewlist時,實際上是復(fù)制myviewlist數(shù)組/切片中的元素到局部變量vw中。局部變量vw的地址當(dāng)然和myviewlist[0]的地址不一樣。
棧區(qū),或者CPU通用寄存器中?。?! 不知道你對CPU有過了解么??? CPU內(nèi)核中會有一個叫做SP的寄存器,存放著棧頂?shù)刂?,所有局部變量,和中間數(shù)據(jù)都在這里存放,在一個程序調(diào)用一個函數(shù),
Go 中的分片數(shù)組,實際上有點類似于Java中的ArrayList,是一個可以擴(kuò)展的數(shù)組,但是Go中的切片由比較靈活,它和數(shù)組很像,也是基于數(shù)組,所以在了解Go切片前我們先了解下數(shù)組。
數(shù)組簡單描述就由相同類型元素組成的數(shù)據(jù)結(jié)構(gòu), 在創(chuàng)建初期就確定了長度,是不可變的。
但是Go的數(shù)組類型又和C與Java的數(shù)組類型不一樣, NewArray 用于創(chuàng)建一個數(shù)組,從源碼中可以看出最后返回的是 Array{}的指針,并不是第一個元素的指針,在Go中數(shù)組屬于值類型,在進(jìn)行傳遞時,采取的是值傳遞,通過拷貝整個數(shù)組。Go語言的數(shù)組是一種有序的struct。
Go 語言的數(shù)組有兩種不同的創(chuàng)建方式,一種是顯示的初始化,一種是隱式的初始化。
注意一定是使用 [...]T 進(jìn)行創(chuàng)建,使用三個點的隱式創(chuàng)建,編譯器會對數(shù)組的大小進(jìn)行推導(dǎo),只是Go提供的一種語法糖。
其次,Go中數(shù)組的類型,是由數(shù)值類型和長度兩個一起確定的。[2]int 和 [3]int 不是同一個類型,不能進(jìn)行傳參和比較,把數(shù)組理解為類型和長度兩個屬性的結(jié)構(gòu)體,其實就一目了然了。
Go中的數(shù)組屬于值類型,通常應(yīng)該存儲于棧中,局部變量依然會根據(jù)逃逸分析確定存儲棧還是堆中。
編譯器對數(shù)組函數(shù)中做兩種不同的優(yōu)化:
在靜態(tài)區(qū)完成賦值后復(fù)制到棧中。
總結(jié)起來,在不考慮逃逸分析的情況下,如果數(shù)組中元素的個數(shù)小于或者等于 4 個,那么所有的變量會直接在棧上初始化,如果數(shù)組元素大于 4 個,變量就會在靜態(tài)存儲區(qū)初始化然后拷貝到棧上。
由于數(shù)組是值類型,那么賦值和函數(shù)傳參操作都會復(fù)制整個數(shù)組數(shù)據(jù)。
不管是賦值或函數(shù)傳參,地址都不一致,發(fā)生了拷貝。如果數(shù)組的數(shù)據(jù)較大,則會消耗掉大量內(nèi)存。那么為了減少拷貝我們可以主動的傳遞指針呀。
地址是一樣的,不過傳指針會有一個弊端,從打印結(jié)果可以看到,指針地址都是同一個,萬一原數(shù)組的指針指向更改了,那么函數(shù)里面的指針指向都會跟著更改。
同樣的我們將數(shù)組轉(zhuǎn)換為切片,通過傳遞切片,地址是不一樣的,數(shù)組值相同。
切片是引用傳遞,所以它們不需要使用額外的內(nèi)存并且比使用數(shù)組更有效率。
所以,切片屬于引用類型。
通過這種方式可以將數(shù)組轉(zhuǎn)換為切片。
中間不加三個點就是切片,使用這種方式創(chuàng)建切片,實際上是先創(chuàng)建數(shù)組,然后再通過第一種方式創(chuàng)建。
使用make創(chuàng)建切片,就不光編譯期了,make創(chuàng)建切片會涉及到運(yùn)行期。1. 切片的大小和容量是否足夠?。?/p>
切片是否發(fā)生了逃逸,最終在堆上初始化。如果切片小的話會先在?;蜢o態(tài)區(qū)進(jìn)行創(chuàng)建。
切片有一個數(shù)組的指針,len是指切片的長度, cap指的是切片的容量。
cap是在初始化切片是生成的容量。
發(fā)現(xiàn)切片的結(jié)構(gòu)體是數(shù)組的地址指針array unsafe.Pointer,而Go中數(shù)組的地址代表數(shù)組結(jié)構(gòu)體的地址。
slice 中得到一塊內(nèi)存地址,array[0]或者unsafe.Pointer(array[0])。
也可以通過地址構(gòu)造切片
nil切片:指的unsafe.Pointer 為nil
空切片:
創(chuàng)建的指針不為空,len和cap為空
當(dāng)一個切片的容量滿了,就需要擴(kuò)容了。怎么擴(kuò),策略是什么?
如果原來數(shù)組切片的容量已經(jīng)達(dá)到了最大值,再想擴(kuò)容, Go 默認(rèn)會先開一片內(nèi)存區(qū)域,把原來的值拷貝過來,然后再執(zhí)行 append() 操作。這種情況對現(xiàn)數(shù)組的地址和原數(shù)組地址不相同。
從上面結(jié)果我們可以看到,如果用 range 的方式去遍歷一個切片,拿到的 Value 其實是切片里面的值拷貝,即淺拷貝。所以每次打印 Value 的地址都不變。
由于 Value 是值拷貝的,并非引用傳遞,所以直接改 Value 是達(dá)不到更改原切片值的目的的,需要通過 slice[index] 獲取真實的地址。
局部變量
在函數(shù)體內(nèi)聲明的變量稱之為局部變量,它們的作用域只在函數(shù)體內(nèi),參數(shù)和返回值變量也是局部變量。
以下實例中 main() 函數(shù)使用了局部變量 a, b, c:
package main
import "fmt"
func main() {
/* 聲明局部變量 */
var a, b, c int
/* 初始化參數(shù) */
a = 10
b = 20
c = a + b
fmt.Printf ("結(jié)果: a = %d, b = %d and c = %d\n", a, b, c)
}
以上實例執(zhí)行輸出結(jié)果為:
結(jié)果: a = 10, b = 20 and c = 30
全局變量
在函數(shù)體外聲明的變量稱之為全局變量,全局變量可以在整個包甚至外部包(被導(dǎo)出后)使用。
全局變量可以在任何函數(shù)中使用,以下實例演示了如何使用全局變量:
package main
import "fmt"
/* 聲明全局變量 */
var g int
func main() {
/* 聲明局部變量 */
var a, b int
/* 初始化參數(shù) */
a = 10
b = 20
g = a + b
fmt.Printf("結(jié)果: a = %d, b = %d and g = %d\n", a, b, g)
}
以上實例執(zhí)行輸出結(jié)果為:
結(jié)果: a = 10, b = 20 and g = 30
Go 語言程序中全局變量與局部變量名稱可以相同,但是函數(shù)內(nèi)的局部變量會被優(yōu)先考慮。實例如下:
package main
import "fmt"
/* 聲明全局變量 */
var g int = 20
func main() {
/* 聲明局部變量 */
var g int = 10
fmt.Printf ("結(jié)果: g = %d\n", g)
}
以上實例執(zhí)行輸出結(jié)果為:
結(jié)果: g = 10
允許。閉包是指有權(quán)訪問另一個函數(shù)作用域中的變量的函數(shù),創(chuàng)建閉包的常見方式就是在一個函數(shù)內(nèi)部創(chuàng)建另一個函數(shù),內(nèi)函數(shù)可以訪問外函數(shù)的變量