从严格意义上讲,Go语言不算一门面向对象的编程语言,至少没有提供关键字class
,没有明确类的概念,更没有明确封装、继承、重载、多态等面向对象的概念。但这并不影响其面向对象的能力,取而代之的是其定义的struct
概念,与C/C++中的struct
不同,Go中的struct
和type
特性承载了其所有面向对象的功能,本文中我们来看一下Go中method
功能。
自定义类型
在提及方法之前,先看一下Go中对自定义类型的支持,类似与C/C++中的typedef
,Go中使用type
关键字定义自定义类型。typeName可以是一个包或者函数内唯一的任何合法的Go标识符。typeSpecification可以是任何内置的类型(如string、int、切片、映射或者通道)、接口、结构体或者一个函数签名。
type typeName typeSpecification
此处首先提出自定义类型,主要是为了下文铺垫,Go语言中规定,方法是作用在自定义类型的值上的一类特殊函数,通常自定义类型的值会被传递给该函数。该值可以以指针或者值的形式传递,这取决于方法如何定义。
方法
如上文所述,方法只能作用在自定义类型的值,这其中有两层含义:
- 自定义类型:必须是自定义类型,而不能是Go内建类型
- 值:只能作用在对象上,而不能作用在自定义类型上
上述内容只限定了方法的作用范畴,还没有提到方法到底是什么呢。在Go中,方法其实就是函数,只不过此函数和自定义类型的值绑定在一起,其定义方式和函数几乎类似,只是增加了一个限定描述符,即除了需要在 func 关键字和方法名之间必须写上接收者(写入括号中)之外,该接收者既可以以该方法所属于的类型的形式出现,也可以以一个变量名及类型的形式出现。
可以为任何自定义类型添加一个或者多个方法,方法的接收者总是一个该类型的值,或者只是该类型值的指针。然而,对于任何一个给定的类型,每个方法名必须唯一。唯一名字的要求是,
- 不能同时定义两个相同名字的方法,让其中一个的接收者为指针类型而另一个为值类型。
- 不支持重载方法,也就是说,不能定义名字相同但是不同签名的方法。一种提供等价方法的方式是使用可变参数,但Go语言推荐的方式是使用名字唯一的函数。
举例
package employee
import "fmt"
type Employee struct {
FirstName string
LastName string
TotalLeaves int
LeavesTaken int
}
func (e Employee) LeavesRemaining() {
fmt.Printf("%s %s has %d leaves remaining", e.FirstName, e.LastName, (e.TotalLeaves - e.LeavesTaken))
}
上述代码中定义了一个结构体Employee
,结构体中有一个方法LeaveRemaining
这个方法计算并且显示剩余Employee的数目。然后可以调用上述方法。
package main
import "employee"
func main() {
e := employee.Employee {
FirstName: "Sam",
LastName: "Adolf",
TotalLeaves: 30,
LeavesTaken: 20,
}
e.LeavesRemaining()
}
运行结果如下
Sam Adolf has 10 leaves remaining
模拟构造函数的例子
Go不支持构造函数,编译器不接受结构体为空值的情况,此时可以通过一个支持的函数NewT(parameters) 来完成,这个实现类似C++中类的构造函数。如果一个包只定义了一种类型,那么可以通过New(parameters) 来代替NewT(parameters)。
package employee
import (
"fmt"
)
type employee struct {
firstName string
lastName string
totalLeaves int
leavesTaken int
}
func New(firstName string, lastName string, totalLeave int, leavesTaken int) employee {
e := employee {firstName, lastName, totalLeave, leavesTaken}
return e
}
func (e employee) LeavesRemaining() {
fmt.Printf("%s %s has %d leaves remaining", e.firstName, e.lastName, (e.totalLeaves - e.leavesTaken))
}
在这里有一个重要的改变,通过结构体名首字母改为小写e,结构体名称从Employee变为employee,也就是将employee结构体限制为不可导出状态,从而阻止其他的包调用。通常设置一个不可导出的结构体所有成员都不能被导出是一个好的习惯(注意到上面的结构体各成员的首字母也变成小写了,如果一个结构体类型的名称以大写字母开头,则该结构体被导出,其他包可以访问它。同样地,如果结构体中的字段名以大写字母开头,则这些字段也可以被其他包访问)。其调用方式也需要同步修改。
package main
import "oop/employee"
func main() {
e := employee.New("Sam", "Adolf", 30, 20)
e.LeavesRemaining()
}
程序输入为
Sam Adolf has 10 leaves remaining
method特性
封装特性
如上文提到,Go区分公有属性和私有属性的机制就是方法或属性是否首字母大写,如果首字母大写的方法就是公有的,如果首字母小写的话就是私有的。此处不再举例说明。
继承特性
Go中继承方式采用的是匿名组合的方式,如下述代码所示,Woman 结构体中包含匿名字段Person,那么Person中的属性也就属于Woman对象。
package main
import "fmt"
type Person struct {
name string
}
type Woman struct {
Person
sex string
}
func main() {
woman := Woman{Person{"wangwu"}, "女"}
fmt.Println(woman.name)
fmt.Println(woman.sex)
}
多态特性
package main
import "fmt"
type Eater interface {
Eat()
}
type Man struct {
}
type Woman struct {
}
func (man *Man) Eat() {
fmt.Println("Man Eat")
}
func (woman *Woman) Eat() {
fmt.Println("Woman Eat")
}
func main() {
var e Eater
woman := Woman{}
man := Man{}
e = &woman
e.Eat()
e = &man
e.Eat()
}
Go中的多态功能其实是通过interface
功能实现的,下一节再对其做详细介绍。