go语言中的接口

举报
未来日记 发表于 2024/02/28 13:57:45 2024/02/28
【摘要】 接口接口是Go语言整个类型系统的基石。 其他语言的接口Go语言的接口并不是其他语言(C++、Java、C#等)中所提供的接口概念。在Go语言出现之前,接口主要作为不同组件之间的契约存在。对契约的实现是强制的,你必须声明你的确实现了该接口。为了实现一个接口,你需要从该接口继承:interface IFoo { void Bar(); } class Foo implements IFoo ...

接口

接口是Go语言整个类型系统的基石。

其他语言的接口

Go语言的接口并不是其他语言(C++、Java、C#等)中所提供的接口概念。
在Go语言出现之前,接口主要作为不同组件之间的契约存在。对契约的实现是强制的,你必须声明你的确实现了该接口。为了实现一个接口,你需要从该接口继承:

interface IFoo { 
 void Bar(); 
} 
class Foo implements IFoo { // Java文法
 // ... 
} 
class Foo : public IFoo { // C++文法
 // ... 
} 
IFoo* foo = new Foo; 

即使另外有一个接口IFoo2实现了与IFoo完全一样的接口方法甚至名字也叫IFoo只不过位于不同的名字空间下,编译器也会认为上面的类Foo只实现了IFoo而没有实现IFoo2接口。
这类接口我们称为侵入式接口。“侵入式”的主要表现在于实现类需要明确声明自己实现了某个接口。

设想我们现在要实现一个简单搜索引擎(SE),它需要依赖两个模块,一个是哈希表(HT),一个是HTML分析器(HtmlParser)。搜索引擎的实现者认为,SE对HT的依赖是确定性的,所以不需要在SE和HT之间定义接口,而是直接通过import(或者include)的方式使用HT;而模块SE对HtmlParser的依赖是不确定的,未来可能需要有WordParser、PdfParser等模块来替代HtmlParser,以达到不同的业务要求。为此,他定义了SE和HtmlParser之间的接口,在模块SE中通过接口调用方式间接引用模HtmlParser。
应当注意到,接口的需求方是SE,只有SE才知道接口应该定义成什么样子,但是接口的实现方是HtmlParser。基于模块设计的单向依赖原则,模块HtmlParser实现自身的业务时,不应该关心某个具体使用方的要求。HtmlParser在实现的时候,甚至还不知道未来有一天SE会用上它。期望模块HtmlParser能够知道需求方需要的所有接口,并提前声明实现这些接口是不合理的。

同样的道理发生在SE自己身上。SE并不能够预计未来会有哪些需求方会用到自己,并且实现它们所要求的接口。
这个问题在设计标准库时变得更加突出,比如我们实现了File类,它有下面这些方法:

Read(buf []byte) (n int, err error) 
Write(buf []byte) (n int, err error) 
Seek(off int64, whence int) (pos int64, err error) 
Close() error 

那么,到底是应该定义一个IFile接口,还是应该定义一系列的IReader、IWriter、
ISeeker、ICloser接口,然后让File从它们继承好呢?脱离了实际的用户场景,讨论这两个

非侵入式接口

在Go语言中,一个类只需要实现了接口要求的所有函数,我们就说这个类实现了该接口,例如:

type File struct { 
 // ... 
} 
func (f *File) Read(buf []byte) (n int, err error) 
func (f *File) Write(buf []byte) (n int, err error) 
func (f *File) Seek(off int64, whence int) (pos int64, err error) 
func (f *File) Close() error 

这里我们定义了一个File类,并实现有Read()、Write(),Seek()、Close()等方法。设想我们有如下接口:

type IFile interface { 
 Read(buf []byte) (n int, err error) 
 Write(buf []byte) (n int, err error) 
 Seek(off int64, whence int) (pos int64, err error) 
 Close() error 
} 
type IReader interface { 
 Read(buf []byte) (n int, err error) 
} 
type IWriter interface { 
 Write(buf []byte) (n int, err error) 
} 
type ICloser interface { 
 Close() error 
} 

尽管File类并没有从这些接口继承,甚至可以不知道这些接口的存在,但是File类实现了这些接口,可以进行赋值:

var file1 IFile = new(File) 
var file2 IReader = new(File) 
var file3 IWriter = new(File) 
var file4 ICloser = new(File) 

Go语言的非侵入式接口,看似只是做了很小的文法调整,实则影响深远。其一,Go语言的标准库,再也不需要绘制类库的继承树图。你一定见过不少C++、Java、C# 类库的继承树图。这里给个Java继承树图:http://docs.oracle.com/javase/1.4.2/docs/api/overview-tree.html
在Go中,类的继承树并无意义,你只需要知道这个类实现了哪些方法,每个方法是啥含义就足够了。

其二,实现类的时候,只需要关心自己应该提供哪些方法,不用再纠结接口需要拆得多细才合理。接口由使用方按需定义,而不用事前规划。

其三,不用为了实现一个接口而导入一个包,因为多引用一个外部的包,就意味着更多的耦合。接口由使用方按自身需求来定义,使用方无需关心是否有其他模块定义过类似的接口。

接口赋值

接口赋值在Go语言中分为如下两种情况:
 将对象实例赋值给接口;
 将一个接口赋值给另一个接口。
先讨论将某种类型的对象实例赋值给接口,这要求该对象实例实现了接口要求的所有方法,例如一个Integer类型,如下:

type Integer int
func (a Integer) Less(b Integer) bool { 
 return a < b 
} 
func (a *Integer) Add(b Integer) { 
 *a += b 
} 

相应地,我们定义接口LessAdder,如下:

type LessAdder interface { 
 Less(b Integer) bool
 Add(b Integer) 
} 

现在有个问题:假设我们定义一个Integer类型的对象实例,怎么将其赋值给LessAdder接口呢?应该用下面的语句(1),还是语句(2)呢?

var a Integer = 1 
var b LessAdder = &a ... (1) 
var b LessAdder = a ... (2) 

答案是应该用语句(1)。原因在于,Go语言可以根据下面的函数:

func (a Integer) Less(b Integer) bool 

自动生成一个新的Less()方法:

func (a *Integer) Less(b Integer) bool { 
 return (*a).Less(b) 
} 

这样,类型*Integer就既存在Less()方法,也存在Add()方法,满足LessAdder接口。而从另一方面来说,根据

func (a *Integer) Add(b Integer) 

这个函数无法自动生成以下这个成员方法:

func (a Integer) Add(b Integer) { 
 (&a).Add(b) 
} 

因为(&a).Add()改变的只是函数参数a,对外部实际要操作的对象并无影响,这不符合用户的预期。所以,Go语言不会自动为其生成该函数。因此,类型Integer只存在Less()方法,缺少Add()方法,不满足LessAdder接口,故此上面的语句(2)不能赋值。
为了进一步证明以上的推理,我们不妨再定义一个Lesser接口,如下:

type Lesser interface { 
 Less(b Integer) bool
} 

然后定义一个Integer类型的对象实例,将其赋值给Lesser接口:

var a Integer = 1 
var b1 Lesser = &a ... (1) 
var b2 Lesser = a ... (2) 

正如我们所料的那样,语句(1)和语句(2)均可以编译通过。
我们再来讨论另一种情形:将一个接口赋值给另一个接口。在Go语言中,只要两个接口拥有相同的方法列表(次序不同不要紧),那么它们就是等同的,可以相互赋值。
下面我们来看一个示例,这是第一个接口:

package one 
type ReadWriter interface { 
 Read(buf []byte) (n int, err error) 
 Write(buf []byte) (n int, err error) 
} 

第二个接口位于另一个包中:

package two 
type IStream interface { 
 Write(buf []byte) (n int, err error) 
 Read(buf []byte) (n int, err error) 
} 

这里我们定义了两个接口,一个叫one.ReadWriter,一个叫two.Istream,两者都定义了Read()、Write()方法,只是定义次序相反。one.ReadWriter先定义了Read()再定义了Write(),而two.IStream反之。

在Go语言中,这两个接口实际上并无区别,因为:
 任何实现了one.ReadWriter接口的类,均实现了two.IStream;
 任何one.ReadWriter接口对象可赋值给two.IStream,反之亦然;
 在任何地方使用one.ReadWriter接口与使用two.IStream并无差异。
以下这些代码可编译通过:

var file1 two.IStream = new(File) 
var file2 one.ReadWriter = file1 
var file3 two.IStream = file2 

接口赋值并不要求两个接口必须等价。如果接口A的方法列表是接口B的方法列表的子集,那么接口B可以赋值给接口A。例如,假设我们有Writer接口:

type Writer interface { 
 Write(buf []byte) (n int, err error) 
} 

就可以将上面的one.ReadWriter和two.IStream接口的实例赋值给Writer接口:

var file1 two.IStream = new(File) 
var file4 Writer = file1 

但是反过来并不成立:

var file1 Writer = new(File) 
var file5 two.IStream = file1 // 编译不能通过

这段代码无法编译通过,原因是显然的:file1并没有Read()方法。

接口查询

查询语法,代码如下:

var file1 Writer = ... 
if file5, ok := file1.(two.IStream); ok { 
 ... 
} 

这个if语句检查file1接口指向的对象实例是否实现了two.IStream接口,如果实现了,则执行特定的代码。
接口查询是否成功,要在运行期才能够确定。

类型查询

在Go语言中,还可以更加直截了当地询问接口指向的对象实例的类型,例如:

var v1 interface{} = ... 
switch v := v1.(type) { 
 case int: // 现在v的类型是int 
 case string: // 现在v的类型是string 
 ... 
} 

就像现实生活中物种多得数不清一样,语言中的类型也多得数不清,所以类型查询并不经常使用。它更多是个补充,需要配合接口查询使用,例如:

type Stringer interface { 
 String() string
} 
func Println(args ...interface{}) { 
 for _, arg := range args { 
 switch v := v1.(type) { 
 case int: // 现在v的类型是int 
 case string: // 现在v的类型是string 
 default: 
 if v, ok := arg.(Stringer); ok { // 现在v的类型是Stringer 
 val := v.String() 
 // ... 
 } else { 
 // ... 
 } 
 } 
 } 
} 

当然,Go语言标准库的Println()比这个例子要复杂很多,我们这里只摘取其中的关键部
分进行分析。对于内置类型,Println()采用穷举法,将每个类型转换为字符串进行打印。对于更一般的情况,首先确定该类型是否实现了String()方法,如果实现了,则用String()方法将其转换为字符串进行打印。否则,Println()利用反射功能来遍历对象的所有成员变量进行打印。

接口组合

像之前介绍的类型组合一样,Go语言同样支持接口组合。我们已经介绍过Go语言包中io.Reader接口和io.Writer接口,接下来我们再介绍同样来自于io包的另一个接口io.ReadWriter:

// ReadWriter接口将基本的Read和Write方法组合起来
type ReadWriter interface { 
 Reader 
 Writer 
} 
这个接口组合了Reader和Writer两个接口,它完全等同于如下写法:
type ReadWriter interface { 
 Read(p []byte) (n int, err error) 
 Write(p []byte) (n int, err error) 
} 

因为这两种写法的表意完全相同:ReadWriter接口既能做Reader接口的所有事情,又能做Writer接口的所有事情。在Go语言包中,还有众多类似的组合接口,比如ReadWriteCloser、ReadWriteSeeker、ReadSeeker和WriteCloser等。
可以认为接口组合是类型匿名组合的一个特定场景,只不过接口只包含方法,而不包含任何成员变量。

Any类型

由于Go语言中任何对象实例都满足空接口interface{},所以interface{}看起来像是可
以指向任何对象的Any类型,如下:

var v1 interface{} = 1 // 将int类型赋值给interface{} 
var v2 interface{} = "abc" // 将string类型赋值给interface{} 
var v3 interface{} = &v2 // 将*interface{}类型赋值给interface{} 
var v4 interface{} = struct{ X int }{1} 
var v5 interface{} = &struct{ X int }{1} 

当函数可以接受任意的对象实例时,我们会将其声明为interface{},最典型的例子是标
准库fmt中PrintXXX系列的函数,例如:
func Printf(fmt string, args …interface{})
func Println(args …interface{})

【版权声明】本文为华为云社区用户原创内容,转载时必须标注文章的来源(华为云社区)、文章链接、文章作者等基本信息, 否则作者和本社区有权追究责任。如果您发现本社区中有涉嫌抄袭的内容,欢迎发送邮件进行举报,并提供相关证据,一经查实,本社区将立刻删除涉嫌侵权内容,举报邮箱: cloudbbs@huaweicloud.com
  • 点赞
  • 收藏
  • 关注作者

评论(0

0/1000
抱歉,系统识别当前为高风险访问,暂不支持该操作

全部回复

上滑加载中

设置昵称

在此一键设置昵称,即可参与社区互动!

*长度不超过10个汉字或20个英文字符,设置后3个月内不可修改。

*长度不超过10个汉字或20个英文字符,设置后3个月内不可修改。