`
mmk12333
  • 浏览: 33177 次
  • 性别: Icon_minigender_1
  • 来自: 北京
社区版块
存档分类
最新评论

面向对象编程的弊端

 
阅读更多

 

英文原文:What’s Wrong with OOP and FP

    我不理解为什么人们会对面向对象编程和函数式编程做无休无止的争论。就好象这类问题已经超越了人类智力极限,所以你可以几个世纪的这样讨论下去。经过这些年对编程语言的研究,我已经清楚的看到了问题的答案,所以,我经常的发现,人们对这些问题做的都是一些抓不住要领、无意义的争论。

  简言之,不论是面向对象编程还是函数式编程,如果你走了极端,那都是错误的。面向对象编程的极端是一切都是对象(纯面向对象)。函数式编程的极端是纯函数式编程语言。

  面向对象编程的问题

  面向对象的问题在于它对“对象”的定义,它试图将所有事情就纳入到这个概念里。这种做法极端化后,你就得出来一个一切皆为对象思想。但这种思想是错误的,因为

有些东西不是对象。函数就不是对象。

  也许你会反驳,在 Python 和 Scala 语言里,函数也是对象。在 Python 中,所有的含有一个叫做__call__的方法的对象其实都是函数。类似的,在 Scala 语言里,函数是拥有一个叫做apply方法的对象。但是,经过认真的思考后,你会发现,它混淆了源祖和衍生物的概念。函数是源祖,包含函数的对象实际是衍生物。__call__apply它们自身首先就是要定义的所谓“函数对象”。Python 和 Scala 实际上是绑架了函数,把它们监禁在“对象”里,然后打上“__call__” 和 “apply” 标签,把它们称作“方法”。当然,如果你把一个函数封装到对象里,你可以像使用一个函数那样使用对象,但这并不意味着你可以说”函数也是对象“。

  大多数的面向对象语言里都缺乏正确的实现一等(first-class)函数的机制。Java 语言是一个极致,它完全不允许将函数当作数据来传递。你可以将全部的函数都封装进对象,然后称它们为“方法”,但就像我说的,这是绑架。缺乏一等函数是为什么 Java 里需要这么多“设计模式”的主要原因。一旦有了一等函数,你将不再需要大部分的这些设计模式。

  函数式编程的问题

  相似的,函数式编程走向极端、成为一种纯函数式编程语言后,也是有问题的。为了讨论这个问题,我们最好先理解一下什么是纯函数式编程语言。出于这个目的,你可能需要阅读一下 Amr Sabry 先生(他是我的博士导师)的 What is a Purely Functional Language。概述一下就是,纯函数式编程语言是错误的,因为

有些东西不是纯的。副作用是真实存在的。

  所谓纯函数,基本上就是忽略了物质基础(硅片、晶体等)表现的特性。纯函数式的编程语言试图通过函数——在函数中传入传出整个宇宙——来重新实现整个宇宙。但物理的和模拟的是有区别的。“副作用”是物理的。它们真实的存在于自然界中,对计算机的效用的实现起着不可或缺的作用。利用纯函数来模拟它们是注定低效的、复杂的、甚至是丑陋的。你是否发现,在C语言里实现一个环形数据结构或随机数发生器是多么的简单?但使用 Haskell 语言就不是这样了。

  还有,纯函数编程语言会带来巨大的认知成本。如果你深入观察它们,你会看到monads使程序变得复杂,难于编写,而且 monad 的变体都是拙劣的修改。monads 跟 Java 的“设计模式”具有相同的精神本质。使用 monad 来表现副作用就像是 visitor 模式来写解释器。你是否发现,在很多其它语言里很简单的事情,放到 Haskell 语言就变成了一个课题来研究如何实现?你是否经常会看到一些有着诸如“用 Monadic 的方式解决一个已经解决的问题”这样标题的论文?有趣的是,Amr Sabry 先生一起合著了这样一篇论文。他试图用 Haskell 语言重新实现 Dan Friedman 的 miniKanren,但他不知道如何构造这些monads。他向 Oleg Kiselyov——公认的世界上对 Haskell 类型系统知识最渊博的人——求教。而且你可能不知道,Amr Sabry 先生应该是世界上对纯函数编程语言知识最渊博的人了。他们在 Oleg 的帮助下解决了疑难后一起合著了这篇论文。讽刺的是,Dan Friedman——这个程序的原作者——在使用 Scheme 语言开发时却没有遇到任何问题。我在 Dan 的代码基础上重新实现了 miniKanren,增加了一个复杂的负操作。为了实现这个,我需要使用约束式逻辑编程和其它一些高级的技巧。鉴于用 Haskell 语言重写基本的 miniKanren 将两位世界级程序员都难倒了的事实,我不敢想象如果用 Haskell 的monads如何能实现这些。

  有些人认为monads的价值在于,它们“圈定”了副作用的范围。但如果monads不能真正的使程序变得易于分析或更安全,这种“圈定”有什么用呢?事实上就是没用处。本身就跟副作用一样难于分析理解。没有一种东西可以说monads能使其简单而静态分析办不到的。所有的静态分析研究者都知道这点。静态分析利用了monads的本质,但却去除了程序员编写monads代码的负担——而不是增加负担。当然,过度的副作用会使程序很难分析,但你也可以使用C语言写出纯函数,例如:

int f (int x) { int y = 0; int z = 0; y = 2 * x; z = y + 1; return z / 3;}

  你用汇编语言也能做到这些。纯函数并不专属于纯函数式编程语言。你可以用任何语言写出纯函数,但重要的是,你必须也应该允许副作用的存在。

  回首历史,你会发现,数学上的理想主义是纯函数编程语言的背后推动力。数学函数简单漂亮,但不幸的是,它们只是在你构建原始纯粹的模型时才好用。否者它们会变得很丑陋。不要被“范畴论”等标语吓倒。我对范畴论了解很多。即使是范畴理论学家自己也称其为“抽象无意义”,因为它们基本上就是用一种怪诞的方式告诉你一些你已经知道的事情!如果你读过 Gottlob Frege 的文章 Function and concept,你会吃惊的发现,在他的这篇论文前的大多数数学家都错误的理解了函数,而这仅仅是刚刚 100 多年前的事。事实上,数学语言上的很多事情都是有问题的。特别是微积分方面。编程语言的设计者们没有理由要盲目的学习数学界。

  不要盲目的爱上你的模型

  无论任何事情,当走向极端时都是有害的。极端化时,面向对象编程和函数式编程都试图把整个世界装入它们的特有模型中,但这个世界是在完全不依赖我们的大脑思考的情况下运转的。如果以为你有一个锤子,就把所有东西都当成钉子,这明显是不对的。只有通过认清我们的真实世界,才能摆脱信仰对我们的束缚。

不要让世界适应你的模型。让你的模型适应世界。

分享到:
评论

相关推荐

    MVC编程模型在Web程序中的应用及Java实现.pdf

    为了克服当前Web应用开发技术的种种弊端,文章将传统的面向对象的编程模型--MVC模型引入Web应用程序的开发中,并使用以Java为核心的技术对其进行具体实现

    FORMEN NETSHOP

    –MVC设计模式早在面向对象语言Smalltalk-80中就被提出并在此后得到业界的广泛接受 –它包括三类对象 ?模型(Model)对象 –是应用程序的主体部分 ?视图(View)对象 –是应用程序中负责生成用户界面的部分 ?控制器...

    OBE视域下JAVA课程教学改革探索与实践.pdf

    为了改革传统教学方式存在的弊端,建立符合培养应用型人才需求的教学形式,本文探讨了对java面向对象程序设计课程的教学改革方案。首先是根据内外需求反向设计确定课程目标,然后是围绕情境项目组织教学内容、以学生为...

    架构之美(中文版)

    第13章 软件架构:面向对象与面向函数 299 13.1 概述 299 13.2 函数式示例 302 13.3 函数式解决方案的模块性评价 305 13.4 面向对象视图 313 13.5 面向对象模块性的评价和改进 319 13.6 代理:将操作封装到...

    架构之美(中文清晰完整版)

    第13章 软件架构:面向对象与面向函数 299 13.1 概述 299 13.2 函数式示例 302 13.3 函数式解决方案的模块性评价 305 13.4 面向对象视图 313 13.5 面向对象模块性的评价和改进 319 13.6 代理:将操作封装到...

    架构之美中文文字版(_Reilly)

     第13章 软件架构:面向对象与面向函数 299  13.1 概述 299  13.2 函数式示例 302  13.3 函数式解决方案的模块性评价 305  13.4 面向对象视图 313  13.5 面向对象模块性的评价和改进 319  13.6 代理:...

    游戏引擎开发引导

    架都差不多,是完全面向对象,代码容易读,但它发展存在严重的弊端,这个也是它为什么 不是牛B引擎的原因。但从渲染和动画方面来看,U3 的 MATERIAL TREE 和 ANIM TREEE 是 2个飞跃的,当我对我自己引擎渲染材质和...

    《架构之美》--王海鹏,蔡黄辉

    1798.9 文件系统 1838.10 轶闻趣事 1888.11 弊端 1898.12 后继者 1908.13 延伸阅读 191第9章 JPC:一个纯Java的x86 PC模拟程序 1939.1 简介 1939.2 概念验证 1959.3 PC架构 1989.4 Java性能技巧 1999.5 ...

    Java课程设计--个人通讯录管理系统方案.doc

    使学生巩固和加深以Java语言为根底的面向对象编程技术理论知识的理解,提高实际 动手编程能力的培养,掌握以Java为核心的应用软件开发方案,到达能独立阅读、编制 和调试一定规模的Java程序的水平。 3 1.3本选题的...

    Java课程设计--个人通讯录管理系统(1).doc

    使学生巩固和加深以Java 语言为基础的面向对象编程技术理论知识的理解,提高实际动手编程能力的培养,掌握 以Java为核心的应用软件开发方案,达到能独立阅读、编制和调试一定规模的Java程序 的水平。 3 1.3本选题的...

    Linux多线程服务端编程:使用muduo C++网络库

    《Linux多线程服务端编程:使用muduo C++网络库》主要讲述采用现代C++在x86-64 Linux上编写多线程TCP网络服务程序的主流常规技术,重点讲解一种适应性较强的多线程服务器的编程模型,即one loop per thread。...

    java8源码-MultiTypeBindings:[DEPRECATED]零代码实现RecyclerView的Adapter

    现在我把这个库废弃了,原因有二,最主要的原因是:从面向对象的编程思想来看,我个人不赞同将和列表展示无直接关联的功能 放在 RecyclerView的Adapter中(包括上拉加载,下拉刷新,以及异常页面),goog

    基于Java的奖学金评定系统的设计与实现开题报告.doc

    本课题要研究或解决的问题和拟采用的研究手段(途径): " "研究问题 " "奖学金评定系统针对现在奖学金管理方案进行实现,该系统采用面向对象的Java开" "发,使得奖学金系统可以以各自的身份(教务人员、辅导员、...

    花田考试系统MyExam 1.0.1

    1.菜单加亮防刷新技术:本系统抛弃网上流传的两种解决方案:URL标记和cookies技术,采用独到的java命令模式,真正做到菜单加亮防刷新的终极解决方案,提现了面向对象编程的艺术之美。 2.Tiles模板技术:整合struts2...

    基于数据库技术的物业管理信息系统.doc

    前端开发工 具选用Delphi语言,实现有关界面和代码设计,作为当前最流行的基于Windows功能环境 、面向对象的可视化应用软件开发工具,在数据库方面的优势尤为突出,Delphi连接数 据库的数据引擎为主要有 BDE、ADO、...

Global site tag (gtag.js) - Google Analytics