duck typing
“像鸭子走路,像鸭子叫,长得像鸭子,那么就是鸭子!”duck typing描述事物的外部行为而非内部结构。
严格说Go属于结构化类型系统,类似duck typing。
接口定义
接口由使用者定义,接口实现是隐式的(只要实现接口里的方法)。
// 接口定义
type SayHello interface {
sayHello() // 声明但没有具体实现方法
}
// 中国人
type Chinese struct {
}
// 接口实现
func (c Chinese) sayHello() {
fmt.Println("你好,世界!")
}
// 专门用来各国人打招呼,接收具备SayHello接口能力的变量
func greet(s SayHello) {
s.sayHello()
}
func main() {
c := Chinese{}
greet(c) // 你好,世界!
}
接口本身不能创建实例,但可以指向一个实现了该接口的自定义类型变量(接口类型变量):
var s SayHello = c
s.sayHello() // 你好,世界!
接口变量包含实现者的类型和值。
一个接口的方法,不一定需要由一个类型完全实现,可以通过在类型中嵌入其他类型或者结构体来实现。
接口继承
接口继承直接写接口名就可以,但要实现继承接口的所有方法:
type AInterface interface {
a()
}
type BInterface interface {
AInterface
b()
}
type Chinese struct {
}
func (c Chinese) a() {
fmt.Println("a")
}
func (c Chinese) b() {
fmt.Println("b")
}
func main() {
c := Chinese{}
var b BInterface = c
b.a() // a
}
空接口
是指没有定义任何方法的接口,因此任何类型都实现了空接口。空接口类型变量可以存储任意类型的变量。
空接口应用:
- 空接口作为函数参数,实现可以接收任意类型的函数参数
- 空接口作为map值,实现可以保存任意值的字典
类型断言,其语法格式为x.(T)
,该语法返回两个参数,第一个是x转化为T类型后的变量,第二个是一个布尔值,若为true则表示断言成功,为false则表示断言失败。
func main() {
var x interface{} // 定义一个空接口x
x = "Hello World!"
v, ok := x.(string)
if ok {
fmt.Println(v)
} else {
fmt.Println("类型断言失败")
}
}
type switch
是Go语言中一种特殊的switch语句switch x.(type)
,它比较的是类型而不是具体的值。它判断某个接口变量的类型,然后根据具体类型再做相应处理。
其中,x必须是一个接口类型变量,且所有case语句后面跟的类型必须都实现了接口x。
switch x.(type) {
case Type1:
doSomeThingWithType1()
case Type2:
doSomeThingWithType2()
default:
doSomeDefaultThing()
}