类和继承

类和继承

大家好,我是煎鱼。

大家在早期学习 Go 时,一旦跨过语法的阶段后。马上就会进入到一个新的纠结点,Go 不支持面向对象吗?

如下读者对我提问的疑问:

image

这门编程语言里没有类(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 给出的答复是:

image

是的,也不是。原因是:

  • Go 有类型和方法,并且允许面向对象的编程风格,但没有类型层次。
  • Go 中的 “接口 “概念提供了一种不同的方法,我们认为这种方法易于使用,而且在某些方面更加通用。还有一些方法可以将类型嵌入到其他类型中,以提供类似的东西,但不等同于子类。
  • Go 中的方法比 C++ 或 Java 中的方法更通用:它们可以为任何类型的数据定义,甚至是内置类型,如普通的、“未装箱的 “整数。它们并不局限于结构(类)。
  • Go 由于缺乏类型层次,Go 中的 “对象 “比 C++ 或 Java 等语言更轻巧。

为什么不支持类和继承

有的人认为类和继承是面向对象的必要特性,必须要有,才能是面向对象的语言,但其实也并非如此。

面向对象(OOP)有不同的含义和解读,许多概念也可以通过结构体、组合和接口等方式进行表达,说是不支持传统的 OOP。

其实真相是 Go 是选择了另外一条路,也就是 ”组合优于继承“。我们所提到的类和继承并不是定义 OOP 的一种准则,只是协助完成 OOP 的方法之一。

不要本末倒置了,不让工具来定义 OOP 的理念。

总结

我们介绍了常说的类和继承的业内定义和使用案例。同时面向 Go 读者群里的疑惑,进行了解答。

实质上,Go 是 OOP,也不是 OOP。类和继承只是实现 OOP 的一种方式,但并不是没有这两者,他就不是 OOP 了。

不支持的原因也很明确,Go 在设计上,选择了组合优于继承的编程设计模式,它不是传统那种面向类型的范式。

你觉得呢?

参考

本图书由 煎鱼 ©2022 版权所有,所有文章采用知识署名-非商业性使用-禁止演绎 4.0 国际进行许可。