Go 面向?qū)ο?/h1>
Go是一個完全面向?qū)ο蟮恼Z言。例如,它允許基于我們定義的類型的方法,而沒有像其他語言一樣的裝箱/拆箱操作。
Go沒有使用classes,但提供很多相似的功能:
·通過嵌入實現(xiàn)的自動消息委托
·通過接口實現(xiàn)多臺
·通過exports實現(xiàn)的命名空間
Go語言中沒有繼承。忘記is-a的關系,而是就組合而言的面向?qū)ο笤O計。
“使用經(jīng)典的繼承始終是可選的;每個問題都可以通過其他方法得到解決” - Sandi Metz |
通過例子說明組合
最近閱讀了一篇Ruby的面向?qū)ο缶幊虒嵺`, 我決定使用Go語言翻譯這個例子。
Chapter 6說明了一個簡單的問題。維修工需要知道自行車出行需要帶上的備件,決定于哪一輛自行車已經(jīng)被租出去。問題可以通過經(jīng)典的繼承來解決,山地車和公路自行車是自行車基類的一個特殊化例子。Chapter 8使用組合改寫了同一個例子。我很高興這個例子翻譯成Go。讓我們看看。
Packages(包)
- package main
- import "fmt"
包提供了命名空間概念. main() 函數(shù)是這個包的入口函數(shù). fmt包提供格式化功能
Types(類型)
- type Part struct {
- Name string
- Description string
- NeedsSpare bool
- }
我們定義了一個新的類型名為Part, 非常像c的結構體
- type Parts []Part
Parts類型是包含Part類型的數(shù)組切片, Slice可以理解為動態(tài)增長的數(shù)組, 在Go中是很常見的.
我們可以在任何類型上聲明方法, 所以我們不需要要再去封裝 []Part, 這意味著 Parts 會擁有slice的所有行為, 再加上我們自己定義的行為方法.
方法
- func (parts Parts) Spares() (spares Parts) {
- for _, part := range parts {
- if part.NeedsSpare {
- spares = append(spares, part)
- }
- }
- return spares
- }
Go中定義方法就像一個函數(shù),除了它有一個顯式的接收者,緊接著func之后定義。這個函數(shù)利用命名返回變量,并為我們初始化備件。
方法的主體十分簡單。我們重復parts,忽略索引的位置(_),過濾parts后返回。append builtin 需要分配和返回一個大的切片,因為我們并沒有預先分配好它的容量。
這段代碼沒有ruby代碼來得優(yōu)雅。在Go語言中有過濾函數(shù),但它并非是builtin.
內(nèi)嵌
- type Bicycle struct {
- Size string
- Parts
- }
自行車由Size和Parts組成。沒有給Parts指定一個名稱,我們是要保證實現(xiàn) 內(nèi)嵌。這樣可以提供自動的委托,不需特殊的聲明,例如bike.Spares()和bike.Parts.Spares()是等同的。
如果我們向Bicycle增加一個Spares()方法,它會得到優(yōu)先權,但是我們?nèi)匀灰们度氲腜arts.Spares()。這跟繼承十分相似,但是內(nèi)嵌并不提供多態(tài)。Parts的方法的接收者通常是Parts類型,甚至是通過Bicycle委托的。
與繼承一起使用的模式,就像模板方法模式,并不適合于內(nèi)嵌。就組合和委托而言去考慮會更好,就如我們這個例子一樣。
Composite Literals(復合語義)
- var (
- RoadBikeParts = Parts{
- {"chain", "10-speed", true},
- {"tire_size", "23", true},
- {"tape_color", "red", true},
- }
- MountainBikeParts = Parts{
- {"chain", "10-speed", true},
- {"tire_size", "2.1", true},
- {"front_shock", "Manitou", false},
- {"rear_shock", "Fox", true},
- }
- RecumbentBikeParts = Parts{
- {"chain", "9-speed", true},
- {"tire_size", "28", true},
- {"flag", "tall and orange", true},
- }
- )
Go提供優(yōu)美的語法,來初始化對象,叫做 composite literals。使用像數(shù)組初始化一樣的語法,來初始化一個結構,使得我們不再需要ruby例子中的Parts工廠。
- func main() {
- roadBike := Bicycle{Size: "L", Parts: RoadBikeParts}
- mountainBike := Bicycle{Size: "L", Parts: MountainBikeParts}
- recumbentBike := Bicycle{Size: "L", Parts: RecumbentBikeParts}
Composite literals(復合語義)同樣可以用于字段:值的語法,所有的字段都是可選的。
簡短的定義操作符(:=)通過Bicycle類型,使用類型推論來初始化roadBike,和其他。
輸出
- fmt.Println(roadBike.Spares())
- fmt.Println(mountainBike.Spares())
- fmt.Println(recumbentBike.Spares())
我們將以默認格式打印 Spares 的調(diào)用結果:
- [{chain 10-speed true} {tire_size 23 true} {tape_color red true}]
- [{chain 10-speed true} {tire_size 2.1 true} {rear_shock Fox true}]
- [{chain 9-speed true} {tire_size 28 true} {flag tall and orange true}]
組合 Parts
- comboParts := Parts{}
- comboParts = append(comboParts, mountainBike.Parts...)
- comboParts = append(comboParts, roadBike.Parts...)
- comboParts = append(comboParts, recumbentBike.Parts...)
- fmt.Println(len(comboParts), comboParts[9:])
- fmt.Println(comboParts.Spares())
- }
Parts 的行為類似于 slice。按照長度獲取切片,或者將數(shù)個切片結合。Ruby 中的類似解決方案就數(shù)組的子類,但是當兩個 Parts 連接在一起時,Ruby 將會“錯置” spares 方法。
“……在一個完美的面向?qū)ο蟮恼Z言,這種解決方案是完全正確的。不幸的是,Ruby語言并沒有完美的實現(xiàn)……” —— Sandi Metz |
在 Ruby 中有一個那看的解決方法,使用 Enumerable、forwardable,以及 def_delegators。 Go有沒有這樣的缺陷。 []Part 正是我們所需要的,且更為簡潔(更新:Ruby 的 SimpleDelegator 看上去好了一點)。
接口 Interfaces
Go的多態(tài)性由接口提供。不像JAVA和C#,它們是隱含實現(xiàn)的,所以接口可以為不屬于我們的代碼定義。
和動態(tài)類型比較,接口是在它們聲明過程中靜態(tài)檢查和說明的,而不是通過寫一系列響應(respond_to)測試完成的。
“不可能不知不覺的或者偶然的創(chuàng)建一個抽象;在靜態(tài)類型語言中定義的接口總是有傾向性的。” - Sandi Metz |
給個簡單的例子,假設我們不需要打印Part的NeedsSpare標記。我們可以寫這樣的字符串方法:
- func (part Part) String() string {
- return fmt.Sprintf("%s: %s", part.Name, part.Description)
- }
然后對上述Print的調(diào)用將會輸出這樣的替代結果:
- [chain: 10-speed tire_size: 23 tape_color: red]
- [chain: 10-speed tire_size: 2.1 rear_shock: Fox]
- [chain: 9-speed tire_size: 28 flag: tall and orange]
這個機理是因為我們實現(xiàn)了fmt包會用到的Stringer接口。它是這么定義的:
- type Stringer interface {
- String() string
- }
接口類型在同一個地方可以用作其它類型。變量與參數(shù)可以攜帶一個Stringer,可以是任何實現(xiàn)String() string方法簽名的接口。
Exports 導出
Go 使用包來管理命名空間, 要使某個符號對其他包(package )可見(即可以訪問),需要將該符號定義為以大寫字母開頭, 當然,如果以小寫字母開關,那就是私有的.包外不可見.
- type Part struct {
- name string
- description string
- needsSpare bool
- }
為了對Part類型應用統(tǒng)一的訪問原則(uniform access principle), 我們可以改變Part類型的定義并提供setter/getter 方法,就像這樣:
- func (part Part) Name() string {
- return part.name
- }
- func (part *Part) SetName(name string) {
- part.name = name
- }
這樣可以很容易的確定哪些是public API, 哪些是私有的屬性和方法, 只要通過字母的大小寫.(例如(part.Name()vs.part.name)
注意 我們不必要對 getters 加前Get, (例如.GetName),Getter不是必需,特別是對于字符串,當我們有需要時,我們可以使用滿足Stringer 類型接口的自定義的類型去改變Name 字段。
找到一些私有性
私有命名(小寫字母)可以從同一個包的任何地方訪問到,即使是包含了跨越多個文件的多個結構。如果你覺得這令人不安,包也可以像你希望的那么小。
可能的情況下用(更穩(wěn)固的)公共API是一個好的實踐,即使是來自經(jīng)典語言的同樣的類中。這需要一些約定,當然這些約定可以應用在GO中。
最大的好處
組合,內(nèi)嵌和接口提供了Go語言中面向?qū)ο笤O計的強大工具。繼承概念的思想真的不起什么作用。相信我,我嘗試了。
習慣Go需要思維的改變,當觸及到Go對象模型的力量時,我非常高興的吃驚于Go代碼的簡單和簡潔。
原文鏈接:http://www.oschina.net/translate/go-object-oriented-design