為什么Go里值為nil可以調(diào)用函數(shù)原理分析
起因
最近在我們 Go 的技術(shù)交流群里,有一個(gè)小伙伴提了一個(gè)程序方面的問題,還挺有意思的,分享給大家。

示例
示例程序如下:
type T struct{}
func (t *T) Hello() string {
if t == nil {
fmt.Println("腦子進(jìn)煎魚了")
return ""
}
return "煎魚進(jìn)腦子了"
}
func main() {
var t *T
t.Hello()這段程序的運(yùn)行結(jié)果是什么?
從程序的分析來看,變量 t 并沒有初始化,只是聲明了類型。然后就直接調(diào)用了 Hello 方法,像是 nil 調(diào)用函數(shù),理論上應(yīng)該出現(xiàn)恐慌(panic)。
運(yùn)行結(jié)果是:
panic: runtime error: invalid memory address or nil pointer dereference
對(duì)不對(duì)呢?
顯然,真正的運(yùn)行結(jié)果是:
腦子進(jìn)煎魚了
請(qǐng)你思考一下,想想這是為什么?
原理
問題的原因是:很多小伙伴認(rèn)為變量 t 的值都是 nil 了,不應(yīng)該還能調(diào)用到才對(duì)。
更抽象化來講,就是 ”程序是如何檢查對(duì)象指針來尋找和調(diào)度所需函數(shù)“。
實(shí)際上,在 Go 中,表達(dá)式 Expression.Name 的語法,所調(diào)用的函數(shù)完全由 Expression 的類型決定。
其調(diào)用函數(shù)的指向不是由該表達(dá)式的特定運(yùn)行時(shí)值來決定,包括我們前面所提到的 nil。
具體如下:
func (p *Sometype) Somemethod (firstArg int) {}本質(zhì)上是:
func SometypeSomemethod(p *Sometype, firstArg int) {}這么一看,其實(shí)大家應(yīng)該都明白了。
上述入?yún)?nbsp;p *Sometype 是有具體上下文類型的,自然而然也就能調(diào)用到相應(yīng)的方法。如果是沒有任何上下文類型的,例如:nil.Somemethod 方法來調(diào)用,那肯定就是無法運(yùn)行的。
與值是不是 nil,是什么,沒有太多直接的影響。只要有預(yù)期類型的上下文就可以了。
總結(jié)
今天給大家分享了一個(gè) Go 語言里面的一個(gè)小細(xì)節(jié),平時(shí)可能很多人沒注意到,畢竟 IDE 也會(huì)標(biāo)黃,會(huì)避開這個(gè)問題點(diǎn)。
在理解 Go 的設(shè)計(jì)和思考上,我們是需要清晰其背后的原因和邏輯的,也就是類型決定其調(diào)用,而不是值(容易誤判)。
以上就是為什么Go里值為nil可以調(diào)用函數(shù)原理分析的詳細(xì)內(nèi)容,更多關(guān)于Go值nil調(diào)用函數(shù)的資料請(qǐng)關(guān)注腳本之家其它相關(guān)文章!
相關(guān)文章
Golang Map實(shí)現(xiàn)賦值和擴(kuò)容的示例代碼
這篇文章主要介紹了Golang Map實(shí)現(xiàn)賦值和擴(kuò)容的示例代碼,文中通過示例代碼介紹的非常詳細(xì),對(duì)大家的學(xué)習(xí)或者工作具有一定的參考學(xué)習(xí)價(jià)值,需要的朋友們下面隨著小編來一起學(xué)習(xí)學(xué)習(xí)吧2020-04-04
關(guān)于golang?struct?中的?slice?無法原子賦值的問題
這篇文章主要介紹了為什么?golang?struct?中的?slice?無法原子賦值的問題,本文給大家介紹的非常詳細(xì),對(duì)大家的學(xué)習(xí)或工作具有一定的參考借鑒價(jià)值,需要的朋友可以參考下2024-01-01
golang 微服務(wù)之gRPC與Protobuf的使用
這篇文章主要介紹了golang 微服務(wù)之gRPC與Protobuf的使用,文中通過示例代碼介紹的非常詳細(xì),對(duì)大家的學(xué)習(xí)或者工作具有一定的參考學(xué)習(xí)價(jià)值,需要的朋友們下面隨著小編來一起學(xué)習(xí)學(xué)習(xí)吧2020-02-02
Golang實(shí)現(xiàn)并發(fā)安全帶過期清理的緩存結(jié)構(gòu)
本文主要介紹了Golang實(shí)現(xiàn)并發(fā)安全帶過期清理的緩存結(jié)構(gòu),采用RWMutex保障并發(fā),定時(shí)清理與惰性刪除處理過期,分片優(yōu)化性能,應(yīng)對(duì)緩存雪崩和穿透,感興趣的可以了解一下2025-06-06
golang優(yōu)先級(jí)隊(duì)列的實(shí)現(xiàn)全過程
優(yōu)先級(jí)隊(duì)列是一種特殊隊(duì)列,下面這篇文章主要給大家介紹了關(guān)于golang優(yōu)先級(jí)隊(duì)列的實(shí)現(xiàn)全過程,文中通過示例代碼介紹的非常詳細(xì),需要的朋友可以參考下2022-12-12

