初步解讀Golang中的介面相關編寫方法
概述 如果說goroutine和channel是Go併發的兩大基石,那麼介面是Go語言程式設計中資料型別的關鍵。在Go語言的實際程式設計中,幾乎所有的資料結構都圍繞介面展開,介面是Go語言中所有資料結構的核心。 Go語言中的介面是一些方法的集合(method set),它指定了物件的行為:如果它(任何資料型別)可以做這些事情,那麼它就可以在這裡使用。
介面的定義和使用
比如
type I interface{
Get() int
Put(int)
}
這段話就定義了一個介面,它包含兩個函式Get和Put
好了,我的一個介面實現了這個介面:
type S struct {val int} func (this *S) Get int { return this.val } func (this *S)Put(v int) { this.val = v }
這個結構S就是實現了介面I
Go中interface的寫法
下面看幾個interface的例子
- func SomeFunction(w interface{Write(string)}){
- w.Write("pizza")
- }
這個例子中,直接將interface定義在引數中,很特別…
func weirdFunc( i int ) interface{} {
if i == 0 {
return "zero"
}
return i;
}
介面賦值 我們可以將一個實現介面的物件例項賦值給介面,也可以將另外一個介面賦值給介面。
(1)通過物件例項賦值
將一個物件例項賦值給一個介面之前,要保證該物件實現了介面的所有方法。考慮如下示例:
type Integer int func (a Integer) Less(b Integer) bool { return a < b } func (a *Integer) Add(b Integer) { *a += b } type LessAdder interface { Less(b Integer) bool Add(b Integer) } var a Integer = 1 var b1 LessAdder = &a //OK var b2 LessAdder = a //not OK
b2的賦值會報編譯錯誤,為什麼呢?還記得<型別方法>一章中討論的Go語言規範的規定嗎?
The method set of any other named type T consists of all methods with receiver type T. The method set of the corresponding pointer type T is the set of all methods with receiver T or T (that is, it also contains the method set of T). 也就是說*Integer實現了介面LessAdder的所有方法,而Integer只實現了Less方法,所以不能賦值。
(2)通過介面賦值
var r io.Reader = new(os.File)
var rw io.ReadWriter = r //not ok
var rw2 io.ReadWriter = new(os.File)
var r2 io.Reader = rw2 //ok
因為r沒有Write方法,所以不能賦值給rw。
介面巢狀 我們來看看io package中的另外一個介面:
- // ReadWriter is the interface that groups the basic Read and Write methods.
- type ReadWriter interface {
- Reader
- Writer
- }
該介面嵌套了io.Reader和io.Writer兩個介面,實際上,它等同於下面的寫法:
- type ReadWriter interface {
- Read(p []byte) (n int, err error)
- Write(p []byte) (n int, err error)
- }
注意,Go語言中的介面不能遞迴巢狀,
// illegal: Bad cannot embed itself
type Bad interface {
Bad
}
// illegal: Bad1 cannot embed itself using Bad2
type Bad1 interface {
Bad2
}
type Bad2 interface {
Bad1
}
空介面(empty interface) 空介面比較特殊,它不包含任何方法:
- interface{}
在Go語言中,所有其它資料型別都實現了空介面。
var v1 interface{} = 1
var v2 interface{} = "abc"
var v3 interface{} = struct{ X int }{1}
如果函式打算接收任何資料型別,則可以將參考宣告為interface{}。最典型的例子就是標準庫fmt包中的Print和Fprint系列的函式:
func Fprint(w io.Writer, a ...interface{}) (n int, err error)
func Fprintf(w io.Writer, format string, a ...interface{})
func Fprintln(w io.Writer, a ...interface{})
func Print(a ...interface{}) (n int, err error)
func Printf(format string, a ...interface{})
func Println(a ...interface{}) (n int, err error)
複製程式碼
注意,[]T不能直接賦值給[]interface{}
t := []int{1, 2, 3, 4}
var s []interface{} = t
編譯時會輸出下面的錯誤:
cannot use t (type []int) as type []interface {} in assignment
我們必須通過下面這種方式:
t := []int{1, 2, 3, 4}
s := make([]interface{}, len(t))
for i, v := range t {
s[i] = v
}