接口

接口类型是Go中的一种很特别的类型。接口类型在Go中扮演着重要的角色。 首先,在Go中,接口值可以用来包裹非接口值;然后,通过值包裹,反射和多态得以实现。

本文剩余的部分将详细解释接口类型和接口值。一些接口相关的细节也将得到介绍。

什么是接口类型?

一个接口类型指定了一个方法原型的集合。 换句话说,一个接口类型定义了一个方法集。 事实上,我们可以把一个接口类型看作是一个方法集。 接口类型中指定的任何方法原型中的方法名称都不能为空标识符_

我们也常说一个接口类型规定了一个(用此接口类型指定的方法集表示的)行为规范。

一些接口类型的例子:

  1. // 一个非定义接口类型。
  2. interface {
  3. About() string
  4. }
  5. // ReadWriter是一个定义的接口类型。
  6. type ReadWriter interface {
  7. Read(buf []byte) (n int, err error)
  8. Write(buf []byte) (n int, err error)
  9. }
  10. // Runnable是一个非定义接口类型的别名。
  11. type Runnable = interface {
  12. Run()
  13. }

请注意ReadWriter接口类型中指定的方法原型都有一个error类型的返回值。 error类型为一个内置接口类型。 它的定义声明如下:

  1. type error interface {
  2. Error() string
  3. }

特别地,一个没有指定任何方法原型的接口类型称为一个空接口类型。 下面是两个空接口类型:

  1. // 一个非定义空接口类型。
  2. interface{}
  3. // 类型I是一个定义的空接口类型。
  4. type I interface{}

类型的方法集

每个类型都有一个方法集

为了解释方便,一个类型的方法集常常也可称为它的任何值的方法集。

如果两个非定义接口类型指定的方法集是等价的,则这两个接口类型为同一个类型。 但是请注意:不同代码包中的同名非导出方法名将总被认为是不同名的。

什么是实现(implementation)?

如果一个任意类型T的方法集为一个接口类型的方法集的超集,则我们说类型T实现了此接口类型。 T可以是一个非接口类型,也可以是一个接口类型。

实现关系在Go中是隐式的。两个类型之间的实现关系不需要在代码中显式地表示出来。Go中没有类似于implements的关键字。 Go编译器将自动在需要的时候检查两个类型之间的实现关系。

一个接口类型总是实现了它自己。两个指定了一个相同的方法集的接口类型相互实现了对方。

比如,在下面的例子中,类型*BookMyInt*MyInt都拥有一个原型为About() string的方法,所以它们都实现了接口类型interface {About() string}

  1. type Book struct {
  2. name string
  3. // 更多其它字段……
  4. }
  5. func (book *Book) About() string {
  6. return "Book: " + book.name
  7. }
  8. type MyInt int
  9. func (MyInt) About() string {
  10. return "我是一个自定义整数类型"
  11. }

注意:因为任何方法集都是一个空方法集的超集,所以任何类型都实现了任何空接口类型。 这是Go中的一个重要事实。

隐式实现关系的设计使得一个声明在另一个代码包(包括标准库包)中的类型可以被动地实现一个用户代码包中的接口类型。 比如,如果我们声明一个像下面这样的接口类型,则database/sql标准库包中声明的DBTx类型都实现了这个接口类型,因为它们都拥有此接口类型指定的三个方法。

  1. import "database/sql"
  2. ...
  3. type DatabaseStorer interface {
  4. Exec(query string, args ...interface{}) (sql.Result, error)
  5. Prepare(query string) (*sql.Stmt, error)
  6. Query(query string, args ...interface{}) (*sql.Rows, error)
  7. }

值包裹

每个接口值都可以看作是一个用来包裹一个非接口值的盒子。 欲将一个非接口值包裹在一个接口值中,此非接口值的类型必须实现了此接口值的类型。

在Go中,如果类型T实现了一个接口类型I,则类型T的值都可以隐式转换到类型I。 换句话说,类型T的值可以赋给类型I的可修改值。 当一个T值被转换到类型I(或者赋给一个I值)的时候,

  • 如果类型T是一个非接口类型,则此T值的一个复制将被包裹在结果(或者目标)I值中。 此操作的时间复杂度为*O*(n),其中nT值的尺寸。
  • 如果类型T也为一个接口类型,则此T值中当前包裹的(非接口)值将被复制一份到结果(或者目标)I值中。 官方标准编译器为此操作做了优化,使得此操作的时间复杂度为*O*(1),而不是*O*(n)

包裹在一个接口值中的非接口值的类型信息也和此非接口值一起被包裹在此接口值中(见下面详解)。

当一个非接口值被包裹在一个接口值中,此非接口值称为此接口值的动态值,此非接口值的类型称为此接口值的动态类型

接口值的动态值的直接部分是不可修改的,除非它的动态值被整体替换为另一个动态值。

接口类型的零值也用预声明的nil标识符来表示。 一个nil接口值中什么也没包裹。将一个接口值修改为nil将清空包裹在此接口值中的非接口值。

(注意,在Go中,很多其它非接口类型的零值也使用nil标识符来表示。 非接口类型的nil零值也可以被包裹在接口值中。 一个包裹了一个nil非接口值的接口值不是一个nil接口值,因为它并非什么都没包裹。)

因为任何类型都实现了空接口类型,所以任何非接口值都可以被包裹在任何一个空接口类型的接口值中。 (以后,一个空接口类型的接口值将被称为一个空接口值。注意空接口值和nil接口值是两个不同的概念。) 因为这个原因,空接口值可以被认为是很多其它语言中的any类型。

当一个类型不确定值(除了类型不确定的nil)被转换为一个空接口类型(或者赋给一个空接口值),此类型不确定值将首先转换为它的默认类型。 (或者说,此类型不确定值将被推断为一个它的默认类型的类型确定值。)

下面这个例子展示了一些目标值为接口类型的赋值。

  1. package main
  2. import "fmt"
  3. type Aboutable interface {
  4. About() string
  5. }
  6. // 类型*Book实现了接口类型Aboutable。
  7. type Book struct {
  8. name string
  9. }
  10. func (book *Book) About() string {
  11. return "Book: " + book.name
  12. }
  13. func main() {
  14. // 一个*Book值被包裹在了一个Aboutable值中。
  15. var a Aboutable = &Book{"Go语言101"}
  16. fmt.Println(a) // &{Go语言101}
  17. // i是一个空接口值。类型*Book实现了任何空接口类型。
  18. var i interface{} = &Book{"Rust 101"}
  19. fmt.Println(i) // &{Rust 101}
  20. // Aboutable实现了空接口类型interface{}。
  21. i = a
  22. fmt.Println(i) // &{Go语言101}
  23. }

请注意,在之前的文章中多次使用过的fmt.Println函数的原型为:

  1. func Println(a ...interface{}) (n int, err error)

这解释了为什么任何类型的实参都可以使用在fmt.Println函数调用中。

下面是另一个展示了一个空接口类型的值包裹着各种非接口值的例子:

  1. package main
  2. import "fmt"
  3. func main() {
  4. var i interface{}
  5. i = []int{1, 2, 3}
  6. fmt.Println(i) // [1 2 3]
  7. i = map[string]int{"Go": 2012}
  8. fmt.Println(i) // map[Go:2012]
  9. i = true
  10. fmt.Println(i) // true
  11. i = 1
  12. fmt.Println(i) // 1
  13. i = "abc"
  14. fmt.Println(i) // abc
  15. // 将接口值i中包裹的值清除掉。
  16. i = nil
  17. fmt.Println(i) //
  18. }

在编译时刻,Go编译器将构建一个全局表用来存储代码中要用到的各个类型的信息。 对于一个类型来说,这些信息包括:此类型的种类(kind)、此类型的所有方法和字段信息、此类型的尺寸,等等。 这个全局表将在程序启动的时候被加载到内存中。

在运行时刻,当一个非接口值被包裹到一个接口值,Go运行时(至少对于官方标准运行时来说)将分析和构建这两个值的类型的实现关系信息,并将此实现关系信息存入到此接口值内。 对每一对这样的类型,它们的实现关系信息将仅被最多构建一次。并且为了程序效率考虑,此实现关系信息将被缓存在内存中的一个全局映射中,以备后用。 所以此全局映射中的条目数永不减少。 事实上,一个非零接口值在内部只是使用一个指针字段来引用着此全局映射中的一个实现关系信息条目

对于一个非接口类型和接口类型对,它们的实现关系信息包括两部分的内容:

  1. 动态类型(即此非接口类型)的信息。
  2. 一个方法表(切片类型),其中存储了所有此接口类型指定的并且为此非接口类型(动态类型)声明的方法。

这两部分的内容对于实现Go中的两个特性起着至关重要的作用。

  1. 动态类型信息是实现反射的关键。
  2. 方法表是实现多态(见下一节)的关键。

多态(polymorphism)

多态是接口的一个关键功能和Go语言的一个重要特性。

当非接口类型T的一个值t被包裹在接口类型I的一个接口值i中,通过i调用接口类型I指定的一个方法时,事实上为非接口类型T声明的对应方法将通过非接口值t被调用。 换句话说,调用一个接口值的方法实际上将调用此接口值的动态值的对应方法。 比如,当方法i.m被调用时,其实被调用的是方法t.m。 一个接口值可以通过包裹不同动态类型的动态值来表现出各种不同的行为,这称为多态。

当方法i.m被调用时,i存储的实现关系信息的方法表中的方法t.m将被找到并被调用。 此方法表是一个切片,所以此寻找过程只不过是一个切片元素访问操作,不会消耗很多时间。

注意,在nil接口值上调用方法将产生一个恐慌,因为没有具体的方法可被调用。

一个例子:

  1. package main
  2. import "fmt"
  3. type Filter interface {
  4. About() string
  5. Process([]int) []int
  6. }
  7. // UniqueFilter用来删除重复的数字。
  8. type UniqueFilter struct{}
  9. func (UniqueFilter) About() string {
  10. return "删除重复的数字"
  11. }
  12. func (UniqueFilter) Process(inputs []int) []int {
  13. outs := make([]int, 0, len(inputs))
  14. pusheds := make(map[int]bool)
  15. for _, n := range inputs {
  16. if !pusheds[n] {
  17. pusheds[n] = true
  18. outs = append(outs, n)
  19. }
  20. }
  21. return outs
  22. }
  23. // MultipleFilter用来只保留某个整数的倍数数字。
  24. type MultipleFilter int
  25. func (mf MultipleFilter) About() string {
  26. return fmt.Sprintf("保留%v的倍数", mf)
  27. }
  28. func (mf MultipleFilter) Process(inputs []int) []int {
  29. var outs = make([]int, 0, len(inputs))
  30. for _, n := range inputs {
  31. if n % int(mf) == 0 {
  32. outs = append(outs, n)
  33. }
  34. }
  35. return outs
  36. }
  37. // 在多态特性的帮助下,只需要一个filteAndPrint函数。
  38. func filteAndPrint(fltr Filter, unfiltered []int) []int {
  39. // 在fltr参数上调用方法其实是调用fltr的动态值的方法。
  40. filtered := fltr.Process(unfiltered)
  41. fmt.Println(fltr.About() + ":\n\t", filtered)
  42. return filtered
  43. }
  44. func main() {
  45. numbers := []int{12, 7, 21, 12, 12, 26, 25, 21, 30}
  46. fmt.Println("过滤之前:\n\t", numbers)
  47. // 三个非接口值被包裹在一个Filter切片
  48. // 的三个接口元素中。
  49. filters := []Filter{
  50. UniqueFilter{},
  51. MultipleFilter(2),
  52. MultipleFilter(3),
  53. }
  54. // 每个切片元素将被赋值给类型为Filter的
  55. // 循环变量fltr。每个元素中的动态值也将
  56. // 被同时复制并被包裹在循环变量fltr中。
  57. for _, fltr := range filters {
  58. numbers = filteAndPrint(fltr, numbers)
  59. }
  60. }

输出结果:

  1. 过滤之前:
  2. [12 7 21 12 12 26 25 21 30]
  3. 删除重复的数字:
  4. [12 7 21 26 25 30]
  5. 保留2的倍数:
  6. [12 26 30]
  7. 保留3的倍数:
  8. [12 30]

在上面这个例子中,多态使得我们不必为每个过滤器类型写一个单独的filteAndPrint函数。

除了上述这个好处,多态也使得一个代码包的开发者可以在此代码包中声明一个接口类型并声明一个拥有此接口类型参数的函数(或者方法),从而此代码包的一个用户可以在用户包中声明一个实现了此接口类型的用户类型,并且将此用户类型的值做为实参传递给此代码包中声明的函数(或者方法)的调用。 此代码包的开发者并不用关心一个用户类型具体是如何声明的,只要此用户类型满足此代码包中声明的接口类型规定的行为即可。

事实上,多态对于一个语言来说并非一个不可或缺的特性。我们可以通过其它途径来实现多态的作用。 但是,多态可以使得我们的代码更加简洁和优雅。

反射(reflection)

一个接口值中存储的动态类型信息可以被用来检视此接口值的动态值和操纵此动态值所引用的值。 这称为反射。

到目前为止(Go 1.17),Go尚未支持自定义函数和类型的泛型。 反射部分地弥补了一些因为缺少泛型而导致的编程不便。

本篇文章将不介绍reflect标准包中提供的各种反射功能。 请阅读后面的Go中的反射一文来了解如何使用此包。 本文下面将只介绍Go中的内置反射机制。在Go中,内置反射机制包括类型断言(type assertion)和type-switch流程控制代码块。

类型断言

Go中有四种接口相关的类型转换情形:

  1. 将一个非接口值转换为一个接口类型。在这样的转换中,此非接口值的类型必须实现了此接口类型。
  2. 将一个接口值转换为另一个接口类型(前者接口值的类型实现了后者目标接口类型)。
  3. 将一个接口值转换为一个非接口类型(此非接口类型必须实现了此接口值的接口类型)。
  4. 将一个接口值转换为另一个接口类型(前者接口值的类型未实现后者目标接口类型,但是前者的动态类型有可能实现了目标接口类型)。

前两种情形已经在前面几节中介绍过了。这两种情形都要求源值的类型必须实现了目标接口类型。 它们都是通过普通类型转换(无论是隐式的还是显式的)来达成的。这两种情形的合法性是在编译时刻验证的。

本节将介绍后两种情形。这两种情形的合法性是在运行时刻通过类型断言来验证的。 事实上,类型断言也适用于上面列出的第二种情形。

一个类型断言表达式的语法为i.(T),其中i为一个接口值,T为一个类型名或者类型字面表示。 类型T可以为

  • 任意一个非接口类型。
  • 或者一个任意接口类型。

在一个类型断言表达式i.(T)中,i称为断言值,T称为断言类型。 一个断言可能成功或者失败。

  • 对于T是一个非接口类型的情况,如果断言值i的动态类型存在并且此动态类型和T为同一类型,则此断言将成功;否则,此断言失败。 当此断言成功时,此类型断言表达式的估值结果为断言值i的动态值的一个复制。 我们可以把此种情况看作是一次拆封动态值的尝试。
  • 对于T是一个接口类型的情况,当断言值i的动态类型存在并且此动态类型实现了接口类型T,则此断言将成功;否则,此断言失败。 当此断言成功时,此类型断言表达式的估值结果为一个包裹了断言值i的动态值的一个复制的T值。

一个失败的类型断言的估值结果为断言类型的零值。

按照上述规则,如果一个类型断言中的断言值是一个零值nil接口值,则此断言必定失败。

对于大多数场合,一个类型断言被用做一个单值表达式。 但是,当一个类型断言被用做一个赋值语句中的唯一源值时,此断言可以返回一个可选的第二个结果并被视作为一个多值表达式。 此可选的第二个结果为一个类型不确定的布尔值,用来表示此断言是否成功了。

注意:如果一个断言失败并且它的可选的第二个结果未呈现,则此断言将造成一个恐慌。

一个展示了如何使用类型断言的例子(断言类型为非接口类型):

  1. package main
  2. import "fmt"
  3. func main() {
  4. // 编译器将把123的类型推断为内置类型int。
  5. var x interface{} = 123
  6. // 情形一:
  7. n, ok := x.(int)
  8. fmt.Println(n, ok) // 123 true
  9. n = x.(int)
  10. fmt.Println(n) // 123
  11. // 情形二:
  12. a, ok := x.(float64)
  13. fmt.Println(a, ok) // 0 false
  14. // 情形三:
  15. a = x.(float64) // 将产生一个恐慌
  16. }

另一个展示了如何使用类型断言的例子(断言类型为接口类型):

  1. package main
  2. import "fmt"
  3. type Writer interface {
  4. Write(buf []byte) (int, error)
  5. }
  6. type DummyWriter struct{}
  7. func (DummyWriter) Write(buf []byte) (int, error) {
  8. return len(buf), nil
  9. }
  10. func main() {
  11. var x interface{} = DummyWriter{}
  12. // y的动态类型为内置类型string。
  13. var y interface{} = "abc"
  14. var w Writer
  15. var ok bool
  16. // DummyWriter既实现了Writer,也实现了interface{}。
  17. w, ok = x.(Writer)
  18. fmt.Println(w, ok) // {} true
  19. x, ok = w.(interface{})
  20. fmt.Println(x, ok) // {} true
  21. // y的动态类型为string。string类型并没有实现Writer。
  22. w, ok = y.(Writer)
  23. fmt.Println(w, ok) // false
  24. w = y.(Writer) // 将产生一个恐慌
  25. }

事实上,对于一个动态类型为T的接口值i,方法调用i.m(...)等价于i.(T).m(...)

type-switch流程控制代码块

type-switch流程控制的语法或许是Go中最古怪的语法。 它可以被看作是类型断言的增强版。它和switch-case流程控制代码块有些相似。 一个type-switch流程控制代码块的语法如下所示:

  1. switch aSimpleStatement; v := x.(type) {
  2. case TypeA:
  3. ...
  4. case TypeB, TypeC:
  5. ...
  6. case nil:
  7. ...
  8. default:
  9. ...
  10. }

其中aSimpleStatement;部分是可选的。 aSimpleStatement必须是一个简单语句x必须为一个估值结果为接口值的表达式,它称为此代码块中的断言值。 v称为此代码块中的断言结果,它必须出现在一个短变量声明形式中。

在一个type-switch代码块中,每个case关键字后可以跟随一个nil标识符和若干个类型名或类型字面表示形式。 在同一个type-switch代码块中,这些跟随在所有case关键字后的条目不可重复。

如果跟随在某个case关键字后的条目为一个非接口类型(用一个类型名或类型字面表示),则此非接口类型必须实现了断言值x的(接口)类型。

下面是一个使用了type-switch代码块的例子:

  1. package main
  2. import "fmt"
  3. func main() {
  4. values := []interface{}{
  5. 456, "abc", true, 0.33, int32(789),
  6. []int{1, 2, 3}, map[int]bool{}, nil,
  7. }
  8. for _, x := range values {
  9. // 这里,虽然变量v只被声明了一次,但是它在
  10. // 不同分支中可以表现为多个类型的变量值。
  11. switch v := x.(type) {
  12. case []int: // 一个类型字面表示
  13. // 在此分支中,v的类型为[]int。
  14. fmt.Println("int slice:", v)
  15. case string: // 一个类型名
  16. // 在此分支中,v的类型为string。
  17. fmt.Println("string:", v)
  18. case int, float64, int32: // 多个类型名
  19. // 在此分支中,v的类型为x的类型interface{}。
  20. fmt.Println("number:", v)
  21. case nil:
  22. // 在此分支中,v的类型为x的类型interface{}。
  23. fmt.Println(v)
  24. default:
  25. // 在此分支中,v的类型为x的类型interface{}。
  26. fmt.Println("others:", v)
  27. }
  28. // 注意:在最后的三个分支中,v均为接口值x的一个复制。
  29. }
  30. }

输出结果:

  1. number: 456
  2. string: abc
  3. others: true
  4. number: 0.33
  5. number: 789
  6. int slice: [1 2 3]
  7. others: map[]
  8. <nil>

上面这个例子程序在逻辑上等价于下面这个:

  1. package main
  2. import "fmt"
  3. func main() {
  4. values := []interface{}{
  5. 456, "abc", true, 0.33, int32(789),
  6. []int{1, 2, 3}, map[int]bool{}, nil,
  7. }
  8. for _, x := range values {
  9. if v, ok := x.([]int); ok {
  10. fmt.Println("int slice:", v)
  11. } else if v, ok := x.(string); ok {
  12. fmt.Println("string:", v)
  13. } else if x == nil {
  14. v := x
  15. fmt.Println(v)
  16. } else {
  17. _, isInt := x.(int)
  18. _, isFloat64 := x.(float64)
  19. _, isInt32 := x.(int32)
  20. if isInt || isFloat64 || isInt32 {
  21. v := x
  22. fmt.Println("number:", v)
  23. } else {
  24. v := x
  25. fmt.Println("others:", v)
  26. }
  27. }
  28. }
  29. }

如果我们不关心一个type-switch代码块中的断言结果,则此type-switch代码块可简写为switch x.(type) {...}

type-switch代码块和switch-case代码块有很多共同点:

  • 在一个type-switch代码块中,最多只能有一个default分支存在。
  • 在一个type-switch代码块中,如果default分支存在,它可以为最后一个分支、第一个分支或者中间的某个分支。
  • 一个type-switch代码块可以不包含任何分支,它可以被视为一个空操作。

但是,和switch-case代码块不一样,fallthrough语句不能使用在type-switch代码块中。

更多接口相关的内容

接口类型内嵌

一个接口类型可以内嵌另一个接口类型的名称。 此内嵌的效果相当于将此被内嵌的接口类型所指定的所有方法原型展开到内嵌它的接口类型的定义体内。 比如,在下面的例子中,接口类型IcIdIe的所指定的方法集完全一样。

  1. type Ia interface {
  2. fa()
  3. }
  4. type Ib = interface {
  5. fb()
  6. }
  7. type Ic interface {
  8. fa()
  9. fb()
  10. }
  11. type Id = interface {
  12. Ia // 内嵌Ia
  13. Ib // 内嵌Ib
  14. }
  15. type Ie interface {
  16. Ia // 内嵌Ia
  17. fb()
  18. }

在Go 1.14版本之前,如果两个接口类型都指定了一个同名方法,则这两个接口类型不可被同时被内嵌在同一个接口类型中,即使它们指定的同名方法的原型也一致。 比如,下面的代码中的几个接口类型声明在Go 1.14版本之前都是均是非法的。

  1. type Ix interface {
  2. Ia
  3. Ic
  4. }
  5. type Iy = interface {
  6. Ib
  7. Ic
  8. }
  9. type Iz interface {
  10. Ic
  11. fa()
  12. }

Go 1.14版本开始,上面这段代码中的几个接口类型声明均被认为是合法的,它们指定的方法集其实和Ic是一样的。

一个接口类型不能内嵌(无论是直接还是间接)它自己。

接口值相关的比较

接口值相关的比较有两种情形:

  1. 比较一个非接口值和接口值;
  2. 比较两个接口值。

对于第一种情形,非接口值的类型必须实现了接口值的类型(假设此接口类型为I),所以此非接口值可以被隐式转化为(包裹到)一个I值中。 这意味着非接口值和接口值的比较可以转化为两个接口值的比较。所以下面我们只探讨两个接口值比较的情形。

比较两个接口值其实是比较这两个接口值的动态类型和和动态值。

下面是(使用==比较运算符)比较两个接口值的步骤:

  1. 如果其中一个接口值是一个nil接口值,则比较结果为另一个接口值是否也为一个nil接口值。
  2. 如果这两个接口值的动态类型不一样,则比较结果为false
  3. 对于这两个接口值的动态类型一样的情形,
    • 如果它们的动态类型为一个不可比较类型,则将产生一个恐慌。
    • 否则,比较结果为它们的动态值的比较结果。

简而言之,两个接口值的比较结果只有在下面两种任一情况下才为true

  1. 这两个接口值都为nil接口值。
  2. 这两个接口值的动态类型相同、动态类型为可比较类型、并且动态值相等。

根据此规则,两个包裹了不同非接口类型的nil零值的接口值是不相等的。 一个例子:

  1. package main
  2. import "fmt"
  3. func main() {
  4. var a, b, c interface{} = "abc", 123, "a"+"b"+"c"
  5. fmt.Println(a == b) // 第二步的情形。输出"false"。
  6. fmt.Println(a == c) // 第三步的情形。输出"true"。
  7. var x *int = nil
  8. var y *bool = nil
  9. var ix, iy interface{} = x, y
  10. var i interface{} = nil
  11. fmt.Println(ix == iy) // 第二步的情形。输出"false"。
  12. fmt.Println(ix == i) // 第一步的情形。输出"false"。
  13. fmt.Println(iy == i) // 第一步的情形。输出"false"。
  14. var s []int = nil // []int为一个不可比较类型。
  15. i = s
  16. fmt.Println(i == nil) // 第一步的情形。输出"false"。
  17. fmt.Println(i == i) // 第三步的情形。将产生一个恐慌。
  18. }

接口值的内部结构

对于标准编译器/运行时,空接口值和非空接口值是使用两种内部结构来表示的。 详情请阅读值部一文。

指针动态值和非指针动态值

标准编译器/运行时对接口值的动态值为指针类型的情况做了特别的优化。 此优化使得接口值包裹指针动态值比包裹非指针动态值的效率更高。 对于小尺寸值,此优化的作用不大; 但是对于大尺寸值,包裹它的指针比包裹此值本身的效率高得多。 对于类型断言,此结论亦成立。

所以尽量避免在接口值中包裹大尺寸值。对于大尺寸值,应该尽量包裹它的指针。

一个[]T类型的值不能直接被转换为类型[]I,即使类型T实现了接口类型I

比如,我们不能直接将一个[]string值转换为类型[]interface{}。 我们必须使用一个循环来实现此转换:

  1. package main
  2. import "fmt"
  3. func main() {
  4. words := []string{
  5. "Go", "is", "a", "high",
  6. "efficient", "language.",
  7. }
  8. // fmt.Println函数的原型为:
  9. // func Println(a ...interface{}) (n int, err error)
  10. // 所以words...不能传递给此函数的调用。
  11. // fmt.Println(words...) // 编译不通过
  12. // 将[]string值转换为类型[]interface{}。
  13. iw := make([]interface{}, 0, len(words))
  14. for _, w := range words {
  15. iw = append(iw, w)
  16. }
  17. fmt.Println(iw...) // 编译没问题
  18. }

一个接口类型每个指定的每一个方法都对应着一个隐式声明的函数

如果接口类型I指定了一个名为m的方法原型,则编译器将隐式声明一个与之对应的函数名为I.m的函数。 此函数比m的方法原型中的参数多一个。此多出来的参数为函数I.m的第一个参数,它的类型为I。 对于一个类型为I的值i,方法调用i.m(...)和函数调用I.m(i, ...)是等价的。

一个例子:

  1. package main
  2. import "fmt"
  3. type I interface {
  4. m(int)bool
  5. }
  6. type T string
  7. func (t T) m(n int) bool {
  8. return len(t) > n
  9. }
  10. func main() {
  11. var i I = T("gopher")
  12. fmt.Println(i.m(5)) // true
  13. fmt.Println(I.m(i, 5)) // true
  14. fmt.Println(interface {m(int) bool}.m(i, 5)) // true
  15. // 下面这几行被执行的时候都将会产生一个恐慌。
  16. I(nil).m(5)
  17. I.m(nil, 5)
  18. interface {m(int) bool}.m(nil, 5)
  19. }