【抽象那些事】不完整的抽象&多方面抽象&未用的抽象&重复的抽象

不完整的抽象

抽象未支持所有互补或相关的方法时，将导致这种坏味。

为什么要有完整的抽象？

一种重要的抽象实现手法是创建内聚而完整的抽象。抽象未支持相关的方法时，可能会影响抽象的内聚性和完整性。如果抽象只支持部分相关的方法，其使用者就可能不得不自己去实现其他的功能。客户程序可能尝试直接访问抽象的内部实现细节，此时带来的副作用是违反封装原则。

一些常见的互补方法对

现实考虑

禁止特定行为

设计人员可能有意识地做出不提供堆成或配套方法的设计决策。例如在只读集合中，包含Add()方法，而不包含Remove()方法。

使用单个方法而不是成对的方法

例如用SetEnabled(bool)替换Enable()和Disable(),传入true代表启用，fasle代表禁用。

多方面抽象

抽象被赋予不止一项职责时，将导致这种坏味。

为什么不可以有多方面抽象？

单一职责原则指出，抽象必须承担单一而明确的职责，且必须完全封装该职责。抽象承担了多种职责时，意味着它将受多种原因的影响而需要修改，设计的修改频率与其缺陷数之间存在很强的正相关关系。这意味着多方面抽象存在的缺陷可能更多。

多方面抽象的潜在原因

通用抽象

引入使用通用名（如Item,Order,Product，Image）的抽象时，它常常会成为占位符，用于提供所有相关（但未必属于它）的功能。抽象的命名代表了这个抽象的职责，命名太通用，随着系统的迭代，抽象会慢慢承担多种职责。感同身受！！！

未定期重构

对类进行了大量修改而没有定期重构，长此以往，可能就会在类中引入了额外的职责。

混合关注点

没有对关注点分离给予足够的重视。

重构建议

类承担了多种职责时，就不是内聚的。可以使用“提取类”来进行重构。

未用的抽象

创建的抽象未用（未被直接使用或继承）时，将导致这种坏味。有以下两种表现形式：

• 未引用的抽象：未用的具体类
• 鳏寡抽象：没有任何派生抽象的接口/抽象类

为什么不可以有未用的抽象？

设计中的抽象未被使用，就没有发挥任何作用，因此违反了抽象原则。未实现的抽象类和接口时多余的或凭空想象出来的概括，因此是不需要的。

未用的抽象潜在原因

凭空想象的设计

试图设计"永不过时"的系统或在其中包含"未来可能用得着"的抽象时，将导致这种坏味。

不断变化的需求

需求不断变化，为满足早期需求而创建的抽象可能已经不再需要。如果将其留在设计中，它将变成未用的抽象。

维护过程中留下的垃圾

维护或重构时，如果不清理旧的抽象，可能留下未引用的抽象。这点深有体会，所以一直要求组员在重构的过程中，一定要把旧代码删除。如果不这样做，过期的和未用的代码将导致代码库急剧膨胀，重构的代码和未重构的代码纠缠在一起，代码的可理解性、阅读体验极差。而且如果你重构的旧代码你不负责删除，其他人就更不知道如何下手了，久而久之这些旧代码就会变成BUG的温床。注释掉旧代码也不是一个好的选择，太影响阅读体验。其次，现在的代码版本控制工具功能强大，即使删除错了代码，也可以通过版本控制工具找回。所以旧代码必须死。

担心破坏既有代码

不确定是否还有其他代码在使用想要删除的旧代码。

重构建议

将未用的抽象从设计中删除。对于可能还有客户程序在使用的API，直接删除不可行，可将这些抽象标记为''过期的''或"已摒弃",明确地指出在新开发的客户程序中不得使用它们。

[Obsolete]
public class Report
{
}

现实考虑

类库和框架通常以抽象类或接口的方式提供扩展点，这些抽象类可能在库或框架中未被使用，但它们是供客户程序使用的扩展点，因此不属于未用的抽象。

重复的抽象

两个抽象的名称、实现或两者相同时，将导致这种坏味。

• 名称相同 两个不同的抽象重名将影响可理解性。
• 实现相同 多个抽象的成员定义在语义上相同，但在设计上没有捕获并使用这些实现中相同的元素。在继承层析结构中，如果多个兄弟抽象的实现相同，可能意味着存在的是"未归并的层次结构"坏味。
• 名称实现都相同

为什么不可以有重复的抽象？

重复代码是软件万恶之首。所以我们要极力避免重复。

如果多个抽象的名称相同，将影响设计的可理解性：客户代码开发人员将不知道使用哪个抽象。

如果多个抽象的实现相同（代码相同），将难以维护：修改其中一个抽象的实现时，常常需要修改其它所有重复抽象的实现。这不仅增加了修改负担，还可能引入难以发现的微小BUG。为缩小修改范围，必须尽可能避免重复。

重复的抽象潜在原因

复制粘贴编程手法

CV程序员复制并粘贴代码，而不应用合适的抽象。

即兴维护

经过多年的修复或改进后，软件将包含"残留"，其中有大量重复的代码。

交流不畅

不同时期通常由不同的人员负责维护软件，他们对软件的了解不彻底，编写了原来就有的类或方法，导致软件包含重复的代码。

类被声明为不可扩展的

类被声明为不可扩展的，无法重用代码，只能复制代码，创建修订版本。

重构建议

对于名称相同的重复抽象，可以将其中一个抽象改为不同的名称。

对于实现相同的重复抽象，如果实现完全相同，可将其中一个抽象删除。如果实现稍有差异，可将相同的实现归并到另一个类中：这可以是层次结构中的基类，也可以是重复的抽象可引用或使用的既有类或新类。

现实考虑

适应变化

导致重复抽象的一个原因是，要同时支持同步和非同步变种。

在不同的上下文中使用相同的类型名

对于大型系统，建立完全统一的领域模型要么不可行要么不划算。领域驱动设计提供的一种解决方案是，将大型系统分成多个"界限上下文"。采用这种方式，不同上下文中的模型可能包含同名的类型，但是这是可以接受的。

语言未提供重复避免支持

在JDK中，有很多的重复的方法和类，这是因为没有对基本类型提供泛型支持。但是在.Net中就不会有这么多重复的方法和类，因为C#对基本类型提供了泛型支持。

参考：《软件设计重构》