Go 面向对象编程

作为当下比较热门的编程语言,社区中也时不时有针对Go 面向对象编程的讨论。笔者整理了一部分有价值的内容,供大家参考。

Go 是面向对象语言么?

faq

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

为何没有类(class)?

面向对象讨论 v友讨论

我来谈谈历史好了。

大多数人所谓的 OOP,其实都是说的“继承封装多态”这一套,但是,最早的 OOP,叫对象范式,对象范式的两个基本观念:

  • 程序是由对象组成的;
  • 对象之间互相发送消息,协作完成任务;

请问,有“继承封装多态”的定义吗?没有!!!这两个观念与后来我们熟知的面向对象三要素“封装、继承、多态”根本不在一个层面上。倒是与再后来的“组件、接口”神合。

世界上第一个面向对象语言是 Simula-67,第二个面向对象语言是 Smalltalk-71。Smalltalk 受到了 Simula-67 的启发,基本出发点相同,但也有重大的不同。先说相同之处,Simula 和 Smalltalk 都秉承上述对象范式的两个基本观念,为了方便对象的构造,也都引入了类、继承等概念。也就是说,类、继承这些机制是为了实现对象范式原则而构造出来的第二位的、工具性的机制。而 Simula 和 Smalltalk 最重大的不同,就是 Simula 用方法调用的方式向对象发送消息,而 Smalltalk 构造了更灵活和更纯粹的消息发送机制。

到了 1980 年代,C++出现了。Bjarne Stroustrup 在博士期间深入研究过 Simula,非常欣赏其思想,于是就在 C 语言语法的基础之上,几乎把 Simula 的思想照搬过来,形成了最初的 C++。C++问世以之初,主要用于解决规模稍大的传统类型的编程问题,迅速取得了巨大的成功,也证明了对象范式本身所具有的威力。

大约在同期,Brad Cox 根据 Smalltalk 的思想设计了 Objective-C,可是由于其语法怪异,没有流行起来。只有 Steve Jobs 这种具有禅宗美学鉴赏力的世外高人,把它奉为瑰宝,与 1988 年连锅把 Objective-C 的团队和产品一口气买了下来

形势使然,C++的广泛使用,大大的影响了学术界,学术界疯狂的热爱继承这套体系,希望利用继承来描述世间的真实类别系统,然而现实世界复杂多了,蝙蝠是鸟也是兽,水上飞机能飞也能游,它们该如何归类呢。这套继承体制遇到真实世界的时候破绽很大,但是学界已经刹不住车了,甚至搞出了多重继承。这股风潮影响了后续的 Java (虽然它没“继承”那套翔一样的多继承机制,引入了接口这个其实更接近 OOP 本质的东西),扭曲了人们对面向对象的理解。既然必须要先知道对象的类型,才能向对象发消息,那么“类”这个概念就特别重要了,而对象只不过是类这个模子里造出来的东西,反而不重要。渐渐的,“面向对象编程”变成了“面向类编程”,“面向类编程”变成了“构造类继承树”。放在眼前的鲜活的对象活动不重要了,反而是其背后的静态类型系统成为关键。“封装、继承”这些第二等的特性,喧宾夺主,俨然成了面向对象的要素。每个程序员似乎都要先成为领域专家,然后成为领域分类学专家,然后构造一个完整的继承树,然后才能 new 出对象,让程序跑起来。

到了 1990 年代中期,问题已经十分明显。UML 中有一个对象活动图,其描述的就是运行时对象之间相互传递消息的模型。1994 年 Robert C. Martin 在《 Object-Oriented C++ Design Using Booch Method 》中,曾建议面向对象设计从对象活动图入手,而不是从类图入手。而 1995 年出版的经典作品《 Design Patterns 》中,建议优先考虑组合而不是继承,这也是尽人皆知的事情。这些迹象表明,在那个时候,面向对象社区里的思想领袖们,已经意识到“面向类的设计”并不好用。只可惜他们的革命精神还不够,delphi 之父在创建.net 的时候,曾经不想要继承,在微软内部引起了很大的争议,最后是向市场低头,加上了继承。

2000 年后,工程界明确的提出:“组合比继承重要,而且更灵活”,Go 语言也许是第一个明确的对这种思路进行回应的语言,你认为 Go 不够 OOP,那是因为你观点里的 OOP 其实是被扭曲过的,时至今日,学术界仍然很关注继承,但是工程界的思路已经变了,OOP 本质是为了职责分离而设计的范式,核心的东西是对象,不一定需要类,OOP 也不是继承封装多态的代名词

怎么使用Go面向对象编程?

参考:Go struct/interface 最佳实践

“继承、封装、多态” 在Go中如何实现?

参考:聊聊 Go 语言中的面向对象编程

updatedupdated2021-11-222021-11-22