架构整洁之道-设计原则

4 设计原则

  通常来说,要想构建一个好的软件系统,应该从写整洁的代码开始做起。这就是SOLID设计原则所要解决的问题。

  SOLID原则的主要作用就是告诉我们如何将数据和函数组织成为类,以及如何将这些类链接起来成为程序。请注意,这里的“类”并不意味着SOLID原则只适用于面向对象编程,这里的类仅仅代表了一种数据和函数的分组,每个软件都会有自己的分类系统,不管它们各自是不是将其称为“类”,事实上都是SOLID原则的适用领域。

  一般情况下,我们为软件构建中层结构的主要目标如下:

  (1) 使软件可容忍被改动;

  (2) 使软件更容易被理解;

  (3) 构建可在多个软件系统中复用的组件;

  我们这里之所以会使用“中层”这个词,是因为这些设计原则主要适用于那些进行模块级编程的程序员。SOLID原则应该直接紧贴于具体的代码逻辑之上,这些原则是用来帮助我们定义软件架构中的组件和模块的。

  SOLID原则是指:

  (1) 单一职责原则(Single Responsibility Principle,SRP),每个类都应该只有一个引起它变化的原因,换句话说,一个类应该只有一个职责或功能,当需求改变时,会影响这个类的修改只应与该职责相关;

  (2) 开闭原则(Open-Closed Principle,OCP),类模块应该是对扩展开放的(open for extension),对修改关闭的(closed for modification),也就是说,已有的代码在不改动的情况下可以增加新的行为,通过继承和多态来实现新功能的添加而不是修改已有的代码;

  (3) 里氏替换原则(Liskov Substitution Principle,LSP),子类型必须能够替换掉它们的基类型,这意味着任何使用基类型的地方,子类型都可以无缝替代,并且不会导致程序的行为出现错误或异常;

  (4) 接口隔离原则(Interface Segregation Principle,ISP),客户端不应该被迫依赖它们不需要的方法,接口应该小而具体,每个接口代表一种独立的责任或服务,这样可以使系统更松散耦合且更易复用;

  (5) 依赖倒置原则(Dependency Inversion Principle,DIP),高层模块不应该依赖低层模块,二者都应当依赖其抽象,抽象不应依赖细节,细节应当依赖抽象,这个原则强调了依赖于抽象而非具体实现的重要性,通过依赖注入等方式实现,有助于提供代码的可扩展性和可测试性;

4.1 单一职责原则(Single Responsibility Principle)

  SRP很容易被误解为“每个模块都应该只做一件事”,而实际上,这只是SRP的一部分,实际上SRP应该被描述成“任何一个软件模块都应该只对某一类行为负责”。这里的软件模块是指一组紧密相关的函数和数据结构。在这里,“相关”这个词实际上就隐含了SRP这一原则。代码与数据就是靠着与某一类行为者的相关性被组合在一起的。

  我们来看一些反面案例。

4.1.1 重复的假象

  某个工资管理程序中的Employee类有三个函数calculatePay()、reportHours()和save():

在这里插入图片描述

  如上所述,这个类的三个函数分别对应的是三类非常不同的行为者,违反了SRP设计原则:
  (1) calculatePay()函数是由财务部门制定的,他们负责向CFO汇报;

  (2) reportHours()函数是由人力资源部门制定并使用的,他们负责向COO汇报;

  (3) save()函数是由DBA制定的,他们负责向CTO汇报;

  这三个函数被放在同一个源代码文件,即同一个Employee类中,程序员这样做实际上就等于使三类行为者的行为耦合在了一起,这有可能会导致CFO团队的命令影响到COO团队所依赖的功能。例如,calculatePay()函数和reportHours()函数使用同样的逻辑来计算正常工作时数,程序员为了避免重复编码,通常会将该算法单独实现为一个名为regularHours()的函数:

在这里插入图片描述
  接下来,假设CFO团队需要修改正常工作时数的计算方法,而COO带领的HR团队不需要这个修改,因为他们对数据的用法是不同的,这时候,负责这项修改的程序员会注意到calculatePay()函数调用了regularHours()函数,但可能不会注意到该函数会同时被reportHours()调用。于是,该程序员就这样按照要求进行了修改,同时,CFO团队的成员验证了新算法正常工作,这项修改最终被成功部署上线了。但是,COO团队显然完全不知道这些事情的发生,HR仍然在使用reportHours()产生的报表,随后就会发现他们的数据出错了!

  这类问题发生的根源就是因为我们将不同行为者所依赖的代码强凑到了一起,对此,SRP强调这类代码一定要被分开。

4.1.2 代码合并

  一个拥有很多函数的源代码文件必然会经历很多次代码合并,该文件中的这些函数分别服务不同行为者的情况就更常见了。

  例如,CTO团队的DBA决定要对Employee数据库表结构进行简单修改,与此同时,COO团队的HR需要修改工作时数报表的格式。这样一来,就很可能出现两个来自不同团队的程序员分别对Employee类进行修改的情况。不出意外的话,他们各自的修改一定会互相冲突,这就必须要进行代码合并。

  在这个例子中,这次代码合并不仅有可能让CTO和COO要求的功能出错,甚至连CFO原本正常的功能也可能受到影响。

  事实上,这样的案例还有很多,它们的一个共同点是,多人为了不同的目的修改了同一份源代码,这很容易造成问题的产生。而避免这种问题产生的方法就是将服务不同行为者的代码进行切分。

4.1.3 解决方案

  我们有很多不同的方法可以用来解决上面的问题,每一种方法都需要将相关的函数划分成不同的类。其中最简单直接的办法是将数据与函数分享,设计三个类共同使用一个不包括函数、十分简单的EmployeeData类,每个类只包含与之相关的函数代码,互相不可见,这样就不存在互相依赖的情况了。
在这里插入图片描述
  这种解决方案的坏处在于:程序员现在需要在程序里处理三个类。

  另一种解决办法是使用Facade设计模式:
在这里插入图片描述
  这样一来,EmployeeFacade类所需要的代码量就很少了,它仅仅包含了初始化和调用三个具体实现类的函数。

  当然,也有些程序员更倾向于把最重要的业务逻辑与数据放在一起,那么我们可以选择将最重要的函数保留在Employee类中,同时用这个类来调用其他没那么重要的函数:
在这里插入图片描述
  总而言之,每一个类都分别容纳了一组作用于相同作用域的函数,而在该作用域之外,它们各自的私有函数是互相不可见的。

  单一职责原则主要讨论的是函数和类之间的关系——但是它在两个讨论层面上会以不同的形式出现:在组件层面,我们可以将其称为共同闭包原则(Common Closure Principle),在软件架构层面,它则是用于奠定架构边界的变更轴心(Axis of Change)。

4.2 开闭原则(Open-Closed Principle)

  开闭原则(OCP)是Bertrand Meyer在1988年提出的,该设计原则认为:设计良好的计算机软件应该易于扩展,同时抗拒修改。换句话说,一个设计良好的计算机系统应该在不需要修改的前提下就可以轻易被扩展。

  OCP是我们进行系统架构设计的主导原则,其主要目标是让系统易于扩展,同时限制其每次被修改所影响的范围。实现方式是通过将系统划分为一系列组件,并且将这些组件间的依赖关系按层次结构进行组织,使得高阶组件不会因低阶组件被修改而受到影响。

4.3 里氏替换原则(Liskov Substitution Principle)

  里氏替换原则(LSP)由Barbara Liskov在1987年的“数据抽象和层级结构”研讨会上首次提出,并在后续论文《行为型模式的继承》中进一步明确。这一原则在软件工程领域具有深远影响,对于保证代码的可扩展性和维护性至关重要。

  里氏替换原则的核心思想可以总结为:

  (1) 子类兼容父类:在一个程序设计中,如果一个对象能够被其基类的实例所替代而不会引起程序的任何错误或异常,则称该子类符合里氏替换原则,即子类应当保持与父类相同的接口约定和行为特征;

  (2) 扩展而非修改:子类可以在不破坏原有功能的基础上扩展功能,但不能覆盖或削弱父类原有的功能,这意味着子类可以添加新的方法或者增强已有的功能,但不应该重写或更改父类的方法以导致原有契约失效;

  (3) 不变式条件保护:子类必须尊重并维持父类定义的不变式条件(即对状态的约束),且不得引入新的约束条件;

  (4) 开放封闭原则的支持:通过遵循LSP,子类能够在不修改原有代码的基础上进行扩展,这是实现开闭原则的关键手段之一;

  违反LSP会导致多态性失效、代码难以理解和维护,以及系统稳定性降低等问题。因此,在设计类层次结构时,开发者需要确保子类严格遵循父类的设计契约,避免出现不符合预期的行为变化。

4.4 接口隔离原则(Interface Segregation Principle)

  接口隔离原则(ISP)由罗伯特.C.马丁(Robert C.Martin)在《敏捷软件开发:原则、模式与实践》一书中提出,该原则强调了接口设计应具有高度的内聚性,避免创建臃肿的大接口。接口隔离原则的主要内容和指导原则包括:

  (1) 客户端特定需求:每个接口应该针对一组相关功能进行设计,而不是提供一个包含所有可能操作的庞大接口,这意味着接口的设计应当基于客户端的需求来划分职责,客户端只需要依赖它们实际使用的接口部分;

  (2) 单一职责在接口层面的体现:类似于单一职责原则,ISP要求接口也只承担一种抽象职责,如果一个接口中包含了多个不相关的职责,则应当将其拆分为多个更小、更专注的接口;

  (3) 降低耦合度:通过细粒度接口的使用,可以减少类之间的耦合度,一个类不需要实现它不使用的接口方法,这样当接口发生变化时,对依赖此接口的类的影响将被最小化;

  (4) 可扩展性和灵活性增强:遵循接口隔离原则可以使系统更加灵活,易于扩展,新功能可以通过新增接口或修改现有接口而不影响其他已有的模块;

  (5) 接口用户满意度:理想的接口设计应当使接口使用者仅需了解他们所关心的方法,不必关注无关细节,从而提高用户的满意度和系统的清晰度;

  具体到实践中,接口隔离原则鼓励开发者为不同的服务或功能创建独立且专门的接口,并确保每个接口都足够小且具有明确的目的,使得任何实现这些接口的类都能够准确无误地完成所需的任务,而不会因为不必要的方法负担而导致设计复杂性增加。

4.5 依赖反转原则(Dependency Inversion Principle)

  依赖反转原则(DIP)主要想告诉我们的是,如果想要设计一个灵活的系统,在源代码层次的依赖关系中就应该多引用抽象类型,而非具体实现。在应用DIP时,我们不必考虑稳定的操作系统或者平台设施,因为这些接口很少会变动。我们主要应关注的是软件系统内部那些会经常变动的(volatile)具体实现模块,这些模块是不停开发的,也就会经常出现变更。

  我们每次修改抽象接口时,一定也会去修改对应的具体实现,反之,当我们修改具体实现时,却很少需要去修改相应的抽象接口,因此我们认为接口比实现更稳定。也就是说,如果想要在软件架构设计上追求稳定,就必须多使用稳定的抽象接口,少依赖多变的具体实现。

  依赖反转原则可以归结为以下几条具体的编码守则:

  (1) 应在代码中多使用抽象接口,尽量避免使用那些多变的具体实现类:这条守则适用于所有的编程语言,无论静态类型语言还是动态类型语言,同时,对象的创建过程也应该受到严格的限制,对此,我们通常选择用抽象工厂这个设计模式;

  (2) 不要在具体实现类上创建衍生类;

  (3) 不要覆盖(override)包含具体实现的函数:调用包含具体实现的函数通常就意味着引入了源代码级别的依赖,即使覆盖了这些函数,我们也无法消除这其中的依赖——这些函数继承了那些依赖关系,在这里,控制依赖关系的唯一办法,就是创建一个抽象函数,然后再为该函数提供多种具体实现;

  (4) 应避免在代码中写入与任何具体实现相关的名字,或者是其他容易变动的事物的名字;

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.rhkb.cn/news/245974.html

如若内容造成侵权/违法违规/事实不符,请联系长河编程网进行投诉反馈email:809451989@qq.com,一经查实,立即删除!

相关文章

c++24.1.26嵌套if语句

嵌套if语句:if语句中的if语句 实践:

2024最新幻兽帕鲁服务器多少钱一个?

幻兽帕鲁服务器多少钱?价格便宜,阿里云4核16G幻兽帕鲁专属服务器32元1个月、66元3个月,4核32G配置113元1个月、339元3个月;腾讯云4核16G14M服务器66元1个月、277元3个月、1584元一年。阿腾云atengyun.com分享阿里云和腾讯云palwor…

BAT学习笔记:详解环境变量及其所有创建方法

文章目录 一、初识环境变量二、什么是环境变量三、为什么需要环境变量四、环境变量的分类五、环境变量的设置 一、初识环境变量 1.windows 的搜索框中输入 查看高级系统设置。点击打开系统属性窗口。 2. 在系统属性窗口中,点击右下方的“环境变量”打开环境变量设…

RHCE第五次作业

1.写一个脚本,完成如下功能 传递一个参数给脚本,此参数为gzip、bzip2或者xz三者之一; (1) 如果参数1的值为gzip,则使用tar和gzip归档压缩/etc目录至/backups目录中,并命名为/backups/etc-20160613.tar.gz; …

OpenGL 入门(一)— 创建窗口

文章目录 前言创建一个窗口视口动态调整输入控制渲染 完整代码 前言 关键词介绍: OpenGL: 一个定义了函数布局和输出的图形API的正式规范。GLFW:一个专门针对OpenGL的C语言库,它提供了一些渲染物体所需的最低限度的接口。它允许…

C#使用RabbitMQ-2_详解工作队列模式

简介 🍀RabbitMQ中的工作队列模式是指将任务分配给多个消费者并行处理。在工作队列模式中,生产者将任务发送到RabbitMQ交换器,然后交换器将任务路由到一个或多个队列。消费者从队列中获取任务并进行处理。处理完成后,消费者可以向…

C#,打印漂亮杨辉三角形(帕斯卡三角形)的源代码

杨辉 Blaise Pascal 这是某些程序员看完会哭的代码。 杨辉三角形(Yanghui Triangle),是一种序列数值的三角形几何排列,最早出现于南宋数学家杨辉1261年所著的《详解九章算法》一书。 欧洲学者,最先由帕斯卡&#x…

VsCode提高生产力的插件推荐-持续更新中

别名路径跳转 自定义配置// 文件名别名跳转 "alias-skip.mappings": { "~/": "/src", "views": "/src/views", "assets": "/src/assets", "network": "/src/network", "comm…

Go语言指针变量

1. 指针变量 区别于C/C中的指针,Go语言中的指针不能进行偏移和运算,是安全指针。 Go语言中的指针3个概念:指针地址、指针类型和指针取值。 1.1. Go语言中的指针 Go语言中的函数传参都是值拷贝,当我们想要修改某个变量的时候&a…

仓储管理系统——软件工程报告(总体设计)③

总体设计 一、需求规定 软件工程仓库存储管理系统的需求规定是确保系统能够满足用户期望、提高工作效率、确保数据安全性和系统可维护性的基石。其涵盖了功能性、性能、数据管理、用户界面和系统可维护性等多个方面。通过严格的验收标准,可以确保系统在实际应用中…

单片机7-10

目录 定时器 按键控制LED流水灯关键代码 定时器时钟关键代码 串口通信 ​编辑串口向电脑发送数据 电脑通过串口控制LED LED点阵屏 LED点阵屏显示图形 LED点阵屏显示动画 DS1302 DS1302时钟显示 DS1302时钟调节 定时器 为什么12MHz的工作周期为一微秒: 12…

「阿里云」幻兽帕鲁个人服务器已上线,3分钟快速搭建

基于阿里云搭建幻兽帕鲁服务器方法,1到2分钟部署完成,稳定运行无卡顿,阿里云服务器网aliyunfuwuqi.com分享保姆级手把手教程,基于阿里云计算巢、云服务器或无影云桌面都可以: 基于阿里云幻兽帕鲁服务器创建教程 基于…

svn和git的本质区别是什么

参考: https://blog.csdn.net/feiying0canglang/article/details/126550676 上边图中,跨越了区的箭头,它中间的区数据都会同步。例如:git checkout ,它是将本地仓库数据更新到暂存区和工作区的。\ 理解 gitlab和svn都…

网工内推 | 网络安全工程师专场,CISP、HCIE安全认证优先

01 八马茶业 招聘岗位:网络安全工程师 职责描述: 1、负责公司信息安全项目实施及技术支持工作,主要包含信息安全风险检查评估、网络安全设备、服务器及网站日志审查等; 2、应用、服务器和网络架构进行安全检查测试,找…

【MySQL源码】Seconds_Behind_Master是如何计算的

作为MySQL DBA,相信大家对参数 Seconds_Behind_Master 并不陌生,该字段的值可以通过 show slave status\G的输出,表示主从延迟的时间,单位为秒。监控主从延迟一般取这个值就足够了。0 表示无延迟,理想状态该值不要超…

【数据分享】1992-2019年中国水土保持防治能力数据集

土壤数据是在环境、农业、生态等相关研究中都非常常用的数据!我们之前发表过一篇介绍土壤数据来源的文章(可查看之前发布的文章获悉详情)! 水土保持防治能力是土壤的重要属性。本次我们给大家带来的是1992-2019年中国水土保持防治…

vue3 中组合键 command+Enter / shift+Enter / alt + Enter 实现换行,详细实现

vue3 中组合键实现换行 需求背景 有一个聊天室功能,采用输入框的形式,输入完毕使用Enter,可以直接进行发送。使用一些组合键 比如 commandEnter / shiftEnter / alt Enter … 可以实现换行操作。但现实的情况是,原生 Enter 天然…

uniapp安卓android离线打包本地打包整理

离线打包准备 下载Android studio 1.准备资源hbuilder 2.准备离线SDK 最新android平台SDK下载最新android平台SDK下载 3.离线打包key申请 4.直接导入HBuilder-Integrate-AS工程,直接运行simpleDemo项目即可 5.安装java 1.8 jdk-8u151-windows-x64 6.遇到这个报错报错Caus…

xshell无法连接linux,查询本机ip时出现<NO-CARRIER,BROADCAST,MULTICAST,UP>

在用xshell连接虚拟机VMware中的linux时&#xff0c;发现昨天还能连通的&#xff0c;今天连接不了了 我寻思应该是网卡配置出问题了&#xff0c;就去终端ip addr试了一下&#xff0c;果然发现问题&#xff0c;ip 查看网卡ens33就发现出现ens33:<NO-CARRIER,BROADCAST,MULTI…

SpringSecurity认证登录成功后获取角色菜单

目录 前言 一、RBAC模型 二、实战应用 1. 建立用户、角色、资源实体类 2. 数据层查询角色资源 3. 业务层实现&#xff0c;调用数据层查询接口 4. SystemController控制器菜单获取方法 5. menu.jsp菜单页面实现 前言 本篇文章接SSM项目集成Spring Security 4.X版本&…