代码整洁之道

如今的软件系统开发难度主要在于其复杂度和规模，客户需求也再也不像Winston Royce瀑布模型指望那样在系统编码前完成全部的设计知足用户软件需求。在这个信息爆炸技术突飞猛进的时代，需求老是在不停的变化，随之在2001年业界17位大牛汇集在美国犹他州的滑雪胜地雪鸟（Snowbird）雪场，提出了“Agile”（敏捷）软件开发价值观，并在他们的努力推进下，开始在业界流行起来。在《代码整洁之道》（Clean Code），提出一种软件质量，可持续开发不只在于项目架构设计，还与代码质量密切相关，代码的整洁度和质量成正比，一份整洁的代码在质量上是可靠的，为团队开发，后期维护，重构奠基了良好的基础。在这本书中做者提出了注重实际开发实践的细节，而不是站在空洞的理论来谈论整洁之道。

什么是整洁代码？不一样的人会站在不一样的角度阐述不一样的说法。而我最喜欢的是Grady Booch（《面向对象分析与设计》做者）阐述：

“整洁的代码简单直接。整洁的代码如同优美的散文。整洁的代码从不隐藏设计者的意图，充满了干净利落的抽象和直截了当的控制语句。”

整洁的代码就是一种简约（简单而不过于太简单）的设计，阅读代码的人能很清晰的明白这里在干什么，而不是隐涩难懂，整洁的代码读起来让人感受到就像阅读散文-艺术的沉淀，做者是精心在乎缔造出来。

一：命名

命名包括变量、函数、参数，类等，一个好的命名可以很好的表述其所承载的业务，从命名上就已经很好的答复了为何存在，作了什么事，应该怎么用等的大部分的问题，阅读者看到它的时候没必要去深究其实现细节，一切都在命名上一目了然。一个好的命名必须是名副其实，不存在歧义（双关语或常见属于冲突），直接了当（否认语句或者误导性命名）。

二：函数：

从汇编/C时代开始的到如今函数一直都存在与咱们开发中不可或缺的一部分，结构化组织，重用.做为函数式语言的一等公民，全部程序的第一组代码。

好的函数必须足够的小，其次仍是足够的小。很容易想像阅读上千行的代码，是多么巨大的自我心理挑战，在实习的时候工做于毫无分层逻辑的WinForm平台下，彻底依赖RAD模式带来后置cs页面上千行的代码，每次修改都令我恼怒，巴不得重写整个业务逻辑。

一个函数在于短小精悍，只做一件事情，并作好这件事，只作一件事才能获得更好的利用函数名表述本身。

好的函数还应该是CQS（查询命令分离）无反作用的（不存在隐藏歧义的背后逻辑），并对其余类型不存在“依恋情节(Feature Envy)“（类中的变量被全部的函数使用这是理想的高内聚，万物皆有其位，然后物尽归其位）。

函数的参数应该足够的少，无最好，一次之，再次为二，尽可能避免三个以及三个以上，对于太多的参数你可能该采用IntroduceParameterObject(引入参数对象)。

重复的代码。重复在软件系统是万恶的,咱们熟悉的分离关注点，面向对象，设计原则…都是为了减小重复提升重用，Don’t repeat yourself！(DRY)。

三：注释、格式：

并非写出完备的注释就是好的开发人员，若是代码清晰的表述本身意图，那么注释反而多余。在《重构-改善现有代码之道》中Martin Fowler指出多余的注释是一种代码坏味道。就是好的注释随着项目的维护不断的重构不少时候也会变得不那么适应，而咱们不多会去主动维护。再则误导性的注释更为使用者所憎恨。固然有时咱们也得使用注释，注释并非万恶的，当咱们无法用代码来描述本身的时候，咱们须要注释去描述意图；多余有反作用的代码给使用者提供警告注释。TODO开发时进度控制，好比你在进行较大规模领域重构，目前有些逻辑再也不适应，不那么天然，而对它的重构还在任务列表最后，你能够选择标注在TODO中，最后完成从ToDoList中去掉每个TODO任务。

良好的代码格式，会使得咱们阅读更容易，一套共同的格式会让咱们查找理解更快速。每一个团队都应该遵循一套固定的代码格式规范，整个软件系统的统风格统一，而不是各自为政各成一体。

四：对象和数据结构：

数据结构指的就是数据的载体，暴露数据，而几乎没有有意义的行为的贫血类。最多见的应用在分布式服务，以wcf，webservice，reset之类的分布式服务中不可或缺的数据传输对象（DTO）模式，DTO（Request/Response）就是一个很典型的数据载体，只存在简单的get，set属性，而且更倾向于做为值对象存在。而对象则恰好相反做为面向对象的产物，必须封装隐藏数据，而暴露出行为接口，DDD中领域模型倾向于对象不只在数据更多暴露行为操做本身或者关联状态。

数据结构和对象之间看是细微的差异却致使了不一样的本质区别：使用数据结构的代码便于在不改动如今数据结构的前提下添加新的行为（函数），面向对象代码则便于不改动现 有函数的前提下添加新的类。换句话说就是数据结构难以添加新的的数据类型，由于须要改动全部函数，面向对象的代码则难以添加新的函数，由于须要修改全部的类。在任何一个复杂的系统都会同时存在数据结构和对象，咱们须要判断的是咱们须要的是须要添加的新的数据类型仍是新的行为函数。

隐藏做为面向对象主要特性中的最重要特性，封装隐藏是面向对象中最重要的特性，一个好的面向对象代码确定是对对象的内部细节作到很好的隐藏封装，封装事后才有是多态，委派之类的。一个好的面向对象的代码必定是具备很好的隐藏封装，易于测试，不稳定因素每每集中在一处很小或者固定的位置，不稳定因素的变动不会致使更大面积的修改扩散。

对象的隐藏要求：方法不该和任何调用方法返回的对象操做，换句话之和朋友说话，不和陌生人说话（迪米特法则，或被译为最小知识原则），好比：ctxt.getOptions().getSearchDir().getAbsolutePath()，就是迪米特法则的反例模式。

五：异常处理：

每一个软件系统都避不开异常处理，须要防止它搞乱咱们的逻辑。

利用异常处理代替返回异常编码，返回异常编码会是的代码中充满了if/else，switch/case扰乱个人代码流转。

对于特定异常扑捉，能够面向异常编程，编写特定的异常类，使得对异常封装转化，更容易捕善后获处理。

避免返回null，在软件系统中最多见头疼的就是NullReferenceException。在非特定场景下，咱们应该极力的避免返回null。面对这种场景咱们能够采用null object Pattern（空对象模式）返回特例对象，如c#类库中的Guid.Empty，string.Empty；对于集合类型咱们能够返回长度0的空集合而非null；

六：边界：

在系统开发中不可能一切都得从零开始，本身写全部的代码，更好的方案是须要整合一些开源或者第三方的项目，为我所用。可是不能让这些非本身的代码渗侵中咱们的代码各处，有一些因此功能很强大的第三方产品，但不必定具备很好的抽象。不少时候我更宁愿花些时间抽象出咱们本身所须要的接口在第三方类库上外覆一层本身的抽象，这样不只便于TDD，由于咱们可以很好的建立伪对象，使的测试独立不依赖外部资源，获得快速反馈；并且在设计上获得很好的扩展，当因为某些缘由如第三方类库再也不能知足业务需求，或者权益收费等等，咱们能够很好的切换底层而使得修改不会扩散到系统各处。外覆类也是处理遗留代码带入测试容器的一种很好实践。

七:单元测试：

TDD中测试代码在每每和产品代码差很少，在系统中占据一半的代码量，很差的测试代码也可能拖累项目的开发。整洁的测试代码应该是遵循first原则的：

快速（Fast）：测试应该快速，由于须要不断的运行测试获得反馈，咱们须要的快速反馈，错误的快速定位。因此你的测试就不能依赖太多的外部资源，数据库，硬件环境等等，对于这些外部资源应该采用伪对象模式来隔离。

独立（Independent）：测试应该是独立的，独立于测试用例之间，独立于特定的环境，独立于测试的运行顺利。数据的独立一般采用两种独立方式，每一个测试环境的独立，不少时候咱们但愿每一个测试运行完成后环境（如数据库）和运行前保持一致，如数据库高层次测试咱们更但愿在每次测试完成后不会带来多余或者改变数据。再则就是数据的隔离，咱们的行为测试（BDD，集成高角度的测试）都会依赖一些固定的信息，一般是登录系统的人员，咱们能够采用么个测试创建一个不一样的登录人员来使的每一个测试之间的s数据隔离。

可重复（Repeatable）：测试应该能够在任何环境下可重复，可运行，由于测试独立于环境外部资源。

自足验证（Self-Validation）：测试应该有经过失败的标示，从每个测试上能获得一处代码逻辑的经过失败。每一个测试都有对同一件事物的一种行为的断言，也之断言一件事，从而可以很好的错误定位，避免高技巧性的测试。

及时（Timely）：测试应该是及时编写的，TDD要求测试必须在实现代码以前，提早以使用者的角度定义使用接口方式。若是你是在编码后补测试，你的测试覆盖极可能不够，并且容易定式于实现的逻辑写测试，不少时候对于较低层次的测试也不是那么容易写的。一个设计良好的代码必须也是可测试的。

八：类：

面向对象的类似行为的抽象，函数代码块的组织形式，在面向对象中咱们的软件系统是由众多的类和类之间的交互协做完成了。面向对象特征：封装，继承，多态度，委派。一个设计良好的类该是具备良好的封装，站在使用者的调度考虑那些是使用接口，那些是内部细节；这是面向对象最主要的特征，可是有时会与测试冲突，能够适当的放开并仅限于于测试调用。继承和多态在面向对象中能够实现重用，但我更倾向于继承不是为了重用，而是隔离变化；大量的滥用继承不干净的继承体系将会致使庞大的继承体系，继承体系中众多职责重复在各个同级派生类，理想的继承应该是知足里氏替换原则（LSP：每一个父类出现的地方都应该能够被派生类所替换，而且能正确的工做）；面oo第二原则组合优先。而委派则是一个类把部分功能委派给其余类来完成，体现类之间的协做，相似组合。

类第一原则应是是小并足够的小。但与函数不一样的是函数以代码行数统计，而类以权责统计。

单一原则（SRP），体现了类只应该作一件事，而且作好它，这样变化修改的理由只有他所作的事。良好的软件设计中系统是由一组大量的短小的类和他们之间功能协做完成的，而不是几个上帝类。

内聚：高内聚低耦合：提出与结构化编程，内聚表述模块内部功能不一样操做逻辑之间的距离，若是一个类的每一个变量都被每一个方法所使用为最大的内聚；耦合描述模块之间的依赖程度；高内聚低耦合以简单的方式表述就是功能完备（高内聚）对象之间是经过稳定的接口（低耦合）交互的。

依赖倒置（DIP）：描述组件之间高层组件不该该依赖于底层组件。依赖倒置是指实现和接口倒置，采用自顶向下的方式关注所需的底层组件接口，而不是其实现。DI模式很好的就是应用IOC（控制反转）框架，构造方式分为分构造注入，函数注入，属性注入；.net平台流行的IOC框架有Unity，Castle windsor，Ninject，Autofac等框架支持，

九：并发编程：

并发是一种时间(When)和目的(What)的解耦,提供应用程序的吞吐量，提升cpu利用率；可是并发编码不是那么容易，再加上临界资源竞争死锁。在并发编程的时候咱们必须尽可能遵照一些原则：

并发已经足够复杂，咱们更须要代码分离，分离线程相关代码和非线程相关代码，单一权责，尽量下降其复杂度。

限制临街资源的做用域，为临界资源加锁是防止并发的策略，可是必须正确的加锁，若是造成等待环，就致使死锁。

利用数据副本（值对象或者克隆）在线程之间传递数据，避免线程以前操做的并发影响；线程独立，使其在本身的环境中运行，不能其余线程共享数据。

对于临界资源加锁应尽可能保持加锁范围尽量的小。

更多关于简单设计，迭进，逐步编程代码，坏味道，并发示例请参见代码整洁之道。