Go語言的面向對象模型初探
Go語言的面向對象模型與主流OO語言差異很大，本文通過對比Go與C++的三個差異來介紹Go的面向對象模型及其設計思想。
一：可見性控制粒度是包
Go用首寫字母的大小寫來控制類、類成員、函數的可見性, 可見性控制的粒度是包。下面是Go和C++對Person的實現：
Go：
type Person struct {
name string //首字母小寫，包外不可見
Age int //首字母大寫，包外可見
}
C++：
struct Person{
private: std::string name; //類外不可見
public： int age; //類外可見
};
要理解Go的做法，首先我們要問為什麽要控制可見性？是為了隱藏實現細節。那麽為什麽要隱藏實現細節？是為了盡可能地減少對客戶代碼的影響。說到底是為了讓客戶能更容易地重用代碼，所以可見性控制粒度應該與重用粒度相一致。Go認為重用粒度是包，因此只控制包的可見性。當然從完美角度看，這種做法會增加包內類之間的耦合，但是它也避免了新增友元特性以支持包內類之間的更密切的關聯，這使得語言特性保持簡潔, 而簡潔正是Go語言的追求目標。
二：沒有繼承，只有組合
Go沒有繼承，只有組合。類功能復用可以通過匿名組合實現。下面是Go和C++對Teacher的實現：
Go:
type Teacher struct{
Person
school string
}
C++:
struct Teacher:Person{
private: std::string school;
};
繼承曾經被認為是OO最重要的特性。隨著OO實踐的深入，社區才逐漸認識到繼承的弊端。實際上，當我們深入研究繼承，就會發現它同時幹了兩件事情：
1、復用實現。
2、IS-A語義。
對於第一點，使用組合遠比繼承要更優秀，因為組合是黑盒復用，繼承是白盒復用，復雜的繼承樹大大加重了程序員的心智負擔。
對於第二點，IS-A語義的威力只有當我們基於接口進行編程（把IS-A理解為接口）時，才能充分地發揮。但是接口本質上是一種抽象，而這種抽象依賴於client，也就是說如果用繼承，我們被迫要在實現類的時候對
既然繼承做了兩件事，而且做的都不好，Go就把繼承拆分為兩個更加單一的特性：匿名組合、Interface。通過匿名組合來復用實現，通過Interface支持基於接口的編程。
三：類型安全的鴨子類型
在第二節我們提到Go沒有繼承，Go也沒有虛函數，它通過Interface實現IS-A語義來支持基於接口的編程，下面用Go和C++分別實現鴨子、野鴨子、打飛鳥的示例：
Go：
type Duck struct {//鴨子
location Location //鴨子當前位置
}
func (duck *Duck) GetLocation() Location {//獲取鴨子當前所處位置
return duck.location
}
type WildDuck struct {//野鴨子
Duck
}
func (wildDuck *WildDuck) Fly() {//飛走
}
type Flyer interface {//飛鳥
Fly()
GetLocation() Location
}
func ShotFlyer(location Location, flyer Flyer) {//打飛鳥
if location != flyer.GetLocation() { //沒打中飛走了
flyer.Fly()
}
}
func TestShotFlyer() {
flyer := new(WildDuck)
ShotFlyer(Location{1, 2, 3}, flyer)
}
C++：
struct Flyer{//飛鳥
virtual void Fly()=0;
virtual const Location& GetLocation()=0;
};
struct Duck{//鴨子
void const Location& GetDuckLocation()
private: Location location;
};
struct WildDuck:Duck, Flyer{//野鴨子
private: virtual void Fly(){}
private: virtual const Location& GetLocation(){return GetDuckLocation();}
};
void ShotFlyer(const Location& location, Flyer &flyer) {//打野鴨子
if (location != flyer.GetLocation()) {//沒打中飛走了
flyer.Fly()
}
}
void TestShotFlyer() {
Flyer* flyer := new WildDuck()
ShotFlyer(Location(1,2,3), flyer)
}
我們先來看Go的實現，WildDuck通過匿名組合Duck來復用Duck的GetLocation方法，為了能讓ShotFlyer基於Flyer接口編程，WildDuck並不需要繼承Flyer，只要實現了Flyer的所有方法，就能讓編譯器認為它就是Flyer，Flyer與WildDuck之間是松耦合的關系。
再看C++實現，WildDuck需要繼承Flyer接口讓編譯器認為它就是Flyer，但是WildDuck不能直接復用Duck來實現Flyer的GetLocation方法，因為在編譯器看來Duck不是Flyer，那麽它就不能實現Flyer的方法，所以WildDuck只能自己實現虛函數GetLocation，通過GetLocation調用Duck的GetDuckLocation來復用Duck的獲取當前位置功能。
從上面比較可以看出，Go的實現比C++的更加優雅，這種優雅是由於接口與實現的松耦合帶來的。松耦合可以讓接口與實現相對獨立地演進；可以各自通過組合實現功能復用；也可以在實現具體類之後，無需修改具體類就能新增抽象接口以應對不同的應用場景（這個正是人解決問題的常用方式，先具體再抽象）。
Go語言的面向對象模型初探