编程思想随笔

原文出自 https://www.v2ex.com/t/542022#reply41

大多数人所谓的 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 也不是继承封装多态的代名词

©著作权归作者所有,转载或内容合作请联系作者
平台声明:文章内容(如有图片或视频亦包括在内)由作者上传并发布,文章内容仅代表作者本人观点,简书系信息发布平台,仅提供信息存储服务。

推荐阅读更多精彩内容

  • OOA:Object-Oriented Analysis面向对象分析方法 是在一个系统的开发过程中进行了系统业务调...
    楚易枫阅读 9,129评论 0 5
  • 面向对象编程(OOP) 在前面的章节中,我们学习了Kotlin的语言基础知识、类型系统、集合类以及泛型相关的知识。...
    Tenderness4阅读 9,925评论 1 6
  • 面向对象编程(Object Oriented Programming,OOP,面向对象程序设计)是一种计算机编程架...
    半世浮华一生留恋阅读 5,502评论 1 2
  • 面向对象介绍 范式编程 编程是程序员用 特定的语法+数据结构+算法 组成的代码来告诉计算机如何执行任务的过程。 一...
    drfung阅读 5,924评论 0 1
  • 在一个方法内部定义的变量都存储在栈中,当这个函数运行结束后,其对应的栈就会被回收,此时,在其方法体中定义的变量将不...
    Y了个J阅读 9,872评论 1 14