行云间 2013-06-07
前些天发了一篇《如此理解面向对象编程》的文章,然后引起了大家的热议。然后我在微博上说了一句——“那23个经典的设计模式和OO半毛钱关系没有,只不过人家用OO来实现罢了……OO的设计模式思想和Unix的设计思想基本没什么差别”,结果引来了一点点争议。所以,我写下这篇文章把我的观点说明一下。我希望这样可以让大家更容易地理解什么是设计模式。我顺便帮OO和 Unix/Linux搞搞基。
在正式说明GoF的那23个经典的设计模式其实和OO关系不大并和Unix的设计思想很相似的这个观点之前,让我先来说说什么是模式?设计模式的英文是Design Pattern,模式是Pattern的汉译。所谓Pattern就是一种规则,或是一种模型,或是一种习惯。Pattern这个东西到处都是,并不只有技术永锊庞小1热纾
这就是Pattern,只要你细心观察,你会发现这世间有很多很多的Pattern。
《设计模式》这本书中,GoF这四个人总结了23个经典的面向对象的设计模式,某中有5个创建模式,7个结构模式,11个行为模式。很多人都会觉得这是面向对象的设计模式,很多人也觉得非面向对象不能用这些模式。我觉得这是一种教条主义。就像《那些流行的编程方法》中的“设计模式驱动型编程”一样,就像《如此理解面向对象》一样的那么的滑稽。
好了,回到我的论点——“GoF的这23个设计模式和OO关系不大,并且和Unix的设计思想基本一致,只不过GoF用OO实现了它们”,就像我上面说过的那些生活中的Pattern一样,只要你仔细思考,你会发现这23个设计模式在我们的生活和社会中也能有他们的身影。而且也一样可以用OO的方式实现之。
让我们来看看这23个经典的设计模式中的几个常用的模式:
Factory 模式,这个模式可能是是个人都知道的模式。这个模式在现实社会中就像各种工厂一样,工厂跨界的不多,基本上都是在生产同一类的产品,有的生产汽车,有的生产电视,有的生产衣服,有的生产卫生纸……基本上来说,一个生产线上只有做同一类的东西。这和 Factory模式很相似。编程中,像内存池,线程池,连接池等池化技术都是这个模式,当然,Factory给你的一个对象,而不单单只是资源,factory创建出来的对象都有同样的接口可以被多态调用。这其实和Unix把所有的硬件都factory成文件一样,并提供了read/write等文件操作来让你操作任意设备的I/O。
Abstract Factory:抽象工厂这个模式是创建一组有同一主题的不同的类。这个模式在现实社会当中也有很多例子,比如:
这就是抽象工厂的业务模型(或是:Business Pattern),你觉得是不是不一定非要用OO来实现这样的模式?(我们思考一下,我们会不会被先入为主了,觉得不会OO都不知道怎么实现了),不用OO,用相同格式但内容不同的配置文件是不是也能实现?在Unix下,抽象工厂这个模式在Unix下就像是/etc/rcX.d下的那些东西,1代表命令行单用户,2,代表命令行多用户,3代表命令行多用户完整模式启动,5代表图形界面启动,0代表关机,6代表重启,你要切换的话,init <X>就行了。
Prototype模式,原型模式,复制一个类的实现。这个模式在现实中的例子也有很多:传真,复印,都是这个模式。Unix进程和Github项目的Fork就是一种。进程fork明显不是OO的模型(参看:关于Fork的一道面试题)。用非OO的方法同样可以实现这个模式。
Singleton模式,单例模式。生活中,公司只有一个CEO,法律限制你只能有一个老婆,你只能有一个身份证号,一个TCP端口只能被一个进程使用,等等。软件开发方面,并不一定只有OO才能做到,你可以用一个全局变量,一个中心服务器,甚至可以使用行政手段来约束开发中不会出现多个实例。Unix下实现单例进程的一个最常用的实践是在进程启动的时候用“(S_IRUSR | S_IWUSR | S_IRGRP | S_IROTH)”模式打开一个“锁文件”。
Adapter模式,适配器模式。可以兼容欧洲美国中国的插头或插座,万能读卡器,可以播放各种格式多媒体文件的插放器,可以解析FTP/HTTP/HTTPS/等网络协议的浏览器,可以兼容各大银行的银联接口、支付宝、Paypal、VISA等银行接口,可以适配各种后端的解释器的Nginx或Apache,等等。用非OO的编程方式就是重新包装成一个标准接口。这个模式很像Unix下的/dev下的那些文件,操作系统把系统设备适配成文件,于是你就可以使用read/write来进行读写了。
Bridge模式,桥接模式。这个模式用的更多,比如一个灯具可以接各种灯泡或灯管,一个电钻可以换上不同的钻头来适应不同的材料,一辆汽车可以随时更换不同的轮胎来适应不同的路面,你的桌面可以随时更换一个图片来适应你的心情,你的单反相机可以更换不同的镜头来拍不同的照片…… 桥接模式说白了就是组件化,模块化,可以自由拼装。在OO中,其主要是通过让业务类组合一个标准接口来完成,这在非OO的程序设计中用得实在是太多了,主要是通过回调函数或是标准接口来实现。这个也是Unix设计哲学中的主要思想。在Unix中,文件的权限使用的就是Bridge模式,标准接口是用户,用户组和其它,rwx三个模式,然后用 chmod/chown改一改,这文件就有不同的属主和属性了。
Decorator模式,装饰模式。这个模式在生活中太多了,你给你的手机或电脑贴个什么,挂个什么,吃东西的时候加点什么佐料,多点肉还是多个蛋,一个Unix/Linux命令的各种参数是对这个命令的修饰,等等。我觉得这个模式在Unix中最经常的体现就是通过管道把命令连接起来来完成一个功能,比如:ps -elf 是列进程的,用管道 grep hchen就可以达到过滤的目的,grep的逻辑没有侵入ps中,grep 修饰了 ps,但是其组合起来完成了一个特定的功能。可见,这和OO没有什么关系。
Facade模式,这个模式我们每个人从会编程的时候就在无意识地用这个模式了。这个模式就是把一大堆类拼装起来,并统一往外提供提口。在现实生活中这样的例子太多了,比如:旅行社把机票,酒店,景点,导游,司机,进店打了一个包叫旅行;IBM把主机,存储,OS,J2EE,DB,网络,流程打了个包叫企业级解决方案。Unix中最典型的一个例子就是用Shell脚本组合各种命令来创造一个新的功能,这是的Shell中的各种命令通过标准I/O这个接口进行组合交互。
Proxy模式,代理模式。我们租个房,买个机票,打个官司,都少不了代理,人大代表代理了老百姓去行使政治权力。我们去饭馆里吃饭也是一种代理模式,因为我们只管吃就好了,洗菜做饭洗碗的工作都被Proxy帮你干了,于是你就省事多了。操作系统就是硬件的代理,CDN就是网站的代理,……使用代理你可以让事情变理更简单,也可以在代理层加入一些权限检查,这样可以让业务模块更关注业务,而把一些非业务的事情剥离出来交给代理以完成解耦。可见这个模式和OO没啥关系。Unix下这个模式最佳体现就是Shell,它代理了系统调用并提供UI。还有很多命令会帮你把/proc目录下的那些文件内容整理和显示出来。
Chain of Responsibility模式,劫匪来抢银行,保安搞不定,就交给110,110搞不定就交给武警。有什么事件发生时的响应的Escalation Path,办公中的逐级审批。这个模式用一个函数指针数组或是栈结构就可以实现了。这个思想很像编程中的异常处理机制,一层一层地往上传递异常直到异常被捕捉。在Unix下,一个最简单的例子就是用 && 或 || 来把命令拼起来,如:cmd1 && cmd2 或 cmd3 || cmd4 , 如果cmd1失败了,cmd2就不会执行,如果cmd3失败了,cmd4才会执行。如: cd lib && rm -rf .o 或 ping -c1 coolshell.cn && ssh [email protected]
Command模式,这恐怕是软件里最多的模式了,比如:编译器里的Undo/Redo,宏录制。还有数据库的事务处理,线程池,设置向导,包括程序并行执行的指令集等等。这个模式主要是把一个对象的行为封装成一个一个的有相同接口的command,然后交给一个统一的命令执行器执行或管理这些命令。这个模式和我们的Unix/Linux机器启动时在/etc/init.d下的那些S和K开头的脚本很像,把各种daemon的启动和退出行为封装成一个脚本其支持reload/start/stop/status这样的命令,然后把他们按一定的规范做符号链接到/etc/init.d目录下,这样操作系统就会接管这些daemon的启动和退出。
Observer模式,观察者模式,这个模式也叫pub-sub模式,很像我们用手机订阅手机报,微博的 follow的信息流也是这样的一个模式。MVC中的C会sub V中的事件,用非OO的方式其实也是一个回调函数的事。在很多异步系统中,你需要知道最终的调用有没有成功,比如说调用支付宝的支付接口,你需要向支付宝注册一个回调的接口,以便支付宝回调你。Linux下的一些系统调用如epoll/aio/inotify/signal都是这种思路。
Strategy 模式,策略模式,这个模式和Bridge模式很像,只不过Bridge是结构模式,其主要是用于对象的构造;而Strategy是行为模式,主要是用于对象的行为。策略模式很像浏览器里的各种插件,只要你装了某个插件,你就有某个功能。你可以安装多个插件来让你的浏览器有更多的功能(书本上的这个模式是你只能选用一个算法,当然,我们不用那么教条)。就像《你可能不知道的Shell》中的那个设置设置$EDITOR变量后可以按ctrl+x e启动编译器,或是用set -o vi或set -o emacs 来让自己的shell像vi或 emacs 一样,或是像find -exec或xargs一样的拼装命令。
Bridge 和 Strategy是OO设计模式里的“Favor Composition Over Inheritance” 的典范,其实现了接口与实现分离的。 Unix中的Shell就是一种,你可随意地更换不同的Shell。还有Emacs中的LISP驱动C,C实现了引擎,交给LISP实现逻辑。把程序分为前端和后端,通过socket专用应用协议进行通讯,前端实现策略,后端实现机制。再看看makefile把编译器和源代码的解耦,命令行输出这个接口可以把一个复杂的功能解耦并抽像成各种各样小而美的小功能命令,等等这样的例子,你会发现,还有大量的编程框架都会多少采用这样的思想,可以让你的软件像更换汽车零件一样方便。我在用Unix的设计思想来应对变更的需求中说过灯具厂,灯泡厂,和开关厂的例子。
因为写作仓促,上面的那些东西,可能会你让你觉得有些牵强,那么抱歉了,你可以帮我看看在生活中和 Unix里有没有更帅的例子。
不过,我们会发现上面OO搞出来的那么多模式在Unix下看来好像没有那么复杂,而且Unix下看起来并没有那么多模式,而且Unix中的设计模式无非就是这么几个关键词:单一,简洁,模块,拼装。我们再来看看OO设计的两大准则:1)钟情于组合而不是继承,2)依赖于接口而不是实现。还有S.O.L.I.D原则也一样(如果你仔细观察,你会发现SOLID原则在Unix下也是完美地体现)。你看,Unix和OO设计模式是不是完美的统一吗?
我有种强烈的感觉——Unix对这些所谓的OO的设计模式实现得更好。因为Unix就一条设计模式!再次推荐《The Art of Unix Programming》
我上面提到了《The Art of Unix Programming》,所以我有必要再谈谈这本书中我中毒最深的一章《模块性:保持清晰和简洁》中所谈到的胶合层。
胶合层这一节中说了,我们开发软件一般要么Top-Down,要么Bottom-Up,这两种方法都有好有不好。顶层一般是应用逻辑层,底层一般是原语层(我理解为技术沉淀层,或是技术基础层)。自顶向下的开发,你可能会因为开发到底层后发现底层可沉淀的东西越来越不爽(因为被可能被很多业务逻辑所侵入),如果自底向上的开发,你可能越到上层你越发现很多你下面干的基础上工作有很多用不上(比如干多了)。所以,最好的方式是同时进行,一会顶层,一会底层,来来回回的开发——说白了就是在开发中不断的重构,边开发边理解边沉淀。
无论怎么样,你会发现需要一层胶合层来胶合业务逻辑层和底层原语层(软件开发中的业务层和技术层的胶合),Unix的设计哲学认为,这层胶合层应该尽量地薄,胶合层越多,我们就只能在其中苦苦挣扎。
其实,胶合层原则就是分离原则上更为上层地体现,策略(业务逻辑)和机制(基础技术或原语)的清楚的分离。你可以看到,OO和 Unix都是在做这样的分离。但是需要注意到的时,OO用抽象接口来做这个分离——很多OO的模式中,抽象层太多了,导致胶合层太过于复杂了,也就是说,OO鼓励了——“厚重地胶合和复杂层次”,反而增加了程序的复杂度(这种情况在恶化中)。而Unix采用的是薄的胶合层,薄地相当的优雅。(通过这段话的描述,我相信你会明白了《如此理解面向对象编程》中的个例子——为什么用OO来实现会比用非OO来实现更为地恶心——那就是因为OO胶合层太复杂了)
OO的最大的问题就——接口复杂度太高,胶合层太多!(注:Unix编程艺术这本书里说了软件有三个复杂度:代码量、接口、实现,这三个东西构成了我们的软件复杂度)
大家一定记得《SteveY对Amazon和Google平台的长篇大论》中Amazon中那个令人非常向往的SOA式的架构。因为以前在Amazon,有些话不好说。现在可以说了,我在Amazon里,我个人对这个服务化的架构相当的不待见,太复杂,复杂以乱七八糟,方向是好的,想法也是好的,但是这东西和OO一样,造成大量的接口复杂度,今天的Amazon,完全没人知道各个服务是怎么个调用的,一团乱麻(其内部并不像你看到的AWS那么的美妙。注:AWS是非常不错的,是相当好的设计)。
那么我们怎么来解决SOA的接口复杂度问题?其实,Unix早就给出了答案——数据驱动编程(详见:《Unix 编程艺术》的第9.1章),在我离开Amazon的时候,美国总部的Principle SDE们在吐槽今天Amazon的SOA架构,更好的架构应该是数据驱动式的。(今天还在Amazon的同学可以上内网boardcast上看看相关的 Principle Talk视频)