結構體和方法使用

參考文章:https://time.geekbang.org/column/article/18035

package main

import "fmt"

// 示例1。
// AnimalCategory 代表動物分類學中的基本分類法。
type AnimalCategory struct {
    kingdom string // 界。
    phylum  string // 門。
    class   string // 綱。
    order   string // 目。
    family  string // 科。
    genus   string // 屬。
    species string // 種。
}

//這裏綁定,這個String方法不需要任何參數聲明,但需要有一個string類型的結果聲明。我在調用fmt.Printf函數時,使用佔位符%s和category值本身就可以打印出後者的字符串表示形式,而無需顯式地調用它的String方法。
func (ac AnimalCategory) String() string {
    return fmt.Sprintf("%s%s%s%s%s%s%s",
        ac.kingdom, ac.phylum, ac.class, ac.order,
        ac.family, ac.genus, ac.species)
}

// 示例2。
type Animal struct {
    scientificName string // 學名。
    AnimalCategory        // 動物基本分類。這是一個嵌入字段
}

// 該方法會"屏蔽"掉嵌入字段中的同名方法。
// func (a Animal) String() string {
//  return fmt.Sprintf("%s (category: %s)", //Sprintf輸出格式化的字符串
//      a.scientificName, a.AnimalCategory)
// }

// 示例3。
type Cat struct {
    name string
    Animal
}

// 該方法會"屏蔽"掉嵌入字段中的同名方法。
// func (cat Cat) String() string {
//  return fmt.Sprintf("%s (category: %s, name: %q)",
//      cat.scientificName, cat.Animal.AnimalCategory, cat.name)
// }

func main() {
    // 示例1。species字段指定了字符串值"cat",fmt.Printf函數會自己去尋找它。此時的打印內容會是The animal category: cat。
    category := AnimalCategory{species: "cat"}
    fmt.Printf("The animal category: %s\n", category)

    // 示例2。

    animal := Animal{
        scientificName: "American Shorthair",
        AnimalCategory: category,
    }
    fmt.Printf("The animal: %s\n", animal)

    // 示例3。
    cat := Cat{
        name:   "little pig",
        Animal: animal,
    }
    fmt.Printf("The cat: %s\n", cat)
}
go run demo29.go 
The animal category: cat
The animal: cat
The cat: cat

這裏爲什麼打印三個cat呢?

因爲: cat的string()方法: func (cat Cat) String() string 和Animal的string方法: func (a Animal) String() string 都被註釋掉了,執行腳本的時候,當示例2和示例3調用fmt.Printf()方法,就只能使用func (ac AnimalCategory) String() string 方法打印7個字段了。如果不註釋,後邊的string方法會覆蓋前面的string方法,打印結果發生變化。

package main

import "fmt"

// 示例1。
// AnimalCategory 代表動物分類學中的基本分類法。
type AnimalCategory struct {
    kingdom string // 界。
    phylum  string // 門。
    class   string // 綱。
    order   string // 目。
    family  string // 科。
    genus   string // 屬。
    species string // 種。
}

//這裏綁定,這個String方法不需要任何參數聲明,但需要有一個string類型的結果聲明。我在調用fmt.Printf函數時,使用佔位符%s和category值本身就可以打印出後者的字符串表示形式,而無需顯式地調用它的String方法。
func (ac AnimalCategory) String() string {
    return fmt.Sprintf("%s%s%s%s%s%s%s",
        ac.kingdom, ac.phylum, ac.class, ac.order,
        ac.family, ac.genus, ac.species)
}

// 示例2。
type Animal struct {
    scientificName string // 學名。
    AnimalCategory        // 動物基本分類。這是一個嵌入字段
}

// 該方法會"屏蔽"掉嵌入字段中的同名方法。
func (a Animal) String() string {
    return fmt.Sprintf("%s (category: %s)", //Sprintf輸出格式化的字符串
        a.scientificName, a.AnimalCategory)
}

// 示例3。
type Cat struct {
    name string
    Animal
}

// 該方法會"屏蔽"掉嵌入字段中的同名方法。
func (cat Cat) String() string {
    return fmt.Sprintf("%s (category: %s, name: %q)",
        cat.scientificName, cat.Animal.AnimalCategory, cat.name)
}

func main() {
    // 示例1。species字段指定了字符串值"cat",fmt.Printf函數會自己去尋找它。此時的打印內容會是The animal category: cat。
    category := AnimalCategory{species: "cat"}
    fmt.Printf("The animal category: %s\n", category)

    // 示例2。
    //使用fmt.Printf函數和%s佔位符試圖打印animal的字符串表示形式,相當於調用animal的String方法。
    //雖然我們還沒有爲Animal類型編寫String方法,但這樣做是沒問題的。
    //因爲在這裏,嵌入字段AnimalCategory的String方法會被當做animal的方法調用。
    //那如果我也爲Animal類型編寫一個String方法呢?這裏會調用哪一個呢?
    //animal的String方法會被調用。這時,我們說,嵌入字段AnimalCategory的String方法被“屏蔽”了。注意,只要名稱相同,無論這兩個方法的簽名是否一致,被嵌入類型的方法都會“屏蔽”掉嵌入字段的同名方法。
    animal := Animal{
        scientificName: "American Shorthair",
        AnimalCategory: category,
    }
    fmt.Printf("The animal: %s\n", animal)

    // 示例3。
    cat := Cat{
        name:   "little pig",
        Animal: animal,
    }
//當我們調用Cat類型值的String方法時,如果該類型確有String方法,那麼嵌入字段Animal和AnimalCategory的String方法都會被“屏蔽”。
    fmt.Printf("The cat: %s\n", cat)
}
daixuandeMacBook-Pro:q0 daixuan$ go run demo29.go 
The animal category: cat
The animal: American Shorthair (category: cat)
The cat: American Shorthair (category: cat, name: "little pig")

爲結構(數據類型)綁定方法

一個數據類型關聯的所有方法,共同組成了該類型的方法集合。同一個方法集合中的方法不能出現重名。並且,如果它們所屬的是一個結構體類型,那麼它們的名稱與該類型中任何字段的名稱也不能重複。

我們可以把結構體類型中的一個字段看作是它的一個屬性或者一項數據,再把隸屬於它的一個方法看作是附加在其中數據之上的一個能力或者一項操作。將屬性及其能力(或者說數據及其操作)封裝在一起,是面向對象編程

Animal類型中的字段聲明AnimalCategory代表了什麼?

字段聲明AnimalCategory代表了Animal類型的一個嵌入字段。Go 語言規範規定,如果一個字段的聲明中只有字段的類型名而沒有字段的名稱,那麼它就是一個嵌入字段,也可以被稱爲匿名字段。我們可以通過此類型變量的名稱後跟“.”,再後跟嵌入字段類型的方式引用到該字段。也就是說,嵌入字段的類型既是類型也是名稱。

說到引用結構體的嵌入字段,Animal類型有個方法叫Category,它是這麼寫的:

func (a Animal) Category() string {
return a.AnimalCategory.String()}

Category方法的接收者類型是Animal,接收者名稱是a。在該方法中,我通過表達式a.AnimalCategory選擇到了a的這個嵌入字段,然後又選擇了該字段的String方法並調用了它。

順便提一下,在某個代表變量的標識符的右邊加“.”,再加上字段名或方法名的表達式被稱爲選擇表達式,它用來表示選擇了該變量的某個字段或者方法。

實際上,把一個結構體類型嵌入到另一個結構體類型中的意義不止如此。嵌入字段的方法集合會被無條件地合併進被嵌入類型的方法集合中。例如下面這種:


animal := Animal{
  scientificName: "American Shorthair",
  AnimalCategory: category,
}
fmt.Printf("The animal: %s\n", animal)

我聲明瞭一個Animal類型的變量animal並對它進行初始化。我把字符串值"American Shorthair"賦給它的字段scientificName,並把前面聲明過的變量category賦給它的嵌入字段AnimalCategory。

我在後面使用fmt.Printf函數和%s佔位符試圖打印animal的字符串表示形式,相當於調用animal的String方法。雖然我們還沒有爲Animal類型編寫String方法,但這樣做是沒問題的。因爲在這裏,嵌入字段AnimalCategory的String方法會被當做animal的方法調用。

那如果我也爲Animal類型編寫一個String方法呢?這裏會調用哪一個呢?

答案是,animal的String方法會被調用。這時,我們說,嵌入字段AnimalCategory的String方法被“屏蔽”了。注意,只要名稱相同,無論這兩個方法的簽名是否一致,被嵌入類型的方法都會“屏蔽”掉嵌入字段的同名方法。

由於我們同樣可以像訪問被嵌入類型的字段那樣,直接訪問嵌入字段的字段,所以如果這兩個結構體類型裏存在同名的字段,那麼嵌入字段中的那個字段一定會被“屏蔽”。這與我們在前面講過的,可重名變量之間可能存在的“屏蔽”現象很相似

因爲嵌入字段的字段和方法都可以“嫁接”到被嵌入類型上,所以即使在兩個同名的成員一個是字段,另一個是方法的情況下,這種“屏蔽”現象依然會存在。

不過,即使被屏蔽了,我們仍然可以通過鏈式的選擇表達式,選擇到嵌入字段的字段或方法,就像我在Category方法中所做的那樣。這種“屏蔽”其實還帶來了一些好處。我們看看下面這個Animal類型的String方法的實現:


func (a Animal) String() string {
  return fmt.Sprintf("%s (category: %s)",
    a.scientificName, a.AnimalCategory)
}

我們把對嵌入字段的String方法的調用結果融入到了Animal類型的同名方法的結果中。這種將同名方法的結果逐層“包裝”的手法是很常見和有用的,也算是一種慣用法了。

結構體和方法使用

結構體類型中的嵌入字段

最後,我還要提一下多層嵌入的問題。也就是說,嵌入字段本身也有嵌入字段的情況。請看我聲明的Cat類型:


type Cat struct {
  name string
  Animal
}

func (cat Cat) String() string {
  return fmt.Sprintf("%s (category: %s, name: %q)",
    cat.scientificName, cat.Animal.AnimalCategory, cat.name)
}

結構體類型Cat中有一個嵌入字段Animal,而Animal類型還有一個嵌入字段AnimalCategory。在這種情況下,“屏蔽”現象會以嵌入的層級爲依據,嵌入層級越深的字段或方法越可能被“屏蔽”。

例如,當我們調用Cat類型值的String方法時,如果該類型確有String方法,那麼嵌入字段Animal和AnimalCategory的String方法都會被“屏蔽”。

如果該類型沒有String方法,那麼嵌入字段Animal的String方法會被調用,而它的嵌入字段AnimalCategory的String方法仍然會被屏蔽。

只有當Cat類型和Animal類型都沒有String方法的時候,AnimalCategory的String方法菜會被調用。

最後的最後,如果處於同一個層級的多個嵌入字段擁有同名的字段或方法,那麼從被嵌入類型的值那裏,選擇此名稱的時候就會引發一個編譯錯誤,因爲編譯器無法確定被選擇的成員到底是哪一個。

Go 語言是用嵌入字段實現了繼承嗎?

Go 語言中根本沒有繼承的概念,它所做的是通過嵌入字段的方式實現了類型之間的組合

向對象編程中的繼承,其實是通過犧牲一定的代碼簡潔性來換取可擴展性,而且這種可擴展性是通過侵入的方式來實現的。

類型之間的組合採用的是非聲明的方式,我們不需要顯式地聲明某個類型實現了某個接口,或者一個類型繼承了另一個類型。

同時,類型組合也是非侵入式的,它不會破壞類型的封裝或加重類型之間的耦合。

我們要做的只是把類型當做字段嵌入進來,然後坐享其成地使用嵌入字段所擁有的一切。如果嵌入字段有哪裏不合心意,我們還可以用“包裝”或“屏蔽”的方式去調整和優化。

另外,類型間的組合也是靈活的,我們總是可以通過嵌入字段的方式把一個類型的屬性和能力“嫁接”給另一個類型。

這時候,被嵌入類型也就自然而然地實現了嵌入字段所實現的接口。再者,組合要比繼承更加簡潔和清晰,Go 語言可以輕而易舉地通過嵌入多個字段來實現功能強大的類型,卻不會有多重繼承那樣複雜的層次結構和可觀的管理成本。

接口類型之間也可以組合。在 Go 語言中,接口類型之間的組合甚至更加常見,我們常常以此來擴展接口定義的行爲或者標記接口的特徵。與此有關的內容我在下一篇文章中再講

值方法和指針方法都是什麼意思,有什麼區別?

方法的接收者類型必須是某個自定義的數據類型,而且不能是接口類型或接口的指針類型。所謂的值方法,就是接收者類型是非指針的自定義數據類型的方法。

比如,我們在前面爲AnimalCategory、Animal以及Cat類型聲明的那些方法都是值方法。就拿Cat來說,它的String方法的接收者類型就是Cat,一個非指針類型。那什麼叫指針類型呢?請看這個方法:


func (cat *Cat) SetName(name string) {
  cat.name = name
}

方法SetName的接收者類型是Cat。Cat左邊再加個代表的就是Cat類型的指針類型。

這時,Cat可以被叫做*Cat的基本類型。你可以認爲這種指針類型的值表示的是指向某個基本類型值的指針。

們可以通過把取值操作符*放在這樣一個指針值的左邊來組成一個取值表達式,以獲取該指針值指向的基本類型值,也可以通過把取址操作符&放在一個可尋址的基本類型值的左邊來組成一個取址表達式,以獲取該基本類型值的指針值。

所謂的指針方法,就是接收者類型是上述指針類型的方法。

值方法的接收者是該方法所屬的那個類型值的一個副本。我們在該方法內對該副本的修改一般都不會體現在原值上,除非這個類型本身是某個引用類型(比如切片或字典)的別名類型。而指針方法的接收者,是該方法所屬的那個基本類型值的指針值的一個副本。我們在這樣的方法內對該副本指向的值進行修改,卻一定會體現在原值上。

一個自定義數據類型的方法集合中僅會包含它的所有值方法,而該類型的指針類型的方法集合卻囊括了前者的所有方法,包括所有值方法和所有指針方法。嚴格來講,我們在這樣的基本類型的值上只能調用到它的值方法。但是,Go 語言會適時地爲我們進行自動地轉譯,使得我們在這樣的值上也能調用到它的指針方法。比如,在Cat類型的變量cat之上,之所以我們可以通過cat.SetName("monster")修改貓的名字,是因爲 Go 語言把它自動轉譯爲了(&cat).SetName("monster"),即:先取cat的指針值,然後在該指針值上調用SetName方法。

在後邊你會瞭解到,一個類型的方法集合中有哪些方法與它能實現哪些接口類型是息息相關的。如果一個基本類型和它的指針類型的方法集合是不同的,那麼它們具體實現的接口類型的數量就也會有差異,除非這兩個數量都是零。比如,一個指針類型實現了某某接口類型,但它的基本類型卻不一定能夠作爲該接口的實現類型。

package main

import "fmt"

type Cat struct {
    name           string // 名字。
    scientificName string // 學名。
    category       string // 動物學基本分類。
}

func New(name, scientificName, category string) Cat {
    return Cat{
        name:           name,
        scientificName: scientificName,
        category:       category,
    }
}

func (cat *Cat) SetName(name string) {
    cat.name = name
}

func (cat Cat) SetNameOfCopy(name string) {
    cat.name = name
}

func (cat Cat) Name() string {
    return cat.name
}

func (cat Cat) ScientificName() string {
    return cat.scientificName
}

func (cat Cat) Category() string {
    return cat.category
}

func (cat Cat) String() string {
    return fmt.Sprintf("%s (category: %s, name: %q)",
        cat.scientificName, cat.category, cat.name)
}

func main() {
    cat := New("little pig", "American Shorthair", "cat")
    cat.SetName("monster") // (&cat).SetName("monster")
    fmt.Printf("The cat: %s\n", cat)

    cat.SetNameOfCopy("little pig")
    fmt.Printf("The cat: %s\n", cat)

    type Pet interface {
        SetName(name string)
        Name() string
        Category() string
        ScientificName() string
    }

    _, ok := interface{}(cat).(Pet)
    fmt.Printf("Cat implements interface Pet: %v\n", ok)
    _, ok = interface{}(&cat).(Pet)
    fmt.Printf("*Cat implements interface Pet: %v\n", ok)
}
 go run demo30.go 
The cat: American Shorthair (category: cat, name: "monster")
The cat: American Shorthair (category: cat, name: "monster")
Cat implements interface Pet: false
*Cat implements interface Pet: true

總結

結構體類型的嵌入字段比較容易讓 Go 語言新手們迷惑,所以我在本篇文章着重解釋了它的編寫方法、基本的特性和規則以及更深層次的含義。在理解了結構體類型及其方法的組成方式和構造套路之後,這些知識應該是你重點掌握的。

嵌入字段是其聲明中只有類型而沒有名稱的字段,它可以以一種很自然的方式爲被嵌入的類型帶來新的屬性和能力。在一般情況下,我們用簡單的選擇表達式就可以直接引用到它們的字段和方法。

不過,我們需要小心可能產生“屏蔽”現象的地方,尤其是當存在多個嵌入字段或者多層嵌入的時候。“屏蔽”現象可能會讓你的實際引用與你的預期不符

另外,你一定要梳理清楚值方法和指針方法的不同之處,包括這兩種方法各自能做什麼、不能做什麼以及會影響到其所屬類型的哪些方面。這涉及值的修改、方法集合和接口實現。

最後,再次強調,嵌入字段是實現類型間組合的一種方式,這與繼承沒有半點兒關係。Go 語言雖然支持面向對象編程,但是根本就沒有“繼承”這個概念。

發表評論
所有評論
還沒有人評論,想成為第一個評論的人麼? 請在上方評論欄輸入並且點擊發布.
相關文章