6.1. 方法聲明
在函數聲明時,在其名字之前放上一個變量,即是一個方法。這個附加的參數會將該函數附加到這種類型上,即相當於為這種類型定義了一個獨佔的方法。
下面來寫我們第一個方法的例子,這個例子在package geometry下:
gopl.io/ch6/geometry
package geometry
import "math"
type Point struct{ X, Y float64 }
// traditional function
func Distance(p, q Point) float64 {
return math.Hypot(q.X-p.X, q.Y-p.Y)
}
// same thing, but as a method of the Point type
func (p Point) Distance(q Point) float64 {
return math.Hypot(q.X-p.X, q.Y-p.Y)
}
上面的代碼裡那個附加的參數p,叫做方法的接收器(receiver),早期的面嚮對象語言留下的遺產將調用一個方法稱為“向一個對象發送消息”。
在Go語言中,我們並不會像其它語言那樣用this或者self作為接收器;我們可以任意的選擇接收器的名字。由於接收器的名字經常會被使用到,所以保持其在方法間傳遞時的一致性和簡短性是不錯的主意。這裡的建議是可以使用其類型的第一個字母,比如這裡使用了Point的首字母p。
在方法調用過程中,接收器參數一般會在方法名之前出現。這和方法聲明是一樣的,都是接收器參數在方法名字之前。下面是例子:
p := Point{1, 2}
q := Point{4, 6}
fmt.Println(Distance(p, q)) // "5", function call
fmt.Println(p.Distance(q)) // "5", method call
可以看到,上面的兩個函數調用都是Distance,但是卻沒有發生衝突。第一個Distance的調用實際上用的是包級別的函數geometry.Distance,而第二個則是使用剛剛聲明的Point,調用的是Point類下聲明的Point.Distance方法。
這種p.Distance的表達式叫做選擇器,因為他會選擇合適的對應p這個對象的Distance方法來執行。選擇器也會被用來選擇一個struct類型的字段,比如p.X。由於方法和字段都是在同一命名空間,所以如果我們在這裡聲明一個X方法的話,編譯器會報錯,因為在調用p.X時會有歧義(譯註:這裡確實挺奇怪的)。
因為每種類型都有其方法的命名空間,我們在用Distance這個名字的時候,不同的Distance調用指向了不同類型裡的Distance方法。讓我們來定義一個Path類型,這個Path代表一個線段的集合,並且也給這個Path定義一個叫Distance的方法。
// A Path is a journey connecting the points with straight lines.
type Path []Point
// Distance returns the distance traveled along the path.
func (path Path) Distance() float64 {
sum := 0.0
for i := range path {
if i > 0 {
sum += path[i-1].Distance(path[i])
}
}
return sum
}
Path是一個命名的slice類型,而不是Point那樣的struct類型,然而我們依然可以為它定義方法。在能夠給任意類型定義方法這一點上,Go和很多其它的面向對象的語言不太一樣。因此在Go語言裡,我們為一些簡單的數值、字符串、slice、map來定義一些附加行為很方便。我們可以給同一個包內的任意命名類型定義方法,只要這個命名類型的底層類型(譯註:這個例子裡,底層類型是指[]Point這個slice,Path就是命名類型)不是指針或者interface。
兩個Distance方法有不同的類型。他們兩個方法之間沒有任何關係,儘管Path的Distance方法會在內部調用Point.Distance方法來計算每個連接鄰接點的線段的長度。
讓我們來調用一個新方法,計算三角形的周長:
perim := Path{
{1, 1},
{5, 1},
{5, 4},
{1, 1},
}
fmt.Println(perim.Distance()) // "12"
在上面兩個對Distance名字的方法的調用中,編譯器會根據方法的名字以及接收器來決定具體調用的是哪一個函數。第一個例子中path[i-1]數組中的類型是Point,因此Point.Distance這個方法被調用;在第二個例子中perim的類型是Path,因此Distance調用的是Path.Distance。
對於一個給定的類型,其內部的方法都必須有唯一的方法名,但是不同的類型卻可以有同樣的方法名,比如我們這裡Point和Path就都有Distance這個名字的方法;所以我們沒有必要非在方法名之前加類型名來消除歧義,比如PathDistance。這裡我們已經看到了方法比之函數的一些好處:方法名可以簡短。當我們在包外調用的時候這種好處就會被放大,因為我們可以使用這個短名字,而可以省略掉包的名字,下面是例子:
import "gopl.io/ch6/geometry"
perim := geometry.Path{{1, 1}, {5, 1}, {5, 4}, {1, 1}}
fmt.Println(geometry.PathDistance(perim)) // "12", standalone function
fmt.Println(perim.Distance()) // "12", method of geometry.Path
譯註: 如果我們要用方法去計算perim的distance,還需要去寫全geometry的包名,和其函數名,但是因為Path這個類型定義了一個可以直接用的Distance方法,所以我們可以直接寫perim.Distance()。相當於可以少打很多字,作者應該是這個意思。因為在Go裡包外調用函數需要帶上包名,還是挺麻煩的。