Go 入门指南 Go 入门指南
文档 GitHub
译者 GitHub
文档 GitHub
译者 GitHub
  • 前言
  • 学习 Go 语言

    • 第1章:Go 语言的起源,发展与普及

      • 1.1 起源与发展
      • 1.2 语言的主要特性与发展的环境和影响因素
    • 第2章:安装与运行环境

      • 2.1 平台与架构
      • 2.2 Go 环境变量
      • 2.3 在 Linux 上安装 Go
      • 2.4 在 Mac OS X 上安装 Go
      • 2.5 在 Windows 上安装 Go
      • 2.6 安装目录清单
      • 2.7 Go 运行时 (runtime)
      • 2.8 Go 解释器
    • 第3章:编辑器、集成开发环境与其它工具

      • 3.1 Go 开发环境的基本要求
      • 3.2 编辑器和集成开发环境
      • 3.3 调试器
      • 3.4 构建并运行 Go 程序
      • 3.5 格式化代码
      • 3.6 生成代码文档
      • 3.7 其它工具
      • 3.8 Go 性能说明
      • 3.9 与其它语言进行交互
  • 语言的核心结构与技术

    • 第4章:基本结构和基本数据类型

      • 4.1 文件名、关键字与标识符
      • 4.2 Go 程序的基本结构和要素
      • 4.3 常量
      • 4.4 变量
      • 4.5 基本类型和运算符
      • 4.6 字符串
      • 4.7 strings 和 strconv 包
      • 4.8 时间和日期
      • 4.9 指针
    • 第5章:控制结构
      • 5.1 if-else 结构
      • 5.2 测试多返回值函数的错误
      • 5.3 switch 结构
      • 5.4 for 结构
      • 5.5 break 与 continue
      • 5.6 标签与 goto
    • 第6章:函数(function)
      • 6.1 介绍
      • 6.2 函数参数与返回值
      • 6.3 传递变长参数
      • 6.4 defer 和追踪
      • 6.5 内置函数
      • 6.6 递归函数
      • 6.7 将函数作为参数
      • 6.8 闭包
      • 6.9 应用闭包:将函数作为返回值
      • 6.10 使用闭包调试
      • 6.11 计算函数执行时间
      • 6.12 通过内存缓存来提升性能
    • 第7章:数组与切片
      • 7.1 声明和初始化
      • 7.2 切片
      • 7.3 For-range 结构
      • 7.4 切片重组 (reslice)
      • 7.5 切片的复制与追加
      • 7.6 字符串、数组和切片的应用
    • 第8章:Map
      • 8.1 声明、初始化和 make
      • 8.2 测试键值对是否存在及删除元素
      • 8.3 for-range 的配套用法
      • 8.4 map 类型的切片
      • 8.5 map 的排序
      • 8.6 将 map 的键值对调
    • 第9章:包(package)
      • 9.1 标准库概述
      • 9.2 regexp 包
      • 9.3 锁和 sync 包
      • 9.4 精密计算和 big 包
      • 9.5 自定义包和可见性
      • 9.6 为自定义包使用 godoc
      • 9.7 使用 go install 安装自定义包
      • 9.8 自定义包的目录结构、go install 和 go test
      • 9.9 通过 Git 打包和安装
      • 9.10 Go 的外部包和项目
      • 9.11 在 Go 程序中使用外部库
    • 第10章:结构(struct)与方法(method)

      • 10.1 结构体定义
      • 10.2 使用工厂方法创建结构体实例
      • 10.3 使用自定义包中的结构体
      • 10.4 带标签的结构体
      • 10.5 匿名字段和内嵌结构体
      • 10.6 方法
      • 10.7 类型的 String() 方法和格式化描述符
      • 10.8 垃圾回收和 SetFinalizer
    • 第11章:接口(interface)与反射(reflection)

      • 11.1 接口是什么
      • 11.2 接口嵌套接口
      • 11.3 类型断言:如何检测和转换接口变量的类型
      • 11.4 类型判断:type-switch
      • 11.5 测试一个值是否实现了某个接口
      • 11.6 使用方法集与接口
      • 11.7 第一个例子:使用 Sorter 接口排序
      • 11.8 第二个例子:读和写
      • 11.9 空接口
      • 11.10 反射包
      • 11.11 Printf() 和反射
      • 11.12 接口与动态类型
      • 11.13 总结:Go 中的面向对象
      • 11.14 结构体、集合和高阶函数
  • Go 高级编程

    • 第12章:读写数据

      • 12.1 读取用户的输入
      • 12.2 文件读写
      • 12.3 文件拷贝
      • 12.4 从命令行读取参数
      • 12.5 用 buffer 读取文件
      • 12.6 用切片读写文件
      • 12.7 用 defer 关闭文件
      • 12.8 使用接口的实际例子:fmt.Fprintf
      • 12.9 JSON 数据格式
      • 12.10 XML 数据格式
      • 12.11 用 Gob 传输数据
      • 12.12 Go 中的密码学
    • 第13章:错误处理与测试

      • 13.1 错误处理
      • 13.2 运行时异常和 panic
      • 13.3 从 panic 中恢复 (recover)
      • 13.4 自定义包中的错误处理和 panicking
      • 13.5 一种用闭包处理错误的模式
      • 13.6 启动外部命令和程序
      • 13.7 Go 中的单元测试和基准测试
      • 13.8 测试的具体例子
      • 13.9 用(测试数据)表驱动测试
      • 13.10 性能调试:分析并优化 Go 程序
    • 第14章:协程 (goroutine) 与通道 (channel)

      • 14.1 并发、并行和协程
      • 14.2 协程间的信道
      • 14.3 协程的同步:关闭通道-测试阻塞的通道
      • 14.4 使用 select 切换协程
      • 14.5 通道、超时和计时器(Ticker)
      • 14.6 协程和恢复 (recover)
      • 14.7 新旧模型对比:任务和 worker
      • 14.8 惰性生成器的实现
      • 14.9 实现 Futures 模式
      • 14.10 复用
      • 14.11 限制同时处理的请求数
      • 14.12 链式协程
      • 14.13 在多核心上并行计算
      • 14.14 并行化大量数据的计算
      • 14.15 漏桶算法
      • 14.16 对 Go 协程进行基准测试
      • 14.17 使用通道并发访问对象
    • 第 15 章:网络、模板与网页应用

      • 15.1 tcp 服务器
      • 15.2 一个简单的 web 服务器
      • 15.3 访问并读取页面数据
      • 15.4 写一个简单的网页应用
      • 15.5 确保网页应用健壮
      • 15.6 用模板编写网页应用
      • 15.7 探索 template 包
      • 15.8 精巧的多功能网页服务器
      • 15.9 用 rpc 实现远程过程调用
      • 15.10 基于网络的通道 netchan
      • 15.11 与 websocket 通信
      • 15.12 用 smtp 发送邮件
  • 实际应用

    • 第16章:常见的陷阱与错误

      • 16.1 误用短声明导致变量覆盖
      • 16.2 误用字符串
      • 16.3 发生错误时使用 defer 关闭一个文件
      • 16.4 何时使用 new() 和 make()
      • 16.5 不需要将一个指向切片的指针传递给函数
      • 16.6 使用指针指向接口类型
      • 16.7 使用值类型时误用指针
      • 16.8 误用协程和通道
      • 16.9 闭包和协程的使用
      • 16.10 糟糕的错误处理
    • 第17章:模式

      • 17.1 逗号 ok 模式
      • 17.2 defer 模式
      • 17.3 可见性模式
      • 17.4 运算符模式和接口
    • 第18章:出于性能考虑的实用代码片段

      • 18.1 字符串
      • 18.2 数组和切片
      • 18.3 映射
      • 18.4 结构体
      • 18.5 接口
      • 18.6 函数
      • 18.7 文件
      • 18.8 协程 (goroutine) 与通道 (channel)
      • 18.9 网络和网页应用
      • 18.10 其他
      • 18.11 出于性能考虑的最佳实践和建议
    • 第19章:构建一个完整的应用程序

      • 19.1 简介
      • 19.2 短网址项目简介
      • 版本 1 - 数据结构和前端界面
      • 19.4 用户界面:web 服务端
      • 版本 2 - 添加持久化存储
      • 版本 3 - 添加协程
      • 版本 4 - 用 JSON 持久化存储
      • 版本 5 - 分布式程序
      • 19.9 使用代理缓存
      • 19.10 总结和增强
    • 第20章:Go 语言在 Google App Engine 的使用

      • 20.1 什么是 Google App Engine?
      • 20.2 云上的 Go
      • 20.3 安装 Go App Engine SDK:为 Go 部署的开发环境
      • 20.4 建造你自己的 Hello world 应用
      • 20.5 使用用户服务和探索其 API
      • 20.6 处理窗口
      • 20.7 使用数据存储
      • 20.8 上传到云端
    • 第21章:实世界中 Go 的使用

      • 21.1 Heroku:一个使用 Go 的高度可用一致数据存储
      • 21.2 MROffice:一个使用 Go 的呼叫中心网络电话 (VOIP) 系统
      • 21.3 Atlassian:一个虚拟机群管理系统
      • 21.4 Camilistore:一个可寻址内容存储系统
      • 21.5 Go 语言的其他应用

11.1 接口是什么

Go 语言不是一种 “传统” 的面向对象编程语言:它里面没有类和继承的概念。

但是 Go 语言里有非常灵活的 接口 概念,通过它可以实现很多面向对象的特性。接口提供了一种方式来 说明 对象的行为:如果谁能搞定这件事,它就可以用在这儿。

接口定义了一组方法(方法集),但是这些方法不包含(实现)代码:它们没有被实现(它们是抽象的)。接口里也不能包含变量。

通过如下格式定义接口:

type Namer interface {
    Method1(param_list) return_type
    Method2(param_list) return_type
    ...
}

上面的 Namer 是一个 接口类型。

(按照约定,只包含一个方法的)接口的名字由方法名加 er 后缀组成,例如 Printer、Reader、Writer、Logger、Converter 等等。还有一些不常用的方式(当后缀 er 不合适时),比如 Recoverable,此时接口名以 able 结尾,或者以 I 开头(像 .NET 或 Java 中那样)。

Go 语言中的接口都很简短,通常它们会包含 0 个、最多 3 个方法。

不像大多数面向对象编程语言,在 Go 语言中接口可以有值,一个接口类型的变量或一个 接口值 :var ai Namer,ai 是一个多字(multiword)数据结构,它的值是 nil。它本质上是一个指针,虽然不完全是一回事。指向接口值的指针是非法的,它们不仅一点用也没有,还会导致代码错误。

此处的方法指针表是通过运行时反射能力构建的。

类型(比如结构体)可以实现某个接口的方法集;这个实现可以描述为,该类型的变量上的每一个具体方法所组成的集合,包含了该接口的方法集。实现了 Namer 接口的类型的变量可以赋值给 ai(即 receiver 的值),方法表指针(method table ptr)就指向了当前的方法实现。当另一个实现了 Namer 接口的类型的变量被赋给 ai,receiver 的值和方法表指针也会相应改变。

类型不需要显式声明它实现了某个接口:接口被隐式地实现。多个类型可以实现同一个接口。

实现某个接口的类型(除了实现接口方法外)可以有其他的方法。

一个类型可以实现多个接口。

接口类型可以包含一个实例的引用, 该实例的类型实现了此接口(接口是动态类型)。

即使接口在类型之后才定义,二者处于不同的包中,被单独编译:只要类型实现了接口中的方法,它就实现了此接口。

所有这些特性使得接口具有很大的灵活性。

第一个例子:

示例 11.1 interfaces.go:

package main

import "fmt"

type Shaper interface {
	Area() float32
}

type Square struct {
	side float32
}

func (sq *Square) Area() float32 {
	return sq.side * sq.side
}

func main() {
	sq1 := new(Square)
	sq1.side = 5

	var areaIntf Shaper
	areaIntf = sq1
	// shorter,without separate declaration:
	// areaIntf := Shaper(sq1)
	// or even:
	// areaIntf := sq1
	fmt.Printf("The square has area: %f\n", areaIntf.Area())
}

输出:

The square has area: 25.000000

上面的程序定义了一个结构体 Square 和一个接口 Shaper,接口有一个方法 Area()。

在 main() 方法中创建了一个 Square 的实例。在主程序外边定义了一个接收者类型是 Square 方法的 Area(),用来计算正方形的面积:结构体 Square 实现了接口 Shaper 。

所以可以将一个 Square 类型的变量赋值给一个接口类型的变量:areaIntf = sq1 。

现在接口变量包含一个指向 Square 变量的引用,通过它可以调用 Square 上的方法 Area()。当然也可以直接在 Square 的实例上调用此方法,但是在接口实例上调用此方法更令人兴奋,它使此方法更具有一般性。接口变量里包含了接收者实例的值和指向对应方法表的指针。

这是 多态 的 Go 版本,多态是面向对象编程中一个广为人知的概念:根据当前的类型选择正确的方法,或者说:同一种类型在不同的实例上似乎表现出不同的行为。

如果 Square 没有实现 Area() 方法,编译器将会给出清晰的错误信息:

cannot use sq1 (type *Square) as type Shaper in assignment:
*Square does not implement Shaper (missing Area method)

如果 Shaper 有另外一个方法 Perimeter(),但是 Square 没有实现它,即使没有人在 Square 实例上调用这个方法,编译器也会给出上面同样的错误。

扩展一下上面的例子,类型 Rectangle 也实现了 Shaper 接口。接着创建一个 Shaper 类型的数组,迭代它的每一个元素并在上面调用 Area() 方法,以此来展示多态行为:

示例 11.2 interfaces_poly.go:

package main

import "fmt"

type Shaper interface {
	Area() float32
}

type Square struct {
	side float32
}

func (sq *Square) Area() float32 {
	return sq.side * sq.side
}

type Rectangle struct {
	length, width float32
}

func (r Rectangle) Area() float32 {
	return r.length * r.width
}

func main() {

	r := Rectangle{5, 3} // Area() of Rectangle needs a value
	q := &Square{5}      // Area() of Square needs a pointer
	// shapes := []Shaper{Shaper(r), Shaper(q)}
	// or shorter
	shapes := []Shaper{r, q}
	fmt.Println("Looping through shapes for area ...")
	for n, _ := range shapes {
		fmt.Println("Shape details: ", shapes[n])
		fmt.Println("Area of this shape is: ", shapes[n].Area())
	}
}

输出:

Looping through shapes for area ...
Shape details:  {5 3}
Area of this shape is:  15
Shape details:  &{5}
Area of this shape is:  25

在调用 shapes[n].Area() 这个时,只知道 shapes[n] 是一个 Shaper 对象,最后它摇身一变成为了一个 Square 或 Rectangle 对象,并且表现出了相对应的行为。

也许从现在开始你将看到通过接口如何产生 更干净、更简单 及 更具有扩展性 的代码。在 11.12.3 中将看到在开发中为类型添加新的接口是多么的容易。

下面是一个更具体的例子:有两个类型 stockPosition 和 car,它们都有一个 getValue() 方法,我们可以定义一个具有此方法的接口 valuable。接着定义一个使用 valuable 类型作为参数的函数 showValue(),所有实现了 valuable 接口的类型都可以用这个函数。

示例 11.3 valuable.go:

package main

import "fmt"

type stockPosition struct {
	ticker     string
	sharePrice float32
	count      float32
}

/* method to determine the value of a stock position */
func (s stockPosition) getValue() float32 {
	return s.sharePrice * s.count
}

type car struct {
	make  string
	model string
	price float32
}

/* method to determine the value of a car */
func (c car) getValue() float32 {
	return c.price
}

/* contract that defines different things that have value */
type valuable interface {
	getValue() float32
}

func showValue(asset valuable) {
	fmt.Printf("Value of the asset is %f\n", asset.getValue())
}

func main() {
	var o valuable = stockPosition{"GOOG", 577.20, 4}
	showValue(o)
	o = car{"BMW", "M3", 66500}
	showValue(o)
}

输出:

Value of the asset is 2308.800049
Value of the asset is 66500.000000

一个标准库的例子

io 包里有一个接口类型 Reader:

type Reader interface {
    Read(p []byte) (n int, err error)
}

定义变量 r: var r io.Reader

那么就可以写如下的代码:

	var r io.Reader
	r = os.Stdin    // see 12.1
	r = bufio.NewReader(r)
	r = new(bytes.Buffer)
	f,_ := os.Open("test.txt")
	r = bufio.NewReader(f)

上面 r 右边的类型都实现了 Read() 方法,并且有相同的方法签名,r 的静态类型是 io.Reader。

备注

有的时候,也会以一种稍微不同的方式来使用接口这个词:从某个类型的角度来看,它的接口指的是:它的所有导出方法,只不过没有显式地为这些导出方法额外定一个接口而已。

练习 11.1 simple_interface.go:

定义一个接口 Simpler,它有一个 Get() 方法和一个 Set(),Get() 返回一个整型值,Set() 有一个整型参数。创建一个结构体类型 Simple 实现这个接口。

接着定一个函数,它有一个 Simpler 类型的参数,调用参数的 Get() 和 Set() 方法。在 main 函数里调用这个函数,看看它是否可以正确运行。

练习 11.2 interfaces_poly2.go:

a) 扩展 interfaces_poly.go 中的例子,添加一个 Circle 类型

b) 使用一个抽象类型 Shape(没有字段) 实现同样的功能,它实现接口 Shaper,然后在其他类型里内嵌此类型。扩展 10.6.5 中的例子来说明覆写。

Last Updated:
Contributors: Mr.Fang
Next
11.2 接口嵌套接口