11.9.1 概念

空接口或者最小接口 不包含任何方法,它对实现不做任何要求:

  1. type Any interface {}

任何其他类型都实现了空接口(它不仅仅像 Java/C#Object 引用类型),anyAny 是空接口一个很好的别名或缩写。

空接口类似 Java/C# 中所有类的基类: Object 类,二者的目标也很相近。

可以给一个空接口类型的变量 var val interface {} 赋任何类型的值。

示例 11.8 empty_interface.go

  1. package main
  2. import "fmt"
  3. var i = 5
  4. var str = "ABC"
  5. type Person struct {
  6. name string
  7. age int
  8. }
  9. type Any interface{}
  10. func main() {
  11. var val Any
  12. val = 5
  13. fmt.Printf("val has the value: %v\n", val)
  14. val = str
  15. fmt.Printf("val has the value: %v\n", val)
  16. pers1 := new(Person)
  17. pers1.name = "Rob Pike"
  18. pers1.age = 55
  19. val = pers1
  20. fmt.Printf("val has the value: %v\n", val)
  21. switch t := val.(type) {
  22. case int:
  23. fmt.Printf("Type int %T\n", t)
  24. case string:
  25. fmt.Printf("Type string %T\n", t)
  26. case bool:
  27. fmt.Printf("Type boolean %T\n", t)
  28. case *Person:
  29. fmt.Printf("Type pointer to Person %T\n", t)
  30. default:
  31. fmt.Printf("Unexpected type %T", t)
  32. }
  33. }

输出:

  1. val has the value: 5
  2. val has the value: ABC
  3. val has the value: &{Rob Pike 55}
  4. Type pointer to Person *main.Person

在上面的例子中,接口变量 val 被依次赋予一个 intstringPerson 实例的值,然后使用 type-switch 来测试它的实际类型。每个 interface {} 变量在内存中占据两个字长:一个用来存储它包含的类型,另一个用来存储它包含的数据或者指向数据的指针。

示例 emptyint_switch.go 说明了空接口在 type-switch 中联合匿名函数 (lambda 函数) 的用法:

  1. package main
  2. import "fmt"
  3. type specialString string
  4. var whatIsThis specialString = "hello"
  5. func TypeSwitch() {
  6. testFunc := func(any interface{}) {
  7. switch v := any.(type) {
  8. case bool:
  9. fmt.Printf("any %v is a bool type", v)
  10. case int:
  11. fmt.Printf("any %v is an int type", v)
  12. case float32:
  13. fmt.Printf("any %v is a float32 type", v)
  14. case string:
  15. fmt.Printf("any %v is a string type", v)
  16. case specialString:
  17. fmt.Printf("any %v is a special String!", v)
  18. default:
  19. fmt.Println("unknown type!")
  20. }
  21. }
  22. testFunc(whatIsThis)
  23. }
  24. func main() {
  25. TypeSwitch()
  26. }

输出:

  1. any hello is a special String!

练习 11.9 simple_interface3.go:

继续 练习 11.2,在它中添加一个 gI 函数,它不再接受 Simpler 类型的参数,而是接受一个空接口参数。然后通过类型断言判断参数是否是 Simpler 类型。最后在 main 使用 gI 取代 fI 函数并调用它。确保你的代码足够安全。

11.9.2 构建通用类型或包含不同类型变量的数组

在 7.6.6 中我们看到了能被搜索和排序的 int 数组、float 数组以及 string 数组,那么对于其他类型的数组呢,是不是我们必须得自己编程实现它们?

现在我们知道该怎么做了,就是通过使用空接口。让我们给空接口定一个别名类型 Elementtype Element interface{}

然后定义一个容器类型的结构体 Vector,它包含一个 Element 类型元素的切片:

  1. type Vector struct {
  2. a []Element
  3. }

Vector 里能放任何类型的变量,因为任何类型都实现了空接口,实际上 Vector 里放的每个元素可以是不同类型的变量。我们为它定义一个 At() 方法用于返回第 i 个元素:

  1. func (p *Vector) At(i int) Element {
  2. return p.a[i]
  3. }

再定一个 Set() 方法用于设置第 i 个元素的值:

  1. func (p *Vector) Set(i int, e Element) {
  2. p.a[i] = e
  3. }

Vector 中存储的所有元素都是 Element 类型,要得到它们的原始类型(unboxing:拆箱)需要用到类型断言。TODO:The compiler rejects assertions guaranteed to fail,类型断言总是在运行时才执行,因此它会产生运行时错误。

练习 11.10 min_interface.go / minmain.go:

仿照 11.7 中开发的 Sorter 接口,创建一个 Miner 接口并实现一些必要的操作。函数 Min 接受一个 Miner 类型变量的集合,然后计算并返回集合中最小的元素。

11.9.3 复制数据切片至空接口切片

假设你有一个 myType 类型的数据切片,你想将切片中的数据复制到一个空接口切片中,类似:

  1. var dataSlice []myType = FuncReturnSlice()
  2. var interfaceSlice []interface{} = dataSlice

可惜不能这么做,编译时会出错:cannot use dataSlice (type []myType) as type []interface { } in assignment

原因是它们俩在内存中的布局是不一样的(参考 官方说明)。

必须使用 for-range 语句来一个一个显式地复制:

  1. var dataSlice []myType = FuncReturnSlice()
  2. var interfaceSlice []interface{} = make([]interface{}, len(dataSlice))
  3. for i, d := range dataSlice {
  4. interfaceSlice[i] = d
  5. }

11.9.4 通用类型的节点数据结构

在 10.1 中我们遇到了诸如列表和树这样的数据结构,在它们的定义中使用了一种叫节点的递归结构体类型,节点包含一个某种类型的数据字段。现在可以使用空接口作为数据字段的类型,这样我们就能写出通用的代码。下面是实现一个二叉树的部分代码:通用定义、用于创建空节点的 NewNode 方法,及设置数据的 SetData 方法.

示例 11.10 node_structures.go

  1. package main
  2. import "fmt"
  3. type Node struct {
  4. le *Node
  5. data interface{}
  6. ri *Node
  7. }
  8. func NewNode(left, right *Node) *Node {
  9. return &Node{left, nil, right}
  10. }
  11. func (n *Node) SetData(data interface{}) {
  12. n.data = data
  13. }
  14. func main() {
  15. root := NewNode(nil, nil)
  16. root.SetData("root node")
  17. // make child (leaf) nodes:
  18. a := NewNode(nil, nil)
  19. a.SetData("left node")
  20. b := NewNode(nil, nil)
  21. b.SetData("right node")
  22. root.le = a
  23. root.ri = b
  24. fmt.Printf("%v\n", root) // Output: &{0x125275f0 root node 0x125275e0}
  25. }

11.9.5 接口到接口

一个接口的值可以赋值给另一个接口变量,只要底层类型实现了必要的方法。这个转换是在运行时进行检查的,转换失败会导致一个运行时错误:这是 ‘Go’ 语言动态的一面,可以拿它和 RubyPython 这些动态语言相比较。

假定:

var ai AbsInterface // declares method Abs()
type SqrInterface interface {
    Sqr() float
}
var si SqrInterface
pp := new(Point) // say *Point implements Abs, Sqr
var empty interface{}

那么下面的语句和类型断言是合法的:

empty = pp                // everything satisfies empty
ai = empty.(AbsInterface) // underlying value pp implements Abs()
// (runtime failure otherwise)
si = ai.(SqrInterface) // *Point has Sqr() even though AbsInterface doesn’t
empty = si             // *Point implements empty set
// Note: statically checkable so type assertion not necessary.

下面是函数调用的一个例子:

type myPrintInterface interface {
    print()
}

func f3(x myInterface) {
    x.(myPrintInterface).print() // type assertion to myPrintInterface
}

x 转换为 myPrintInterface 类型是完全动态的:只要 x 的底层类型(动态类型)定义了 print 方法这个调用就可以正常运行。