Go 面向对象编程篇(六):接口赋值
一、接口赋值概述
在上篇教程中,学院君给大家介绍了 Go 接口的定义及实现,和其他编程语言一样,Go 接口不支持直接实例化,因为它只是一个契约而已,只能通过具体的类来实现接口声明的所有方法。不同之处在于,Go 接口支持赋值操作,从而快速实现接口与实现类的映射,与之相比,Java、PHP 要实现接口与实现类的映射,只能基于 IoC 容器通过依赖注入实现,要复杂的多。
接口赋值在 Go 语言中分为如下两种情况:
将实现接口的类实例赋值给接口;
将一个接口赋值给另一个接口。
下面我们通过代码实例逐个介绍对应的实现和注意事项。
二、将类实例赋值给接口
先看看将类实例赋值给接口,这要求该实例对应的类实现了接口声明的所有方法,这个是自然,否则也就不能算作实现该接口了。
只包含值方法
我们以之前为基本类型添加成员方法时定义过的 Integer
类型为例进行演示:
type Integer int
// 加法运算
func (a Integer) Add(b Integer) Integer {
return a + b
}
// 乘法运算
func (a Integer) Multiply(b Integer) Integer {
return a * b
}
type Math interface {
Add(i Integer) Integer
Multiply(i Integer) Integer
}
按照 Go 语言的约定,Integer
类型实现了 Math
接口。然后我们可以这样将 Integer
类型的实例 a
直接赋值给 Math
接口类型的变量 m
:
var a Integer = 1
var m Math = a
fmt.Println(m.Add(1))
对于值方法而言,进行接口赋值时传递 a
实例的指针引用也是可以的:
var a Integer = 1
var m Math = &a
fmt.Println(m.Add(1))
因为对于非指针方法,Go 底层会自动生成一个与之对应的指针成员方法:
func (a *Integer) Add(i Integer) Integer {
return (*a).Add(i)
}
func (a *Integer) Multiply(i Integer) Integer {
return (*a).Multiply(i)
}
包含指针方法
不过如果 Integer
类型中包含了归属于指针的实现方法:
type Integer int
func (a *Integer) Add(b Integer) {
*a = (*a) + b
}
func (a Integer) Multiply(b Integer) Integer {
return a * b
}
type Math interface {
Add(i Integer)
Multiply(i Integer) Integer
}
那么在做接口赋值时,就只能传递指针类型的变量了:
var a Integer = 1
var m Math = &a
m.Add(2)
fmt.Printf("1 + 2 = %d\n", a)
因为 Integer
类型不包含指针方法(参考前面介绍的值方法与指针方法区别),所以此时只有 *Integer
类型实现了 Math
接口,如果我们直接将 a
的值类型赋值给 m
,编译时会报错:
cannot use a (type Integer) as type Math in assignment:
Integer does not implement Math (Add method has pointer receiver)
综上所述,如果 Integer
类中实现接口的成员方法都是值方法,则进行接口赋值时,传递类实例的值类型或者指针类型均可,否则只能传递指针类型实例,从代码性能角度来说,值拷贝需要消耗更多的内存空间,统一使用指针类型代码性能会更好。
三、将接口赋值给接口
接下来,我们来看如何将一个接口赋值给另一个接口:在 Go 语言中,只要两个接口拥有相同的方法列表(与顺序无关),那么它们就是等同的,可以相互赋值。不过,这里有一个前提,那就是接口变量持有的是基于对应实现类的实例值,所以接口与接口间的赋值是基于类实例与接口间的赋值的。
完全对等
下面我们来编写对应的示例代码,这是第一个接口 Number1
:
type Number1 interface {
Equal(i int) bool
LessThan(i int) bool
MoreThan(i int) bool
}
这是第二个接口 Number2
:
type Number2 interface {
Equal(i int) bool
MoreThan(i int) bool
LessThan(i int) bool
}
这里我们定义了两个接口,一个叫 Number1
,一个叫 Number2
,两者都定义三个相同的方法,只是顺序不同而已。在 Go 语言中,这两个接口实际上并无区别,因为:
任何实现了
Number1
接口的类,也实现了Number2
;任何实现了
Number1
接口的类实例都可以赋值给Number2
,反之亦然;在任何地方使用
Number1
接口与使用Number2
并无差异。
接下来我们定义一个实现了这两个接口的类 Number
:
type Number int
func (n Number) Equal(i int) bool {
return int(n) == i
}
func (n Number) LessThan(i int) bool {
return int(n) < i
}
func (n Number) MoreThan(i int) bool {
return int(n) > i
}
那么下面这些赋值代码都是合法的,会编译通过:
var num1 Number = 1
var num2 Number1 = num1
var num3 Number2 = num2
方法子集
此外,接口赋值并不要求两个接口完全等价(方法完全相同)。如果接口 A 的方法列表是接口 B 的方法列表的子集,那么接口 B 也可以赋值给接口 A。例如,假设 Number2
接口定义如下:
type Number2 interface {
Equal(i int) bool
MoreThan(i int) bool
LessThan(i int) bool
Add(i int)
}
要让 Number
类继续保持实现这两个接口,需要在 Number
类定义中新增一个 Add
方法实现(这里定义了一个指针方法):
func (n *Number) Add(i int) {
*n = *n + Number(i)
}
接下来,将上面的接口赋值语句改写如下即可:
var num1 Number = 1
var num2 Number2 = &num1
var num3 Number1 = num2
这样一来,就实现了接口赋值,但是反过来不行:
var num1 Number = 1
var num2 Number1 = &num1
var num3 Number2 = num2 // 这一段编译出错
因为 Number1
接口中没有声明 Add
方法,或者换句话说,实现了 Number2
接口的类肯定实现了 Number1
,但是实现了 Number1
接口的类不一定实现了 Number2
。这句话是不是似曾相识?没错,这一点和 Java、PHP 中子类实例可以直接赋值给父类变量,而父类实例不能直接赋值给子类变量有异曲同工之妙,我们在学习新知识时要善于通过这种类比来降低学习成本,提高学习效率。
(本文完)
学习过程中有任何问题,可以通过下面的评论功能或加入「Go 语言研习社」与学院君讨论:
本系列教程首发在 geekr.dev,你可以点击页面左下角阅读原文链接查看最新更新的教程。