引言

在 Go 語(yǔ)言中，表達(dá)式foo.bar可能表示兩件事。如果foo是一個(gè)包名，那么表達(dá)式就是一個(gè)所謂的限定標(biāo)識(shí)符，用來(lái)引用包foo中的導(dǎo)出的標(biāo)識(shí)符。由于它只用來(lái)處理導(dǎo)出的標(biāo)識(shí)符，bar必須以大寫字母開頭(譯注：如果首字母大寫，則可以被其他的包訪問(wèn)；如果首字母小寫，則只能在本包中使用）：

package foo
import "fmt"
func Foo() {
 fmt.Println("foo")
}
func bar() {
 fmt.Println("bar")
}
package main
import "github.com/mlowicki/foo"
func main() {
 foo.Foo()
}

這樣的程序會(huì)工作正常。但是（主函數(shù)）調(diào)用foo.bar()會(huì)在編譯時(shí)報(bào)錯(cuò) ——cannot refer to unexported name foo.bar(無(wú)法引用未導(dǎo)出的名稱 foo.bar)。

如果foo不是 一個(gè)包名，那么foo.bar就是一個(gè)選擇器表達(dá)式。它訪問(wèn)foo表達(dá)式的字段或方法。點(diǎn)之后的標(biāo)識(shí)符被稱為selector（選擇器）。關(guān)于首字母大寫的規(guī)則并不適用于這里。它允許從定義了foo類型的包中選擇未導(dǎo)出的字段或方法：

package main
import "fmt"
type T struct {
 age byte
}
func main() {
 fmt.Println(T{age: 30}.age)
}

該程序打?。?/p>

30

選擇器的深度

語(yǔ)言規(guī)范定義了選擇器的depth（深度）。讓我們來(lái)看看它是如何工作的吧。選擇器表達(dá)式foo.bar可以表示定義在foo類型的字段或方法或者定義在foo類型中的匿名字段：

type E struct {
 name string
}
func (e E) SayHi() {
 fmt.Printf("Hi %s!\n", e.name)
}
type T struct {
 age byte
 E
}
func (t T) IsStillYoung() bool {
 return t.age <= 18
}
func main() {
 t := T{30, E{"Micha?"}}
 fmt.Println(t.IsStillYoung()) // false
 fmt.Println(t.age) // 30
 t.SayHi() // Hi Micha?!
 fmt.Println(t.name) // Micha?
}

在上面的代碼中，我們可以看到可以調(diào)用方法或者訪問(wèn)定義在嵌入字段中字段。字段t.name和方法t.SayHi都被提升了，這是因?yàn)轭愋虴嵌套在T的定義中：

type T struct {
 age byte
 E
}

定義在類型T中表示字段或類型的選擇器深度為 0（譯注：表示在類型 T 中定義的字段或方法的選擇器的深度為 0）。如果字段或方法定義在嵌入（也就是 匿名）字段，那么深度等于匿名字段遍歷這樣字段或方法的數(shù)量。在上一個(gè)片段中，age字段深度是 0，因?yàn)樗赥中聲明，但是因?yàn)镋是放在T中，name或者SayHi的深度是 1。讓我們來(lái)看看更復(fù)雜的例子：

package main
import "fmt"
type A struct {
 a string
}
type B struct {
 b string
 A
}
type C struct {
 c string
 B
}
func main() {
 v := C{"c", B{"b", A{"a"}}}
 fmt.Println(v.c) // c
 fmt.Println(v.b) // b
 fmt.Println(v.a) // a
}

• c的深度是v.c，其值為 0。這是因?yàn)樽侄问窃贑中聲明的
• v.b中b的深度是 1。這是因?yàn)樗淖侄味x在類型B中，其（類型B）又嵌入在C中
• v.a中a的深度是 2。這是因?yàn)樾枰闅v兩個(gè)匿名字段（B和A）才能訪問(wèn)它

有效選擇器

go 語(yǔ)言中有關(guān)哪些選擇器有效，哪些無(wú)效有著明確規(guī)則。讓我們來(lái)深入了解他們。

唯一性+最淺深度

當(dāng)T不是指針或者接口類型，第一條規(guī)則適用于類型T與*T。選擇器foo.bar表示字段和方法在定義了bar的類型T中的最淺深度。在這樣的深度，恰好可以定義一個(gè)（唯一的）這樣的字段或者方法源代碼：

type A struct {
 B
 C
}
type B struct {
 age byte
 name string
}
type C struct {
 age byte
 D
}
type D struct {
 name string
}
func main() {
 a := A{B{1, "b"}, C{2, D{"d"}}}
 fmt.Println(a) // {{1 b} {2 dbddtdx}}
 // fmt.Println(a.age) ambiguous selector a.age
 fmt.Println(a.name) // b
}

類型嵌入的結(jié)構(gòu)如下：

 A
 / \
BC
  \
D

選擇器a.name是有效的，并且表示字段name（B類型內(nèi)）的深度為 1。C類型中的字段name是 “shadowed(淺的）”。有關(guān)age字段則是不同的。在深度 1 處有這樣兩個(gè)字段（在B和C類型中），所以編譯器會(huì)拋出ambiguous selector a.age錯(cuò)誤。

當(dāng)被提升的字段或方法有歧義時(shí)，Gopher 仍然可以使用完整的選擇器。

fmt.Println(a.B.name)// b
fmt.Println(a.C.D.name) // d
fmt.Println(a.C.name)// d

值得重申的是，該規(guī)則也適用于*T——例子。

空指針

package main
import "fmt"
type T struct {
 num int
}
func (t T) m() {}
func main() {
 var p *T
 fmt.Println(p.num)
 p.m()
}

如果選擇器是有效的，但foo是一個(gè)空指針，那么評(píng)估foo.bar造成

runtime panic：panic invalid memory address or nil pointer dereference

接口

如果foo是一個(gè)接口類型值，那么foo.bar實(shí)際上是foo的動(dòng)態(tài)值的一個(gè)方法：

type I interface {
 m()
}
type T struct{}
func (T) m() {
 fmt.Println("I'm alive!")
}
func main() {
 var i I
 i = T{}
 i.m()
}

上面的片段輸出I'm alive!。當(dāng)然，調(diào)用不在接口的方法集合中的方法時(shí)，會(huì)產(chǎn)生編譯時(shí)錯(cuò)誤，如

i.f undefined (type I has no field or method f)

如果foo為nil，那么它將會(huì)導(dǎo)致一個(gè)運(yùn)行時(shí)錯(cuò)誤：

type I interface {
 f()
}
func main() {
 var i I
 i.f()
}

這樣的程序?qū)?huì)因?yàn)殄e(cuò)誤panic: runtime error: invalid memory address or nil pointer dereference而崩潰。

這和空指針情況類似，而且由于諸如沒有值賦值和接口零值為nil而發(fā)生錯(cuò)誤。

一個(gè)特殊情況

除了到現(xiàn)在為止關(guān)于有效選擇器的描述外，這還有一個(gè)場(chǎng)景：假設(shè)這里有一個(gè)命名指針類型：

type P *T

類型P的方法集不包含類型T的任何方法。如果有類型P的變量，則無(wú)法調(diào)用任何T的方法。但是，規(guī)范允許選擇類型T的字段（非方法）源代碼：

type T struct {
 num int
}
func (t T) m() {}
type P *T
func main() {
 var p P = &T{num: 10}
 fmt.Println(p.num)
 // p.m() // compile-time error: p.m undefined (type P has no field or method m)
 (*p).m()
}

p.num在 hood 下被轉(zhuǎn)化為(*p).num。

在 hood 下

如果你對(duì)選擇器朝朝和驗(yàn)證的實(shí)際實(shí)現(xiàn)感興趣的話，請(qǐng)查看selector和LookupFieldOrMethod函數(shù)。

以上就是Go 語(yǔ)言選擇器實(shí)例教程的詳細(xì)內(nèi)容，更多關(guān)于Go 選擇器教程的資料請(qǐng)關(guān)注本站其它相關(guān)文章！

美國(guó)服務(wù)器租用

版權(quán)聲明：本站文章來(lái)源標(biāo)注為YINGSOO的內(nèi)容版權(quán)均為本站所有，歡迎引用、轉(zhuǎn)載，請(qǐng)保持原文完整并注明來(lái)源及原文鏈接。禁止復(fù)制或仿造本網(wǎng)站，禁止在非www.sddonglingsh.com所屬的服務(wù)器上建立鏡像，否則將依法追究法律責(zé)任。本站部分內(nèi)容來(lái)源于網(wǎng)友推薦、互聯(lián)網(wǎng)收集整理而來(lái)，僅供學(xué)習(xí)參考，不代表本站立場(chǎng)，如有內(nèi)容涉嫌侵權(quán)，請(qǐng)聯(lián)系alex-e#qq.com處理。