如下的例子,要打印100以內(nèi)能被5整除的數(shù),以panic的方式選擇出來(lái)并打印。

創(chuàng)新互聯(lián)服務(wù)項(xiàng)目包括無(wú)極網(wǎng)站建設(shè)、無(wú)極網(wǎng)站制作、無(wú)極網(wǎng)頁(yè)制作以及無(wú)極網(wǎng)絡(luò)營(yíng)銷策劃等。多年來(lái),我們專注于互聯(lián)網(wǎng)行業(yè),利用自身積累的技術(shù)優(yōu)勢(shì)、行業(yè)經(jīng)驗(yàn)、深度合作伙伴關(guān)系等,向廣大中小型企業(yè)、政府機(jī)構(gòu)等提供互聯(lián)網(wǎng)行業(yè)的解決方案,無(wú)極網(wǎng)站推廣取得了明顯的社會(huì)效益與經(jīng)濟(jì)效益。目前,我們服務(wù)的客戶以成都為中心已經(jīng)輻射到無(wú)極省份的部分城市,未來(lái)相信會(huì)繼續(xù)擴(kuò)大服務(wù)區(qū)域并繼續(xù)獲得客戶的支持與信任!
如果用下面的方式,執(zhí)行到第一個(gè)panic就會(huì)跳出for循環(huán)
只能輸出第一個(gè)匹配項(xiàng),然后退出for循環(huán)。
那么如何保證在for循環(huán)處理完panic不退出循環(huán),直到打印完所有滿足條件的數(shù)值?
golang的panic被恢復(fù)后,能繼續(xù)執(zhí)行比recover更早的defer,或者返回到recover函數(shù)的調(diào)用方,然后繼續(xù)執(zhí)行下去。
所以,我們可以把panic和recover放到單獨(dú)的函數(shù)中,然后在for循環(huán)里調(diào)用這個(gè)函數(shù),這個(gè)函數(shù)panic并恢復(fù)后,能返回到調(diào)用方for循環(huán)并繼續(xù)循環(huán)下去。
執(zhí)行結(jié)果是所有0到100的所有符合panic條件的都能正確處理,for循環(huán)沒(méi)有異常退出:
golang的panic屬于非常嚴(yán)重的錯(cuò)誤,一旦panic沒(méi)有recover的話,程序就退出了。一般避免主動(dòng)panic,影響程序穩(wěn)定性。
recover函數(shù)要放在defer里面,并且只能恢復(fù)同一個(gè)goroutine的并且是直接調(diào)用鏈函數(shù)發(fā)生的panic。recover不能恢復(fù)上一層函數(shù)的panic。
這個(gè)問(wèn)題說(shuō)來(lái)話長(zhǎng),我先表達(dá)一下我的觀點(diǎn),Go語(yǔ)言從語(yǔ)法層面提供區(qū)分錯(cuò)誤和異常的機(jī)制是很好的做法,比自己用單個(gè)返回值做值判斷要方便很多。
上面看到很多知乎大牛把異常和錯(cuò)誤混在一起說(shuō),有認(rèn)為Go沒(méi)有異常機(jī)制的,有認(rèn)為Go純粹只有異常機(jī)制的,我覺(jué)得這些觀點(diǎn)都太片面了。
具體對(duì)于錯(cuò)誤和異常的討論,我轉(zhuǎn)發(fā)一下前陣子寫的一篇日志拋磚引玉吧。
============================
最近連續(xù)遇到朋友問(wèn)我項(xiàng)目里錯(cuò)誤和異常管理的事情,之前也多次跟團(tuán)隊(duì)強(qiáng)調(diào)過(guò)錯(cuò)誤和異常管理的一些概念,所以趁今天有動(dòng)力就趕緊寫一篇Go語(yǔ)言項(xiàng)目錯(cuò)誤和異常管理的經(jīng)驗(yàn)分享。
首先我們要理清:什么是錯(cuò)誤、什么是異常、為什么需要管理。然后才是怎樣管理。
錯(cuò)誤和異常從語(yǔ)言機(jī)制上面講,就是error和panic的區(qū)別,放到別的語(yǔ)言也一樣,別的語(yǔ)言沒(méi)有error類型,但是有錯(cuò)誤碼之類的,沒(méi)有panic,但是有throw之類的。
在語(yǔ)言層面它們是兩種概念,導(dǎo)致的是兩種不同的結(jié)果。如果程序遇到錯(cuò)誤不處理,那么可能進(jìn)一步的產(chǎn)生業(yè)務(wù)上的錯(cuò)誤,比如給用戶多扣錢了,或者進(jìn)一步產(chǎn)生了異常;如果程序遇到異常不處理,那么結(jié)果就是進(jìn)程異常退出。
在項(xiàng)目里面是不是應(yīng)該處理所有的錯(cuò)誤情況和捕捉所有的異常呢?我只能說(shuō),你可以這么做,但是估計(jì)效果不會(huì)太好。我的理由是:
如果所有東西都處理和記錄,那么重要信息可能被淹沒(méi)在信息的海洋里。
不應(yīng)該處理的錯(cuò)誤被處理了,很容易導(dǎo)出BUG暴露不出來(lái),直到出現(xiàn)更嚴(yán)重錯(cuò)誤的時(shí)候才暴露出問(wèn)題,到時(shí)候排查就很困難了,因?yàn)橐呀?jīng)不是錯(cuò)誤的第一現(xiàn)場(chǎng)。
所以錯(cuò)誤和異常最好能按一定的規(guī)則進(jìn)行分類和管理,在第一時(shí)間能暴露錯(cuò)誤和還原現(xiàn)場(chǎng)。
對(duì)于錯(cuò)誤處理,Erlang有一個(gè)很好的概念叫速錯(cuò),就是有錯(cuò)誤第一時(shí)間暴露它。我們的項(xiàng)目從Erlang到Go一直是沿用這一設(shè)計(jì)原則。但是應(yīng)用這個(gè)原則的前提是先得區(qū)分錯(cuò)誤和異常這兩個(gè)概念。
錯(cuò)誤和異常上面已經(jīng)提到了,從語(yǔ)言機(jī)制層面比較容易區(qū)分它們,但是語(yǔ)言取決于人為,什么情況下用錯(cuò)誤表達(dá),什么情況下用異常表達(dá),就得有一套規(guī)則,否則很容易出現(xiàn)全部靠異常來(lái)做錯(cuò)誤處理的情況,似乎Java項(xiàng)目特別容易出現(xiàn)這樣的設(shè)計(jì)。
這里我先假想有這樣一個(gè)業(yè)務(wù):游戲玩家通過(guò)購(gòu)買按鈕,用銅錢購(gòu)買寶石。
在實(shí)現(xiàn)這個(gè)業(yè)務(wù)的時(shí)候,程序邏輯會(huì)進(jìn)一步分化成客戶端邏輯和服務(wù)端邏輯,客戶端邏輯又進(jìn)一步因?yàn)樵O(shè)計(jì)方式的不同分化成兩種結(jié)構(gòu):胖客戶端結(jié)構(gòu)、瘦客戶端結(jié)構(gòu)。
胖客戶端結(jié)構(gòu),有更多的本地?cái)?shù)據(jù)和懂得更多的業(yè)務(wù)邏輯,所以在胖客戶端結(jié)構(gòu)的應(yīng)用中,以上的業(yè)務(wù)會(huì)實(shí)現(xiàn)成這樣:客戶端檢查緩存中的銅錢數(shù)量,銅錢數(shù)量足夠的時(shí)候購(gòu)買按鈕為可用的亮起狀態(tài),用戶點(diǎn)擊購(gòu)買按鈕后客戶端發(fā)送購(gòu)買請(qǐng)求到服務(wù)端;服務(wù)端收到請(qǐng)求后校驗(yàn)用戶的銅錢數(shù)量,如果銅錢數(shù)量不足就拋出異常,終止請(qǐng)求過(guò)程并斷開客戶端的連接,如果銅錢數(shù)量足夠就進(jìn)一步完成寶石購(gòu)買過(guò)程,這里不繼續(xù)描述正常過(guò)程。
因?yàn)檎5目蛻舳耸怯幸徊綌?shù)據(jù)校驗(yàn)的過(guò)程的,所以當(dāng)服務(wù)端收到不合理的請(qǐng)求(銅錢不足以購(gòu)買寶石)時(shí),拋出異常比返回錯(cuò)誤更為合理,因?yàn)檫@個(gè)請(qǐng)求只可能來(lái)自兩種客戶端:外掛或者有BUG的客戶端。如果不通過(guò)拋出異常來(lái)終止業(yè)務(wù)過(guò)程和斷開客戶端連接,那么程序的錯(cuò)誤就很難被第一時(shí)間發(fā)現(xiàn),攻擊行為也很難被發(fā)現(xiàn)。
我們?cè)倩仡^看瘦客戶端結(jié)構(gòu)的設(shè)計(jì),瘦客戶端不會(huì)存有太多狀態(tài)數(shù)據(jù)和用戶數(shù)據(jù)也不清楚業(yè)務(wù)邏輯,所以客戶端的設(shè)計(jì)會(huì)是這樣:用戶點(diǎn)擊購(gòu)買按鈕,客戶端發(fā)送購(gòu)買請(qǐng)求;服務(wù)端收到請(qǐng)求后檢查銅錢數(shù)量,數(shù)量不足就返回?cái)?shù)量不足的錯(cuò)誤碼,數(shù)量足夠就繼續(xù)完成業(yè)務(wù)并返回成功信息;客戶端收到服務(wù)端的處理結(jié)果后,在界面上做出反映。
在這種結(jié)構(gòu)下,銅錢不足就變成了業(yè)務(wù)邏輯范圍內(nèi)的一種失敗情況,但不能提升為異常,否則銅錢不足的用戶一點(diǎn)購(gòu)買按鈕都會(huì)出錯(cuò)掉線。
所以,異常和錯(cuò)誤在不同程序結(jié)構(gòu)下是互相轉(zhuǎn)換的,我們沒(méi)辦法一句話的給所有類型所有結(jié)構(gòu)的程序一個(gè)統(tǒng)一的異常和錯(cuò)誤分類規(guī)則。
但是,異常和錯(cuò)誤的分類是有跡可循的。比如上面提到的痩客戶端結(jié)構(gòu),銅錢不足是業(yè)務(wù)邏輯范圍內(nèi)的一種失敗情況,它屬于業(yè)務(wù)錯(cuò)誤,再比如程序邏輯上嘗試請(qǐng)求某個(gè)URL,最多三次,重試三次的過(guò)程中請(qǐng)求失敗是錯(cuò)誤,重試到第三次,失敗就被提升為異常了。
所以我們可以這樣來(lái)歸類異常和錯(cuò)誤:不會(huì)終止程序邏輯運(yùn)行的歸類為錯(cuò)誤,會(huì)終止程序邏輯運(yùn)行的歸類為異常。
因?yàn)殄e(cuò)誤不會(huì)終止邏輯運(yùn)行,所以錯(cuò)誤是邏輯的一部分,比如上面提到的瘦客戶端結(jié)構(gòu),銅錢不足的錯(cuò)誤就是業(yè)務(wù)邏輯處理過(guò)程中需要考慮和處理的一個(gè)邏輯分支。而異常就是那些不應(yīng)該出現(xiàn)在業(yè)務(wù)邏輯中的東西,比如上面提到的胖客戶端結(jié)構(gòu),銅錢不足已經(jīng)不是業(yè)務(wù)邏輯需要考慮的一部分了,所以它應(yīng)該是一個(gè)異常。
錯(cuò)誤和異常的分類需要通過(guò)一定的思維訓(xùn)練來(lái)強(qiáng)化分類能力,就類似于面向?qū)ο蟮脑O(shè)計(jì)方式一樣的,技術(shù)實(shí)現(xiàn)就擺在那邊,但是要用好需要不斷的思維訓(xùn)練不斷的歸類和總結(jié),以上提到的歸類方式希望可以作為一個(gè)參考,期待大家能發(fā)現(xiàn)更多更有效的歸類方式。
接下來(lái)我們講一下速錯(cuò)和Go語(yǔ)言里面怎么做到速錯(cuò)。
速錯(cuò)我最早接觸是在做的時(shí)候就體驗(yàn)到的,當(dāng)然跟Erlang的速錯(cuò)不完全一致,那時(shí)候也沒(méi)有那么高大上的一個(gè)名字,但是對(duì)待異常的理念是一樣的。
在.NET項(xiàng)目開發(fā)的時(shí)候,有經(jīng)驗(yàn)的程序員都應(yīng)該知道,不能隨便re-throw,就是catch錯(cuò)誤再拋出,原因是異常的第一現(xiàn)場(chǎng)會(huì)被破壞,堆棧跟蹤信息會(huì)丟失,因?yàn)橥獠孔詈竽玫疆惓5亩褩8櫺畔ⅲ亲詈竽谴蝨hrow的異常的堆棧跟蹤信息;其次,不能隨便try catch,隨便catch很容易導(dǎo)出異常暴露不出來(lái),升級(jí)為更嚴(yán)重的業(yè)務(wù)漏洞。
到了Erlang時(shí)期,大家學(xué)到了速錯(cuò)概念,簡(jiǎn)單來(lái)講就是:讓它掛。只有掛了你才會(huì)第一時(shí)間知道錯(cuò)誤,但是Erlang的掛,只是Erlang進(jìn)程的異常退出,不會(huì)導(dǎo)致整個(gè)Erlang節(jié)點(diǎn)退出,所以它掛的影響層面比較低。
在Go語(yǔ)言項(xiàng)目中,雖然有類似Erlang進(jìn)程的Goroutine,但是Goroutine如果panic了,并且沒(méi)有recover,那么整個(gè)Go進(jìn)程就會(huì)異常退出。所以我們?cè)贕o語(yǔ)言項(xiàng)目中要應(yīng)用速錯(cuò)的設(shè)計(jì)理念,就要對(duì)Goroutine做一定的管理。
在我們的游戲服務(wù)端項(xiàng)目中,我把Goroutine按掛掉后的結(jié)果分為兩類:1、掛掉后不影響其他業(yè)務(wù)或功能的;2、掛掉后業(yè)務(wù)就無(wú)法正常進(jìn)行的。
第一類Goroutine典型的有:處理各個(gè)玩家請(qǐng)求的Goroutine,因?yàn)槊總€(gè)玩家連接各自有一個(gè)Goroutine,所以掛掉了只會(huì)影響單個(gè)玩家,不會(huì)影響整體業(yè)務(wù)進(jìn)行。
第二類Goroutine典型的有:數(shù)據(jù)庫(kù)同步用的Goroutine,如果它掛了,數(shù)據(jù)就無(wú)法同步到數(shù)據(jù)庫(kù),游戲如果繼續(xù)運(yùn)行下去只會(huì)導(dǎo)致數(shù)據(jù)回檔,還不如讓整個(gè)游戲都異常退出。
這樣一分類,就可以比較清楚哪些Goroutine該做recover處理,哪些不該做recover處理了。
那么在做recover處理時(shí),要怎樣才能盡量保留第一現(xiàn)場(chǎng)來(lái)幫組開發(fā)者排查問(wèn)題原因呢?我們項(xiàng)目中通常是會(huì)在最外層的recover中把錯(cuò)誤和堆棧跟蹤信息記進(jìn)日志,同時(shí)把關(guān)鍵的業(yè)務(wù)信息,比如:用戶ID、來(lái)源IP、請(qǐng)求數(shù)據(jù)等也一起記錄進(jìn)去。
為此,我們還特地設(shè)計(jì)了一個(gè)庫(kù),用來(lái)格式化輸出堆棧跟蹤信息和對(duì)象信息,項(xiàng)目地址:funny/debug · GitHub
通篇寫下來(lái)發(fā)現(xiàn)比我預(yù)期的長(zhǎng)很多,所以這里我做一下歸納總結(jié),幫組大家理解這篇文章所要表達(dá)的:
錯(cuò)誤和異常需要分類和管理,不能一概而論
錯(cuò)誤和異常的分類可以以是否終止業(yè)務(wù)過(guò)程作為標(biāo)準(zhǔn)
錯(cuò)誤是業(yè)務(wù)過(guò)程的一部分,異常不是
不要隨便捕獲異常,更不要隨便捕獲再重新拋出異常
Go語(yǔ)言項(xiàng)目需要把Goroutine分為兩類,區(qū)別處理異常
在捕獲到異常時(shí),需要盡可能的保留第一現(xiàn)場(chǎng)的關(guān)鍵數(shù)據(jù)
以上僅為一家之言,拋磚引玉,希望對(duì)大家有所幫助。
在Go語(yǔ)言中有一些調(diào)試技巧能幫助我們快速找到問(wèn)題,有時(shí)候你想盡可能多的記錄異常但仍覺(jué)得不夠,搞清楚堆棧的意義有助于定位Bug或者記錄更完整的信息。
本文將討論堆棧跟蹤信息以及如何在堆棧中識(shí)別函數(shù)所傳遞的參數(shù)。
Functions
先從這段代碼開始:
Listing 1
01 package main
02
03 func main() {
04 ? ? slice := make([]string, 2, 4)
05 ? ? Example(slice, "hello", 10)
06 }
07
08 func Example(slice []string, str string, i int) {
09 ? ? panic("Want stack trace")
10 }
Example函數(shù)定義了3個(gè)參數(shù),1個(gè)string類型的slice, 1個(gè)string和1個(gè)integer, 并且拋出了panic,運(yùn)行這段代碼可以看到這樣的結(jié)果:
Listing 2
Panic: Want stack trace
goroutine 1 [running]:
main.Example(0x2080c3f50, 0x2, 0x4, 0x425c0, 0x5, 0xa)
/Users/bill/Spaces/Go/Projects/src/github.com/goinaction/code/
temp/main.go:9 +0x64
main.main()
/Users/bill/Spaces/Go/Projects/src/github.com/goinaction/code/
temp/main.go:5 +0x85
goroutine 2 [runnable]:
runtime.forcegchelper()
/Users/bill/go/src/runtime/proc.go:90
runtime.goexit()
/Users/bill/go/src/runtime/asm_amd64.s:2232 +0x1
goroutine 3 [runnable]:
runtime.bgsweep()
/Users/bill/go/src/runtime/mgc0.go:82
runtime.goexit()
/Users/bill/go/src/runtime/asm_amd64.s:2232 +0x1
堆棧信息中顯示了在panic拋出這個(gè)時(shí)間所有的goroutines狀態(tài),發(fā)生的panic的goroutine會(huì)顯示在最上面。
Listing 3
01 goroutine 1 [running]:
02 main.Example(0x2080c3f50, 0x2, 0x4, 0x425c0, 0x5, 0xa)
/Users/bill/Spaces/Go/Projects/src/github.com/goinaction/code/
temp/main.go:9 +0x64
03 main.main()
/Users/bill/Spaces/Go/Projects/src/github.com/goinaction/code/
temp/main.go:5 +0x85
第1行顯示最先發(fā)出panic的是goroutine 1, 第二行顯示panic位于main.Example中, 并能定位到該行代碼,在本例中第9行引發(fā)了panic。
下面我們關(guān)注參數(shù)是如何傳遞的:
Listing 4
// Declaration
main.Example(slice []string, str string, i int)
// Call to Example by main.
slice := make([]string, 2, 4)
Example(slice, "hello", 10)
// Stack trace
main.Example(0x2080c3f50, 0x2, 0x4, 0x425c0, 0x5, 0xa)
這里展示了在main中帶參數(shù)調(diào)用Example函數(shù)時(shí)的堆棧信息,比較就能發(fā)現(xiàn)兩者的參數(shù)數(shù)量并不相同,Example定義了3個(gè)參數(shù),堆棧中顯示了6個(gè)參數(shù)。現(xiàn)在的關(guān)鍵問(wèn)題是我們要弄清楚它們是如何匹配的。
第1個(gè)參數(shù)是string類型的slice,我們知道在Go語(yǔ)言中slice是引用類型,即slice變量結(jié)構(gòu)會(huì)包含三個(gè)部分:指針、長(zhǎng)度(Lengthe)、容量(Capacity)
Listing 5
// Slice parameter value
slice := make([]string, 2, 4)
// Slice header values
Pointer: ?0x2080c3f50
Length: ? 0x2
Capacity: 0x4
// Declaration
main.Example(slice []string, str string, i int)
// Stack trace
main.Example(0x2080c3f50, 0x2, 0x4, 0x425c0, 0x5, 0xa)
因此,前面3個(gè)參數(shù)會(huì)匹配slice, 如下圖所示:
Figure 1
figure provided by Georgi Knox
我們現(xiàn)在來(lái)看第二個(gè)參數(shù),它是string類型,string類型也是引用類型,它包括兩部分:指針、長(zhǎng)度。
Listing 6
// String parameter value
"hello"
// String header values
Pointer: 0x425c0
Length: ?0x5
// Declaration
main.Example(slice []string,?str string, i int)
// Stack trace
main.Example(0x2080c3f50, 0x2, 0x4,?0x425c0, 0x5, 0xa)
可以確定,堆棧信息中第4、5兩個(gè)參數(shù)對(duì)應(yīng)代碼中的string參數(shù),如下圖所示:
Figure 2
figure provided by Georgi Knox
最后一個(gè)參數(shù)integer是single word值。
Listing 7
// Integer parameter value
10
// Integer value
Base 16: 0xa
// Declaration
main.Example(slice []string, str string,?i int)
// Stack trace
main.Example(0x2080c3f50, 0x2, 0x4, 0x425c0, 0x5,?0xa)
現(xiàn)在我們可以匹配代碼中的參數(shù)到堆棧信息了。
Figure 3
figure provided by Georgi Knox
Methods
如果我們將Example作為結(jié)構(gòu)體的方法會(huì)怎么樣呢?
Listing 8
01 package main
02
03 import "fmt"
04
05 type trace struct{}
06
07 func main() {
08 ? ? slice := make([]string, 2, 4)
09
10 ? ? var t trace
11 ? ? t.Example(slice, "hello", 10)
12 }
13
14 func (t *trace) Example(slice []string, str string, i int) {
15 ? ? fmt.Printf("Receiver Address: %p\n", t)
16 ? ? panic("Want stack trace")
17 }
如上所示修改代碼,將Example定義為trace的方法,并通過(guò)trace的實(shí)例t來(lái)調(diào)用Example。
再次運(yùn)行程序,會(huì)發(fā)現(xiàn)堆棧信息有一點(diǎn)不同:
Listing 9
Receiver Address:?0x1553a8
panic: Want stack trace
01 goroutine 1 [running]:
02 main.(*trace).Example(0x1553a8, 0x2081b7f50, 0x2, 0x4, 0xdc1d0, 0x5, 0xa)
/Users/bill/Spaces/Go/Projects/src/github.com/goinaction/code/
temp/main.go:16 +0x116
03 main.main()
/Users/bill/Spaces/Go/Projects/src/github.com/goinaction/code/
temp/main.go:11 +0xae
首先注意第2行的方法調(diào)用使用了pointer receiver,在package名字和方法名之間多出了"*trace"字樣。另外,參數(shù)列表的第1個(gè)參數(shù)標(biāo)明了結(jié)構(gòu)體(t)地址。我們從堆棧信息中看到了內(nèi)部實(shí)現(xiàn)細(xì)節(jié)。
Packing
如果有多個(gè)參數(shù)可以填充到一個(gè)single word, 則這些參數(shù)值會(huì)合并打包:
Listing 10
01 package main
02
03 func main() {
04 ? ? Example(true, false, true, 25)
05 }
06?
07 func Example(b1, b2, b3 bool, i uint8) {
08 ? ? panic("Want stack trace")
09 }
這個(gè)例子修改Example函數(shù)為4個(gè)參數(shù):3個(gè)bool型和1個(gè)八位無(wú)符號(hào)整型。bool值也是用8個(gè)bit表示,所以在32位和64位架構(gòu)下,4個(gè)參數(shù)可以合并為一個(gè)single word。
Listing 11
01 goroutine 1 [running]:
02 main.Example(0x19010001)
/Users/bill/Spaces/Go/Projects/src/github.com/goinaction/code/
temp/main.go:8 +0x64
03 main.main()
/Users/bill/Spaces/Go/Projects/src/github.com/goinaction/code/
temp/main.go:4 +0x32
這是本例的堆棧信息,看下圖的具體分析:
Listing 12
// Parameter values
true, false, true, 25
// Word value
Bits ? ?Binary ? ? ?Hex ? Value
00-07 ? 0000 0001 ??01? ??true
08-15 ? 0000 0000 ??00? ? false
16-23 ? 0000 0001 ??01? ? true
24-31 ? 0001 1001 ??19? ? 25
// Declaration
main.Example(b1, b2, b3 bool, i uint8)
// Stack trace
main.Example(0x19010001)
以上展示了參數(shù)值是如何匹配到4個(gè)參數(shù)的。當(dāng)我們看到堆棧信息中包括十六進(jìn)制值,需要知道這些值是如何傳遞的。
舉個(gè)例子,如下
答案
解析:
defer函數(shù)在處理Panic() 和Recover()時(shí)的應(yīng)用
panic 函數(shù)是內(nèi)置的go函數(shù),它 終止 go程序的當(dāng)前流程并開始 panicking , recover 函數(shù)也是內(nèi)置的一個(gè)go函數(shù),允許你收回處理那些使用了 panic 函數(shù)的 goroutine 的控制權(quán)
來(lái)個(gè)案例
1、數(shù)組是多個(gè) 相同類型 的數(shù)據(jù)的組合,一個(gè)數(shù)組一旦聲明/定義了,其 長(zhǎng)度是固定的,不能動(dòng)態(tài)變化 。
2、var arr []int? ? 這時(shí)arr就是一個(gè)slice 切片 。
3、數(shù)組中的元素可以是任何數(shù)據(jù)類型,包括值類型和引用類型,但是 不能混用 。
4、數(shù)組創(chuàng)建后,如果沒(méi)有賦值,有默認(rèn)值如下:
? ? 數(shù)值類型數(shù)組:????默認(rèn)值為 0
? ? 字符串?dāng)?shù)組:? ? ? ?默認(rèn)值為 ""
? ? bool數(shù)組:? ? ? ? ? ?默認(rèn)值為 false
5、使用數(shù)組的步驟:
? ? (1)聲明數(shù)組并開辟空間
? ? (3)給數(shù)組各個(gè)元素賦值
? ? (3)使用數(shù)組
6、數(shù)組的下標(biāo)是從0開始的。
7、數(shù)組下標(biāo)必須在指定范圍內(nèi)使用,否則報(bào)panic:數(shù)組越界,比如var arr [5]int的有效下標(biāo)為0~4.
8、Go的數(shù)組屬于 值類型 ,在默認(rèn)情況下是 值傳遞 ,因此會(huì)進(jìn)行值拷貝。 數(shù)組間不會(huì)相互影響。
9、如想在其他函數(shù)中去修改原來(lái)的數(shù)組,可以使用 引用傳遞 (指針?lè)绞?。
10、長(zhǎng)度是數(shù)組類型的一部分,在傳遞函數(shù)參數(shù)時(shí),需要考慮數(shù)組的長(zhǎng)度,看以下案例:
題1:編譯錯(cuò)誤,因?yàn)椴荒馨裑3]int類型傳遞給[]int類型,前者是數(shù)組,后者是切片;
題2:編譯錯(cuò)誤,因?yàn)椴荒馨裑3]int類型傳遞給[4]int類型;
題3:編譯正確,因?yàn)閇3]int類型傳給[3]int類型合法。
golang中defer,panic,recover是很常用的三個(gè)特性,三者一起使用可以充當(dāng)其他語(yǔ)言中try…catch…的角色,而defer本身又像其他語(yǔ)言的析構(gòu)函數(shù)
結(jié)果:
例1
例2
例3
請(qǐng)先不要向下看,在心里跑一遍上邊三個(gè)例子的結(jié)果,然后去驗(yàn)證
可能你會(huì)認(rèn)為: 例1的結(jié)果是0,例2的結(jié)果是10,例3的結(jié)果是6 ,那么很遺憾的告訴你,這三個(gè)結(jié)果都錯(cuò)了
為什么呢,最重要的一點(diǎn)就是要明白, return xxx這一條語(yǔ)句并不是一條原子指令
含有defer函數(shù)的外層函數(shù),返回的過(guò)程是這樣的:先給返回值賦值,然后調(diào)用defer函數(shù),最后才是返回到更上一級(jí)調(diào)用函數(shù)中,可以用一個(gè)簡(jiǎn)單的轉(zhuǎn)換規(guī)則將return xxx改寫成
例1可以改寫成這樣
所以例1的返回值是1
例2可以改寫成這樣
所以例2的結(jié)果是5
例3可以改寫成這樣
所以例3的結(jié)果是1
在defer函數(shù)申明時(shí),對(duì)外部變量的引用是有兩種方式:作為函數(shù)參數(shù)和作為閉包引用
作為函數(shù)參數(shù),在defer申明時(shí)就把值傳遞給defer,并將值緩存起來(lái),調(diào)用defer的時(shí)候使用緩存的值進(jìn)行計(jì)算(如上邊的例3)
而作為閉包引用,在defer函數(shù)執(zhí)行時(shí)根據(jù)整個(gè)上下文確定當(dāng)前的值
看個(gè)????
結(jié)果:
by smoke_zl
這里有幾個(gè)需要注意的問(wèn)題,通過(guò)????表現(xiàn)
在defer前panic
結(jié)果,b沒(méi)有被打印出來(lái):
而在defer后panic
結(jié)果,b被正常打印:
結(jié)果:
結(jié)果:
結(jié)果:
結(jié)果:
編譯錯(cuò)誤,結(jié)果:
結(jié)果:
參考:
https: //golang.org/pkg/builtin/#recover
https: //
標(biāo)題名稱:go語(yǔ)言中的panic,go語(yǔ)言中的nil
分享路徑:http://chinadenli.net/article1/dseejod.html
成都網(wǎng)站建設(shè)公司_創(chuàng)新互聯(lián),為您提供Google、移動(dòng)網(wǎng)站建設(shè)、外貿(mào)建站、網(wǎng)站營(yíng)銷、虛擬主機(jī)、網(wǎng)站制作
聲明:本網(wǎng)站發(fā)布的內(nèi)容(圖片、視頻和文字)以用戶投稿、用戶轉(zhuǎn)載內(nèi)容為主,如果涉及侵權(quán)請(qǐng)盡快告知,我們將會(huì)在第一時(shí)間刪除。文章觀點(diǎn)不代表本網(wǎng)站立場(chǎng),如需處理請(qǐng)聯(lián)系客服。電話:028-86922220;郵箱:631063699@qq.com。內(nèi)容未經(jīng)允許不得轉(zhuǎn)載,或轉(zhuǎn)載時(shí)需注明來(lái)源: 創(chuàng)新互聯(lián)