Go语言相比较其它主流的面向对象语言,如Java或C++在支持面向对象的特性方面有较大差异,它废弃大量的OOP特性,如继承、构造/析构函数、虚函数、函数重载、默认参数等; 简化的符号访问权限控制,将隐藏的this指针改为显式定义的receiver对象。
Go语言非常简化的实现了OOP编程核心价值,在这一点上需要深刻理解Go的优势。
1、方法声明
方法的声明和普通函数的声明类似,只是在函数名字前面多了一个参数。这个参数把这 个方法绑定到这个参数对应的类型上。
package geometry
import "math"
type Point struct {
X, Y float64
}
//普通的函数
func Distance(p, q Point) float64 {
return math.Hypot(q.X-p.X, q.Y-p.Y)
}
// Point类型的方法
func (p Point) Distance(q Point) float64 {
return math.Hypot(q.X-p.X, q.Y-p.Y)
}
上述p称为方法的接受者,Go语言中接受者不使用特殊名(比如this或者self),而是由开发人员指定接受者名称,由于名称经常被使用,常用的接受者名称取类型名的首字母,如Point 中的p。
由于Go语言不支持重载,下面的声明编译器会报错
// Point类型的方法
func (p Point) Distance(q Point) float64 {
return math.Hypot(q.X-p.X, q.Y-p.Y)
}
// Pointl类型的方法,不支持重载
func (p Point) Distance(q Point, unit string) float64 {
fmt.println(unit)
return math.Hypot(q.X-p.X, q.Y-p.Y)
}
2、指针接受者方法
主调函数会复制每一个实参变量,如果函数需要更新一个变量,或者如果一个实参 太大而我们希望避免复制整个实参,因此我们必须使用指针来传递变量的地址。这也同样适 用于更新接收者:我们将它绑定到指针类型,比如*Point。
func (p *Point) ScaleBy(factor float64) {
p.X *= factor
p.Y *= factor
}
- Point 和指向它们的指针(*Point)是唯一可以出现在接受者声明处的类型。
- 为防止混淆,不允许本身是指针的类型进行方法的声明。
type P *int
func (P) f() { /* ••• V } //编译错误:非法的接收者类型
3、nil是个合法的接受者
一些函数允许nil作为实参,方法也可以将nil作为合法的接受者,特别是当nil是类型中有意义的零值(如map和slice类型),当定义一个类型允许nil作为接收者时,应当在文档注释中显式地标明,如下面的例子:
// IntList是整型链表
// *IntList的类型nil代表空列表
type IntList struct {
Value int
Tail *IntList
}
// Sum返回列表元素的总和
func (list *IntList) Sum() int {
if list == nil {
return 0
}
return list.Value + list.Tail.Sum()
}
4、方法变量与表达式
通常我们都在相同的表达式里使用和调用方法,Go语言支持把两个操作分开。选择子P.Distance可以赋予一个方法变量,它是一个函数,把方法(Point.Distance)绑定到一个接收者p上。函数只需要提供实参而不需要提供接收者就能够调用。
p := Point{l, 2} q := Point{4, 6}
distanceFromP := p.Distance // distanceFromP 使用短变量类型推导方法声明的一个"方法变量"
fmt.Println(distanceFromP(q)) // "5"
5、封装
Go语言只有一种方式控制命名的可见性:定义的时候,首字母大写的标识符是可以从包中导出的,而首字母没有大写的则不导出。同样的机制也作用于结构体内的字段和类型中的方法。
特别注意:Go语言中封装的单元是包而不是类型。无论是在函数内的代码还是方法内的代码,结构体类型内的字段对于同一个包中的所有代码都是可见的。
网友评论