gopl-zh.github.com/ch6/ch6-06.md

90 lines
5.9 KiB
Markdown
Raw Normal View History

2015-12-09 07:45:11 +00:00
## 6.6. 封裝
2015-12-18 02:53:03 +00:00
一個對象的變量或者方法如果對調用方是不可見的話,一般就被定義爲“封裝”。封裝有時候也被叫做信息隱藏,同時也是面向對象編程最關鍵的一個方面。
2015-12-09 07:45:11 +00:00
2015-12-18 02:53:03 +00:00
Go語言隻有一種控製可見性的手段大寫首字母的標識符會從定義它們的包中被導齣小寫字母的則不會。這種限製包內成員的方式同樣適用於struct或者一個類型的方法。因而如果我們想要封裝一個對象我們必鬚將其定義爲一個struct。
2015-12-09 07:45:11 +00:00
2015-12-18 06:49:31 +00:00
這也就是前面的小節中IntSet被定義爲struct類型的原因盡管它隻有一個字段
2015-12-09 07:45:11 +00:00
```go
type IntSet struct {
words []uint64
}
```
2015-12-18 06:49:31 +00:00
當然我們也可以把IntSet定義爲一個slice類型盡管這樣我們就需要把代碼中所有方法里用到的s.words用*s替換掉了
2015-12-09 07:45:11 +00:00
```go
type IntSet []uint64
```
2015-12-18 06:49:31 +00:00
盡管這個版本的IntSet在本質上是一樣的他也可以允許其它包中可以直接讀取併編輯這個slice。換句話説相對*s這個表達式會齣現在所有的包中s.words隻需要在定義IntSet的包中齣現(譯註:所以還是推薦後者吧的意思)。
2015-12-09 07:45:11 +00:00
2015-12-18 06:49:31 +00:00
這種基於名字的手段使得在語言中最小的封裝單元是package而不是像其它語言一樣的類型。一個struct類型的字段對同一個包的所有代碼都有可見性無論你的代碼是寫在一個函數還是一個方法里。
2015-12-09 07:45:11 +00:00
2015-12-18 06:49:31 +00:00
封裝提供了三方面的優點。首先,因爲調用方不能直接脩改對象的變量值,其隻需要關註少量的語句併且隻要弄懂少量變量的可能的值卽可。
2015-12-09 07:45:11 +00:00
第二隱藏實現的細節可以防止調用方依賴那些可能變化的具體實現這樣使設計包的程序員在不破壞對外的api情況下能得到更大的自由。
2015-12-18 06:49:31 +00:00
把bytes.Buffer這個類型作爲例子來考慮。這個類型在做短字符串疊加的時候很常用所以在設計的時候可以做一些預先的優化比如提前預留一部分空間來避免反複的內存分配。又因爲Buffer是一個struct類型這些額外的空間可以用附加的字節數組來保存且放在一個小寫字母開頭的字段中。這樣在外部的調用方隻能看到性能的提陞但併不會得到這個附加變量。Buffer和其增長算法我們列在這里爲了簡潔性稍微做了一些精簡
2015-12-09 07:45:11 +00:00
```go
type Buffer struct {
buf []byte
initial [64]byte
/* ... */
}
// Grow expands the buffer's capacity, if necessary,
// to guarantee space for another n bytes. [...]
func (b *Buffer) Grow(n int) {
if b.buf == nil {
b.buf = b.initial[:0] // use preallocated space initially
}
if len(b.buf)+n > cap(b.buf) {
buf := make([]byte, b.Len(), 2*cap(b.buf) + n)
copy(buf, b.buf)
b.buf = buf
}
}
```
2015-12-18 06:49:31 +00:00
封裝的第三個優點也是最重要的優點是阻止了外部調用方對對象內部的值任意地進行脩改。因爲對象內部變量隻可以被同一個包內的函數脩改所以包的作者可以讓這些函數確保對象內部的一些值的不變性。比如下面的Counter類型允許調用方來增加counter變量的值併且允許將這個值reset爲0但是不允許隨便設置這個值(譯註:因爲壓根就訪問不到)
2015-12-09 07:45:11 +00:00
```go
type Counter struct { n int }
func (c *Counter) N() int { return c.n }
func (c *Counter) Increment() { c.n++ }
func (c *Counter) Reset() { c.n = 0 }
```
2015-12-18 06:49:31 +00:00
隻用來訪問或脩改內部變量的函數被稱爲setter或者getter例子如下比如log包里的Logger類型對應的一些函數。在命名一個getter方法時我們通常會省略掉前面的Get前綴。這種簡潔上的偏好也可以推廣到各種類型的前綴比如FetchFind或者Lookup。
2015-12-09 07:45:11 +00:00
```go
package log
type Logger struct {
flags int
prefix string
// ...
}
func (l *Logger) Flags() int
func (l *Logger) SetFlags(flag int)
func (l *Logger) Prefix() string
func (l *Logger) SetPrefix(prefix string)
```
2015-12-18 06:49:31 +00:00
Go的編碼風格不禁止直接導齣字段。當然一旦進行了導齣就沒有辦法在保證API兼容的情況下去除對其的導齣所以在一開始的選擇一定要經過深思熟慮併且要考慮到包內部的一些不變量的保證未來可能的變化以及調用方的代碼質量是否會因爲包的一點脩改而變差。
2015-12-09 07:45:11 +00:00
2015-12-18 06:49:31 +00:00
封裝併不總是理想的。
2015-12-18 02:53:03 +00:00
雖然封裝在有些情況是必要的但有時候我們也需要暴露一些內部內容比如time.Duration將其表現暴露爲一個int64數字的納秒使得我們可以用一般的數值操作來對時間進行對比甚至可以定義這種類型的常量
2015-12-09 07:45:11 +00:00
```go
const day = 24 * time.Hour
fmt.Println(day.Seconds()) // "86400"
```
2015-12-18 06:49:31 +00:00
另一個例子將IntSet和本章開頭的geometry.Path進行對比。Path被定義爲一個slice類型這允許其調用slice的字面方法來對其內部的points用range進行迭代遍歷在這一點上IntSet是沒有辦法讓你這麽做的。
2015-12-09 07:45:11 +00:00
2015-12-18 06:49:31 +00:00
這兩種類型決定性的不同geometry.Path的本質是一個坐標點的序列不多也不少我們可以預見到之後也併不會給他增加額外的字段所以在geometry包中將Path暴露爲一個slice。相比之下IntSet僅僅是在這里用了一個[]uint64的slice。這個類型還可以用[]uint類型來表示或者我們甚至可以用其它完全不同的占用更小內存空間的東西來表示這個集合所以我們可能還會需要額外的字段來在這個類型中記録元素的個數。也正是因爲這些原因我們讓IntSet對調用方透明。
2015-12-09 07:45:11 +00:00
2015-12-18 06:49:31 +00:00
在這章中我們學到了如何將方法與命名類型進行組合併且知道了如何調用這些方法。盡管方法對於OOP編程來説至關重要但他們隻是OOP編程里的半邊天。爲了完成OOP我們還需要接口。Go里的接口會在下一章中介紹。