2.6 学习接口:接口的三个”潜规则”¶
1. 对方法的调用限制¶
接口是一组固定的方法集,由于静态类型的限制,接口变量有时仅能调用其中特定的一些方法。
请看下面这段代码
package main
import "fmt"
type Phone interface {
call()
}
type iPhone struct {
name string
}
func (phone iPhone)call() {
fmt.Println("Hello, iPhone.")
}
func (phone iPhone)send_wechat() {
fmt.Println("Hello, Wechat.")
}
func main() {
var phone Phone
phone = iPhone{name:"ming's iphone"}
phone.call()
phone.send_wechat()
}
我定义了一个 Phone 的接口,只要求实现 call 方法即可,也就是只要能打电话的设备就是一个电话(好像是一句没用的废话)。
然后再定义了一个 iPhone 的结构体,该结构体接收两个方法,一个是打电话( call 函数),一个是发微信(send_wechat 函数)。
最后一步是关键,我们定义了一个 Phone 接口类型的 phone 对象,该对象的内容是 iPhone 结构体。然后我们调用该对象的 call 方法,一切正常。
但是当你调用 phone.send_wechat
方法,程序会报错,提示我们 Phone
类型的方法没有 send_wechat 的字段或方法。
# command-line-arguments
./demo.go:30:10: phone.send_wechat undefined (type Phone has no field or method send_wechat)
原因也很明显,因为我们的phone对象显式声明为 Phone 接口类型,因此 phone调用的方法会受到此接口的限制。
那么如何让 phone 可以调用 send_wechat 方法呢?
答案是可以不显式的声明为 Phone接口类型 ,但要清楚 phone 对象实际上是隐式的实现了 Phone 接口,如此一来,方法的调用就不会受到接口类型的约束。
修改 main 方法成如下
func main() {
phone := iPhone{name:"ming's iphone"}
phone.call()
phone.send_wechat()
}
运行后,一切正常,没有报错。
Hello, iPhone.
Hello, Wechat.
2. 调用函数时的隐式转换¶
Go 语言中的函数调用都是值传递的,变量会在方法调用前进行类型转换。
比如下面这段代码
import (
"fmt"
)
func printType(i interface{}) {
switch i.(type) {
case int:
fmt.Println("参数的类型是 int")
case string:
fmt.Println("参数的类型是 string")
}
}
func main() {
a := 10
printType(a)
}
如果你运行后,会发现一切都很正常
参数的类型是 int
但是如果你把函数内的内容搬到到外面来
package main
import "fmt"
func main() {
a := 10
switch a.(type) {
case int:
fmt.Println("参数的类型是 int")
case string:
fmt.Println("参数的类型是 string")
}
}
就会有意想不到的结果,居然报错了。
# command-line-arguments
./demo.go:9:5: cannot type switch on non-interface value a (type int)
这个操作会让一个新人摸不着头脑,代码逻辑都是一样的,为什么一个不会报错,一个会报错呢?
原因其实很简单。
当一个函数接口 interface{} 空接口类型时,我们说它可以接收什么任意类型的参数(江湖上称之为无招胜有招)。
当你使用这种写法时,Go 会默默地为我们做一件事,就是把传入函数的参数值(注意:Go 语言中的函数调用都是值传递的)的类型隐式的转换成 interface{} 类型。
如何进行接口类型的显式转换¶
上面了解了函数中 接口类型的隐式转换后,你的心里可能开始有了疑问了,难道我使用类型断言,只能通过一个接收空接口类型的函数才能实现吗?
答案当然是 No.
如果你想手动对其进行类型转换,可以像下面这样子,就可以将变量 a 的静态类型转换为 interface{} 类型然后赋值给 b (此时 a 的静态类型还是 int,而 b 的静态类型为 interface{})
var a int = 25
b := interface{}(a)
知道了方法后,将代码修改成如下:
package main
import "fmt"
func main() {
a := 10
switch interface{}(a).(type) {
case int:
fmt.Println("参数的类型是 int")
case string:
fmt.Println("参数的类型是 string")
}
}
运行后,一切正常。
参数的类型是 int
3. 类型断言中的隐式转换¶
上面我们知道了,只有静态类型为接口类型的对象才可以进行类型断言。
而当类型断言完成后,会返回一个静态类型为你断言的类型的对象,也就是说,当我们使用了类型断言,Go 实际上又会默认为我们进行了一次隐式的类型转换。
验证方法也很简单,使用完一次类型断言后,对返回的对象再一次使用类型断言,Goland 立马就会提示我们新对象 b 不是一个接口类型的对象,不允许进行类型断言。