类和继承
大家好,我是煎鱼。
大家在早期学习 Go 时,一旦跨过语法的阶段后。马上就会进入到一个新的纠结点,Go 不支持面向对象吗?
如下读者对我提问的疑问:
这门编程语言里没有类(class)、继承(extends),没法一把搜了,面试问啥面向对象(OOP)?
今天煎鱼就带大家一起来了解这之中的思考,Go 真的不支持吗?
类和继承
类是什么
类(class)在面向对象编程中是一种面向对象计算机编程语言的构造,是创建对象的蓝图,描述了所创建的对象共同的特性和方法(via @维基百科)。
例子如下:
class SimpleClass
{
// 声明属性
public $var = '脑子进煎鱼了';
// 声明方法
public function displayVar() {
echo $this->var;
}
}
每个类的定义都以关键字 class 开头,后面跟着类名,后面跟着一对花括号,里面包含有类的属性与方法的定义。
继承是什么
继承是面向对象软件技术当中的一个概念,如果一个类别 B “继承自”另一个类别 A,就把这个 B 称为 “A的子类”,而把 A 称为 “B的父类别” 也可以称 “A 是 B 的超类”(via @维基百科)。
例子如下:
// 父类
class Foo
{
public function printItem($string)
{
echo '煎鱼1: ' . $string . PHP_EOL;
}
public function printPHP()
{
echo 'PHP is great.' . PHP_EOL;
}
}
// 子类
class Bar extends Foo
{
public function printItem($string)
{
echo '煎鱼2: ' . $string . PHP_EOL;
}
}
继承有如下两个特性:
- 子类具有父类别的各种属性和方法,不需要再次编写相同的代码。
- 子类别继承父类时,可以重新定义某些属性,并重写某些方法,使其获得与父类别不同的功能。
结构和组合
在 Go 里就比较 ”特别“ 了,因为没有传统的类,也没有继承。
取而代之的是结构和组合的方式。这也是业内对 Go 是否 OOP 争议最大的地方。
结构体
我们可以在 Go 中通过结构体的方式来组织代码,达到类似类的方式。
例子如下:
package main
import "fmt"
type person struct {
name string
age int
}
func(p *person) hello(){}
func newPerson(name string) *person {
p := person{name: name}
p.age = 42
return &p
}
func main() {
fmt.Println(person{"煎鱼1", 22})
fmt.Println(person{name: "煎鱼2", age: 33})
...
}
在上述代码中,我们可以定义结构体内的属性,也可以针对结构体这些类型定义只属于他们的方法。
在声明实例上,可以配合 newXXX
的初始化方法来生成,这是 Go 里约定俗成的方式。
组合
类的声明采取结构体的方式取代后,也可以配套使用 ”组合“ 来达到类似继承的效果。
例子如下:
type man struct {
name string
}
func (m *man) hello1() {}
type person struct {
man
name string
}
func (p *person) hello2() {}
func newPerson(name string) *person {
p := person{name: name}
return &p
}
func main() {
p := newPerson("脑子进煎鱼了")
p.hello1()
}
在上述代码中,我们分别定义了 man 和 person 两个结构体,并将 man 嵌入到 person 中,形成组合。
你可以在 main 方法中能够看到,person 实例是可以使用和调用 man 实例的一些公开属性和方法的。
在简单的使用效果上会与继承有些接近。
Go 是面向对象的语言吗
“Go 语言是否一门面向对象的语言?”,这是一个日经话题。官方 FAQ 给出的答复是:
是的,也不是。原因是:
- Go 有类型和方法,并且允许面向对象的编程风格,但没有类型层次。
- Go 中的 “接口 “概念提供了一种不同的方法,我们认为这种方法易于使用,而且在某些方面更加通用。还有一些方法可以将类型嵌入到其他类型中,以提供类似的东西,但不等同于子类。
- Go 中的方法比 C++ 或 Java 中的方法更通用:它们可以为任何类型的数据定义,甚至是内置类型,如普通的、“未装箱的 “整数。它们并不局限于结构(类)。
- Go 由于缺乏类型层次,Go 中的 “对象 “比 C++ 或 Java 等语言更轻巧。
为什么不支持类和继承
有的人认为类和继承是面向对象的必要特性,必须要有,才能是面向对象的语言,但其实也并非如此。
面向对象(OOP)有不同的含义和解读,许多概念也可以通过结构体、组合和接口等方式进行表达,说是不支持传统的 OOP。
其实真相是 Go 是选择了另外一条路,也就是 ”组合优于继承“。我们所提到的类和继承并不是定义 OOP 的一种准则,只是协助完成 OOP 的方法之一。
不要本末倒置了,不让工具来定义 OOP 的理念。
总结
我们介绍了常说的类和继承的业内定义和使用案例。同时面向 Go 读者群里的疑惑,进行了解答。
实质上,Go 是 OOP,也不是 OOP。类和继承只是实现 OOP 的一种方式,但并不是没有这两者,他就不是 OOP 了。
不支持的原因也很明确,Go 在设计上,选择了组合优于继承的编程设计模式,它不是传统那种面向类型的范式。
你觉得呢?