「这是我参与11月更文挑战的第28天,活动详情查看:2021最后一次更文挑战」
1 你将在本章学到什么?
- 什么是类型接口?
- 如何定义接口。
- “实现一个接口”是什么意思?
- 接口的优点
2 涵盖的技术概念
- 接口 interface
- 具体实现 concrete implementation
- 实现一个接口
- 接口的方法集
3 介绍
刚开始编程时,接口似乎很难理解。通常,新手程序员并不能完全理解接口的潜力。本节旨在解释什么是接口,它的有趣之处在哪里,以及如何创建接口。
4 接口的基本定义
- 接口是定义一组行为的契约
- 接口是一个纯粹的设计对象,它们只是定义了一组行为(即方法),而没有给出这些行为的任何实现。
- 接口是一种类型,它定义了一组方法而不实现它们
“实现” = “编写方法的代码”,这是一个示例接口类型(来自标准包 io
):
1 | go复制代码type Reader interface { |
这里我们有一个名为 Reader
的接口类型,它指定了一种名为 Read
的方法。该方法没有具体实现,唯一指定的是方法名称及其签名(参数类型和结果类型)。
4.0.0.1 接口类型的零值
接口类型的零值为 nil,例子:
1 | go复制代码var r io.Reader |
5 基本示例
1 | go复制代码type Human struct { |
- 首先,我们声明一个名为
Human
的类型 - 我们声明了一个名为
DomesticAnimal
的新类型接口 - 这种类型的接口有一个由两个方法组成的方法集:
ReceiveAffection
和GiveAffect
。
DomesticAnimal
是一个契约。
- 它告诉开发者,要成为
DomesticAnimal
,我们至少需要有两种行为:ReceiveAffection
和GiveAffection
让我们创建两个类型:
1 | go复制代码type Cat struct { |
我们有两种新类型。为了让他们遵守我们的接口 DomesticAnimal
的契约,
我们必须为每种类型定义接口指定的方法。
我们从 Cat
类型开始:
1 | go复制代码func (c Cat) ReceiveAffection(from Human) { |
现在 Cat
类型实现了 DomesticAnimal
接口。我们现在对 Dog
类型做同样的事情:
1 | go复制代码func (d Dog) ReceiveAffection(from Human) { |
我们的 Dog
类型现在正确地实现了 DomesticAnimal
接口。现在我们可以创建一个函数,它接受一个带有参数的接口:
1 | go复制代码func Pet(animal DomesticAnimal, human Human) { |
Pet
函数将 DomesticAnimal
类型的接口作为第一个参数,将 Human
作为第二个参数。
在函数内部,我们调用了接口的两个函数。
让我们使用这个函数:
1 | go复制代码func main() { |
Dog
和Cat
类型实现了接口DomesticAnimal
的方法- 也就是说
Dog
和Cat
类型的任何变量都可以看作是DomesticAnimal
只要
Cat
实现的方法的函数签名与接口定义一致就可以,不强制要求完全相同变量名和返回名。所以我们将函数func (c Cat) ReceiveAffection(from Human) {...}
改成func (c Cat) ReceiveAffection(f Human) {...}
也是可以的
6 编译器在看着你!
遵守类型 T 的接口契约意味着实现接口的所有方法。让我们试着欺骗编译器看看会发生什么:
1 | go复制代码// ... |
- 我们创建了一个新类型的
Snake
- 该类型没有实现
DomesticAnimal
动物的任何方法 - 在主函数中,我们创建了一个新的
Snake
类型的变量 - 然后我们用这个变量作为第一个参数调用
Pet
函数
结果是编译失败:
1 | shell复制代码./main.go:70:5: cannot use snake (type Snake) as type DomesticAnimal in argument to Pet: |
编译器在未实现的按字母顺序排列的第一个方法处检查停止。
7 例子:database/sql/driver.Driver
我们来看看 Driver
接口(来自包database/sql/driver
)
1 | go复制代码type Driver interface { |
- 存在不同种类的 SQL 数据库,因此
Open
方法有多种实现。 - 为什么?因为你不会使用相同的代码来启动到 MySQL 数据库和 Oracle 数据库的连接。
- 通过构建接口,你可以定义一个可供多个实现使用的契约。
8 接口嵌入
你可以将接口嵌入到其他接口中。让我们举个例子:
1 | go复制代码// the Stringer type interface from the standard library |
在上面的代码中,我们将接口 Stringer
嵌入到接口 DomesticAnimal
中。
因此,已经实现了 DomesticAnimal
的其他类型必须实现 Stringer
接口的方法。
- 通过接口嵌入,你可以在不重复的情况下向接口添加功能。
- 这也是有代价的,如果你从另一个模块嵌入一个接口,你的代码将与其耦合
- 其他模块接口的更改将迫使你重写代码。
- 请注意,如果依赖模块遵循语义版本控制方案,则这种危险会得到缓和
- 你可以毫无畏惧地使用标准库中的接口
9 来自标准库的一些有用(和著名)的接口
9.1 Error 接口
1 | go复制代码type error interface { |
这个接口类型被大量使用,用于当函数或方法执行失败是返会error
类型接口:
1 | go复制代码func (c *Communicator) SendEmailAsynchronously(email *Email) error { |
要创建一个 error ,我们通常调用: fmt.Errorf()
返回一个 error
类型的结果,或者使用 errors.New()
函数。
当然,你也可以创建实现error
接口的类型。
9.2 fmt.Stringer 接口
1 | go复制代码type Stringer interface { |
使用 Stringer
接口,你可以定义在调用打印方法时如何将类型打印为字符串(fmt.Errorf(),fmt.Println, fmt.Printf, fmt.Sprintf
…)
这有一个示例实现
1 | go复制代码type Human struct { |
Human
现在实现了 Stringer
接口:
1 | go复制代码package main |
输出:
1 | shell复制代码human named John Doe of age 45 living in the USA |
9.3 sort.Interface 接口
1 | go复制代码type Interface interface { |
通过在一个类型上实现 sort.Interface
接口,可以对一个类型的元素进行排序(通常,底层类型是一个切片)。
这是一个示例用法(来源:sort/example_interface_test.go):
1 | go复制代码type Person struct { |
ByAge
类型实现了sort.Interface
- 底层类型是
Person
的一个切片
- 底层类型是
- 接口由三个方法组成:
Len() int
:返回集合内的元素数Less(i, j int) bool
:如果索引i
处的元素应该排在索引j
处的元素之前,则返回true
Swap(i, j int)
:交换索引i
&j
处的元素;换句话说,我们应该将位于索引j
的元素放在索引i
处,而位于索引i
的元素应该放在索引j
处。
然后我们可以使用sort.Sort
函数对ByAge
类型的变量进行排序
1 | go复制代码func main() { |
10 隐式实现
接口是隐式实现的。当你声明一个类型时,你不必指定它实现了哪些接口。
11 PHP 和 JAVA
在其他语言中,你必须指定接口实现。
这是 Java 中的一个示例:
1 | java复制代码// JAVA |
这是 PHP 中的另一个示例:
1 | PHP复制代码//PHP |
你可以看到,在声明实现接口的类时,必须添加关键字"implements"
。
你可能会问 Go 运行时如何处理这些隐式接口实现。我们将后面解释接口值的机制。
12 空接口
Go 的空接口是你可以编写的最简单、体积更小的接口。它的方法集正好由 0 个方法组成。
1 | go复制代码interface{} |
也就是说,每种类型都实现了空接口。你可能会问为什么需要这么无聊的空接口。根据定义,空接口值可以保存任何类型的值。如果你想构建一个接受任何类型的方法,它会很有用。
让我们从标准库中举一些例子。
- 在
log
包中,你有一个Fatal
方法,可以将任何类型的输入变量作为输入:
1 | go复制代码func (l *Logger) Fatal(v ...interface{}) { } |
- 在
fmt
包中,我们还有许多方法将空接口作为输入。例如Printf
函数:
1 | go复制代码func Printf(format string, a ...interface{}) (n int, err error) { } |
12.1 类型转换
接受空接口作为参数的函数通常需要知道其输入参数的有效类型。
为此,该函数可以使用“类型开关”,这是一个 switch case 将比较类型而不是值。
这是从标准库(文件 runtime/error.go
,包 runtime
)中获取的示例:
1 | go复制代码// printany prints an argument passed to panic. |
12.2 关于空接口的使用
- 你应该非常小心地使用空接口。
- 当你别无选择时,请使用空接口。
- 空接口不会向将使用你的函数或方法的人提供任何信息,因此他们将不得不参考文档,这可能会令人沮丧。
你更喜欢哪种方法?
1 | go复制代码func (c Cart) ApplyCoupon(coupon Coupon) error { |
ApplyCoupon
方法严格指定它将接受和返回的类型。而 ApplyCoupon2
没有在输入和输出中指定它的类型。作为调用方,ApplyCoupon2
的使用难度比 ApplyCoupon
大。
13 实际应用:购物车存储
13.1 规则说明
你建立了一个电子商务网站;你必须存储和检索客户购物车。必须支持以下两种行为:
- 通过 ID 获取购物车
- 将购物车数据放入数据库
为这两种行为提出一个接口。还要创建一个实现这两个接口的类型(不要实现方法中的逻辑)。
13.2 答案
这是一个设计的接口:
1 | go复制代码type CartStore interface { |
实现接口的类型:
1 | go复制代码type CartStoreMySQL struct{} |
另一种实现接口的类型:
1 | go复制代码type CartStorePostgres struct{} |
- 你可以为你使用的每个数据库模型创建一个特定的实现
- 添加对新数据库引擎的支持很容易!你只需要创建一个实现接口的新类型。
14 为什么要使用接口?
14.1 易于升级
当你在方法或函数中使用接口作为输入时,你将程序设计为易于升级的。未来的开发人员(或未来的你)可以在不更改大部分代码的情况下创建新的实现。
假设你构建了一个执行数据库读取、插入和更新的应用程序。你可以使用两种设计方法:
- 创建与你现在使用的数据库引擎密切相关的类型和方法。
- 创建一个接口,列出数据库引擎的所有操作和具体实现。
- 在第一种方法中,你创建将特定实现作为参数的方法。
- 通过这样做,你将程序限制到一个实现。
- 在第二种方法中,你创建接受接口的方法。
- 改变实现就像创建一个实现接口的新类型一样简单。
14.2 提高团队合作
团队也可以从接口中受益。
在构建功能时,通常需要多个开发人员来完成这项工作。如果工作需要两个团队编写的代码进行交互,他们可以就一个或多个接口达成一致。
然后,两组开发人员可以处理他们的代码并使用商定的接口。他们甚至可以 mock 其他团队的返回结果。通过这样做,团队不会被阻塞。
14.3 Benefit from a set of routines
在自定义类型上实现接口时,你可以不需要开发就使用的附加功能。让我们从标准库中举一个例子:sort
包。这并不奇怪。这个包是用来进行排序的。这是 go
源代码的摘录:
1 | go复制代码// go v.1.10.1 |
在第一行,我们声明当前包:sort
。在接下来的几行中,程序员声明了一个名为 Interface
的接口。这个接口 Interface
指定了三个方法:Len、Less、Swap
。
在接下来的几行中,函数 Sort
被声明。它将接口类型 data
作为参数。这是一个非常有用的函数,可以对给定的数据进行排序。
我们如何在我们的一种类型上使用这个函数?实现接口
假设你有一个 User 类型:
1 | go复制代码type User struct { |
还有一个类型 Users
,它是 User
类型切片:
1 | go复制代码type Users []User |
让我们创建一个 Users
实例并用三个 User
类型的变量填充它:
1 | go复制代码user0 := User{firstname:"John", lastname:"Doe", totalTurnover:1000} |
如果我们想按营业额排序怎么办?我们可以从头开始开发符合我们规范的排序算法。或者我们可以只实现使用 sort 包中的内置函数.Sort 所需的接口。我们开始吧:
1 | go复制代码// Compute the length of the array. Easy... |
通过声明这些函数,我们可以简单地使用 Sort
函数:
1 | go复制代码sort.Sort(users) |
15 一点建议
- 尽量使用标准库提供的接口
- 方法太多的接口很难实现(因为它需要编写很多方法)。
16 随堂测试
16.1 问题
- 举一个接口嵌入另一个接口的例子。
- 判断真假。嵌入接口中指定的方法不是接口方法集的一部分。
- 说出使用接口的两个优点。
- 接口类型的零值是多少?
16.2 答案
- 举一个接口嵌入另一个接口的例子。
1 | go复制代码type ReadWriter interface { |
- 判断真假。嵌入接口中指定的方法不是接口方法集的一部分。
错。接口的方法集是由两个部分组成:- 直接指定到接口中的方法
- 来自嵌入接口的方法
- 说出使用接口的两个优点。
- 轻松地在开发人员之间拆分工作:
- 定义接口类型
- 一个人开发接口的实现
- 另一个人可以在其功能中使用接口类型
- 两个人可以互不干扰地工作。
- 易于升级
- 当你创建一个接口时,你就创建了一个契约
- 不同的实现可以履行这个契约。
- 在一个项目的开始,通常有一个实现
- 随着时间的推移,可能需要另一种实现方式。
- 接口类型的零值是多少?
nil
17 关键要点
- 接口就是契约
- 它指定方法(行为)而不实现它们。
1 | go复制代码type Cart interface { |
- 接口是一种类型(就像structs, arrays, maps,等)
- 我们将接口中指定的方法称为接口的方法集。
- 一个类型可以实现多个接口。
- 无需明确类型实现了哪个接口
- 与其他需要声明它的语言(PHP、Java 等)相反
- 一个接口可能嵌入到另一个接口中;在这种情况下,嵌入的接口方法被添加到接口中。
- 接口类型可以像任何其他类型一样使用
- 接口类型的零值为
nil
。 - 任何类型实现空接口
interface{}
- 空接口指定了 0 个方法
- 要获取空接口的具体类型,您可以使用 type switch:
1 | go复制代码switch v := i.(type) { |
- 当我们可以通过各种方式实现一个行为时,我们或许可以创建一个接口。
- 例如:存储(我们可以使用 MySQL、Postgres、DynamoDB、Redis 数据库来存储相同的数据)
本文转载自: 掘金