61 | 策略模式(下):如何实现一个支持给不同大小文件排序的小程序?

上一节课,我们主要介绍了策略模式的原理和实现,以及如何利用策略模式来移除if-else或者switch-case分支判断逻辑。今天,我们结合“给文件排序”这样一个具体的例子,来详细讲一讲策略模式的设计意图和应用场景。

除此之外,在今天的讲解中,我还会通过一步一步地分析、重构,给你展示一个设计模式是如何“创造”出来的。通过今天的学习,你会发现,设计原则和思想其实比设计模式更加普适和重要,掌握了代码的设计原则和思想,我们甚至可以自己创造出来新的设计模式

话不多说,让我们正式开始今天的学习吧!

问题与解决思路

假设有这样一个需求,希望写一个小程序,实现对一个文件进行排序的功能。文件中只包含整型数,并且,相邻的数字通过逗号来区隔。如果由你来编写这样一个小程序,你会如何来实现呢?你可以把它当作面试题,先自己思考一下,再来看我下面的讲解。

你可能会说,这不是很简单嘛,只需要将文件中的内容读取出来,并且通过逗号分割成一个一个的数字,放到内存数组中,然后编写某种排序算法(比如快排),或者直接使用编程语言提供的排序函数,对数组进行排序,最后再将数组中的数据写入文件就可以了。

但是,如果文件很大呢?比如有10GB大小,因为内存有限(比如只有8GB大小),我们没办法一次性加载文件中的所有数据到内存中,这个时候,我们就要利用外部排序算法(具体怎么做,可以参看我的另一个专栏《数据结构与算法之美》中的“排序”相关章节)了。

如果文件更大,比如有100GB大小,我们为了利用CPU多核的优势,可以在外部排序的基础之上进行优化,加入多线程并发排序的功能,这就有点类似“单机版”的MapReduce。

如果文件非常大,比如有1TB大小,即便是单机多线程排序,这也算很慢了。这个时候,我们可以使用真正的MapReduce框架,利用多机的处理能力,提高排序的效率。

代码实现与分析

解决思路讲完了,不难理解。接下来,我们看一下,如何将解决思路翻译成代码实现。

我先用最简单直接的方式将它实现出来。具体代码我贴在下面了,你可以先看一下。因为我们是在讲设计模式,不是讲算法,所以,在下面的代码实现中,我只给出了跟设计模式相关的骨架代码,并没有给出每种排序算法的具体代码实现。感兴趣的话,你可以自行实现一下。

public class Sorter {
  private static final long GB = 1000 * 1000 * 1000;

  public void sortFile(String filePath) {
    // 省略校验逻辑
    File file = new File(filePath);
    long fileSize = file.length();
    if (fileSize < 6 * GB) { // [0, 6GB)
      quickSort(filePath);
    } else if (fileSize < 10 * GB) { // [6GB, 10GB)
      externalSort(filePath);
    } else if (fileSize < 100 * GB) { // [10GB, 100GB)
      concurrentExternalSort(filePath);
    } else { // [100GB, ~)
      mapreduceSort(filePath);
    }
  }

  private void quickSort(String filePath) {
    // 快速排序
  }

  private void externalSort(String filePath) {
    // 外部排序
  }

  private void concurrentExternalSort(String filePath) {
    // 多线程外部排序
  }

  private void mapreduceSort(String filePath) {
    // 利用MapReduce多机排序
  }
}

public class SortingTool {
  public static void main(String[] args) {
    Sorter sorter = new Sorter();
    sorter.sortFile(args[0]);
  }
}

在“编码规范”那一部分我们讲过,函数的行数不能过多,最好不要超过一屏的大小。所以,为了避免sortFile()函数过长,我们把每种排序算法从sortFile()函数中抽离出来,拆分成4个独立的排序函数。

如果只是开发一个简单的工具,那上面的代码实现就足够了。毕竟,代码不多,后续修改、扩展的需求也不多,怎么写都不会导致代码不可维护。但是,如果我们是在开发一个大型项目,排序文件只是其中的一个功能模块,那我们就要在代码设计、代码质量上下点儿功夫了。只有每个小的功能模块都写好,整个项目的代码才能不差。

在刚刚的代码中,我们并没有给出每种排序算法的代码实现。实际上,如果自己实现一下的话,你会发现,每种排序算法的实现逻辑都比较复杂,代码行数都比较多。所有排序算法的代码实现都堆在Sorter一个类中,这就会导致这个类的代码很多。而在“编码规范”那一部分中,我们也讲到,一个类的代码太多也会影响到可读性、可维护性。除此之外,所有的排序算法都设计成Sorter的私有函数,也会影响代码的可复用性。

代码优化与重构

只要掌握了我们之前讲过的设计原则和思想,针对上面的问题,即便我们想不到该用什么设计模式来重构,也应该能知道该如何解决,那就是将Sorter类中的某些代码拆分出来,独立成职责更加单一的小类。实际上,拆分是应对类或者函数代码过多、应对代码复杂性的一个常用手段。按照这个解决思路,我们对代码进行重构。重构之后的代码如下所示:

public interface ISortAlg {
  void sort(String filePath);
}

public class QuickSort implements ISortAlg {
  @Override
  public void sort(String filePath) {
    //...
  }
}

public class ExternalSort implements ISortAlg {
  @Override
  public void sort(String filePath) {
    //...
  }
}

public class ConcurrentExternalSort implements ISortAlg {
  @Override
  public void sort(String filePath) {
    //...
  }
}

public class MapReduceSort implements ISortAlg {
  @Override
  public void sort(String filePath) {
    //...
  }
}

public class Sorter {
  private static final long GB = 1000 * 1000 * 1000;

  public void sortFile(String filePath) {
    // 省略校验逻辑
    File file = new File(filePath);
    long fileSize = file.length();
    ISortAlg sortAlg;
    if (fileSize < 6 * GB) { // [0, 6GB)
      sortAlg = new QuickSort();
    } else if (fileSize < 10 * GB) { // [6GB, 10GB)
      sortAlg = new ExternalSort();
    } else if (fileSize < 100 * GB) { // [10GB, 100GB)
      sortAlg = new ConcurrentExternalSort();
    } else { // [100GB, ~)
      sortAlg = new MapReduceSort();
    }
    sortAlg.sort(filePath);
  }
}

经过拆分之后,每个类的代码都不会太多,每个类的逻辑都不会太复杂,代码的可读性、可维护性提高了。除此之外,我们将排序算法设计成独立的类,跟具体的业务逻辑(代码中的if-else那部分逻辑)解耦,也让排序算法能够复用。这一步实际上就是策略模式的第一步,也就是将策略的定义分离出来。

实际上,上面的代码还可以继续优化。每种排序类都是无状态的,我们没必要在每次使用的时候,都重新创建一个新的对象。所以,我们可以使用工厂模式对对象的创建进行封装。按照这个思路,我们对代码进行重构。重构之后的代码如下所示:

public class SortAlgFactory {
  private static final Map<String, ISortAlg> algs = new HashMap<>();

  static {
    algs.put("QuickSort", new QuickSort());
    algs.put("ExternalSort", new ExternalSort());
    algs.put("ConcurrentExternalSort", new ConcurrentExternalSort());
    algs.put("MapReduceSort", new MapReduceSort());
  }

  public static ISortAlg getSortAlg(String type) {
    if (type == null || type.isEmpty()) {
      throw new IllegalArgumentException("type should not be empty.");
    }
    return algs.get(type);
  }
}

public class Sorter {
  private static final long GB = 1000 * 1000 * 1000;

  public void sortFile(String filePath) {
    // 省略校验逻辑
    File file = new File(filePath);
    long fileSize = file.length();
    ISortAlg sortAlg;
    if (fileSize < 6 * GB) { // [0, 6GB)
      sortAlg = SortAlgFactory.getSortAlg("QuickSort");
    } else if (fileSize < 10 * GB) { // [6GB, 10GB)
      sortAlg = SortAlgFactory.getSortAlg("ExternalSort");
    } else if (fileSize < 100 * GB) { // [10GB, 100GB)
      sortAlg = SortAlgFactory.getSortAlg("ConcurrentExternalSort");
    } else { // [100GB, ~)
      sortAlg = SortAlgFactory.getSortAlg("MapReduceSort");
    }
    sortAlg.sort(filePath);
  }
}

经过上面两次重构之后,现在的代码实际上已经符合策略模式的代码结构了。我们通过策略模式将策略的定义、创建、使用解耦,让每一部分都不至于太复杂。不过,Sorter类中的sortFile()函数还是有一堆if-else逻辑。这里的if-else逻辑分支不多、也不复杂,这样写完全没问题。但如果你特别想将if-else分支判断移除掉,那也是有办法的。我直接给出代码,你一看就能明白。实际上,这也是基于查表法来解决的,其中的“algs”就是“表”。

public class Sorter {
  private static final long GB = 1000 * 1000 * 1000;
  private static final List<AlgRange> algs = new ArrayList<>();
  static {
    algs.add(new AlgRange(0, 6*GB, SortAlgFactory.getSortAlg("QuickSort")));
    algs.add(new AlgRange(6*GB, 10*GB, SortAlgFactory.getSortAlg("ExternalSort")));
    algs.add(new AlgRange(10*GB, 100*GB, SortAlgFactory.getSortAlg("ConcurrentExternalSort")));
    algs.add(new AlgRange(100*GB, Long.MAX_VALUE, SortAlgFactory.getSortAlg("MapReduceSort")));
  }

  public void sortFile(String filePath) {
    // 省略校验逻辑
    File file = new File(filePath);
    long fileSize = file.length();
    ISortAlg sortAlg = null;
    for (AlgRange algRange : algs) {
      if (algRange.inRange(fileSize)) {
        sortAlg = algRange.getAlg();
        break;
      }
    }
    sortAlg.sort(filePath);
  }

  private static class AlgRange {
    private long start;
    private long end;
    private ISortAlg alg;

    public AlgRange(long start, long end, ISortAlg alg) {
      this.start = start;
      this.end = end;
      this.alg = alg;
    }

    public ISortAlg getAlg() {
      return alg;
    }

    public boolean inRange(long size) {
      return size >= start && size < end;
    }
  }
}

现在的代码实现就更加优美了。我们把可变的部分隔离到了策略工厂类和Sorter类中的静态代码段中。当要添加一个新的排序算法时,我们只需要修改策略工厂类和Sort类中的静态代码段,其他代码都不需要修改,这样就将代码改动最小化、集中化了。

你可能会说,即便这样,当我们添加新的排序算法的时候,还是需要修改代码,并不完全符合开闭原则。有什么办法让我们完全满足开闭原则呢?

对于Java语言来说,我们可以通过反射来避免对策略工厂类的修改。具体是这么做的:我们通过一个配置文件或者自定义的annotation来标注都有哪些策略类;策略工厂类读取配置文件或者搜索被annotation标注的策略类,然后通过反射动态地加载这些策略类、创建策略对象;当我们新添加一个策略的时候,只需要将这个新添加的策略类添加到配置文件或者用annotation标注即可。还记得上一节课的课堂讨论题吗?我们也可以用这种方法来解决。

对于Sorter来说,我们可以通过同样的方法来避免修改。我们通过将文件大小区间和算法之间的对应关系放到配置文件中。当添加新的排序算法时,我们只需要改动配置文件即可,不需要改动代码。

重点回顾

好了,今天的内容到此就讲完了。我们一块来总结回顾一下,你需要重点掌握的内容。

一提到if-else分支判断,有人就觉得它是烂代码。如果if-else分支判断不复杂、代码不多,这并没有任何问题,毕竟if-else分支判断几乎是所有编程语言都会提供的语法,存在即有理由。遵循KISS原则,怎么简单怎么来,就是最好的设计。非得用策略模式,搞出n多类,反倒是一种过度设计。

一提到策略模式,有人就觉得,它的作用是避免if-else分支判断逻辑。实际上,这种认识是很片面的。策略模式主要的作用还是解耦策略的定义、创建和使用,控制代码的复杂度,让每个部分都不至于过于复杂、代码量过多。除此之外,对于复杂代码来说,策略模式还能让其满足开闭原则,添加新策略的时候,最小化、集中化代码改动,减少引入bug的风险。

实际上,设计原则和思想比设计模式更加普适和重要。掌握了代码的设计原则和思想,我们能更清楚的了解,为什么要用某种设计模式,就能更恰到好处地应用设计模式。

课堂讨论

  1. 在过去的项目开发中,你有没有用过策略模式,都是为了解决什么问题才使用的?
  2. 你可以说一说,在什么情况下,我们才有必要去掉代码中的if-else或者switch-case分支逻辑呢?

欢迎留言和我分享你的想法。如果有收获,也欢迎你把这篇文章分享给你的朋友。

精选留言

  • 吴小智

    2020-03-23 00:27:28

    "设计原则和思想比设计模式更加普适和重要",被这句话一下子点醒了。可以这样说,设计原则和思想是更高层次的理论和指导原则,设计模式只是这些理论和指导原则下,根据经验和场景,总结出来的编程范式。
  • 岁月

    2020-04-02 22:50:29

    看到这里我感觉好多设计模式都很类似, 都是先针对接口编程, 然后再加个查表法😂
  • 业余爱好者

    2020-03-23 09:13:33

    策略集合的信息也可以定义成枚举,可以放在数据库,可以放kv配置中心,等等。都是一样的道理。

    策略模式是对策略的定义,创建和使用解藕。定义和创建的过程与业务逻辑关系不大,写在一起会影响可读性。

    创建型模式是对创建和使用的解藕。

    做什么和怎么做是应该解藕的,使用者并不关心具体的细节。

    在业务逻辑中,与业务逻辑不大的代码应该放在外部。就像mvc的三层架构是业界的最佳实践。在service层调用dao层,而不是直接jdbc,因为如何操作数据库是个复杂的过程,却又与业务逻辑无关,所以单独抽出一层,代码结构变得更加清晰。

    声明式编程很火。它就是把使用和内部实现原理解藕。java,spring的各种注解,声明式事务等等。使用者一个注解解决所有问题,无需关心底层。

    业务逻辑无关的放在一起影响可读性,即使自己过一段时间看自己的代码也会迷惑。写代码要有用户思维,不光是提供的api满足kiss原则,内部的实现也是一样。能放在外面单位代码尽量怎么放在外面。只要能表达逻辑即可。
  • Jxin

    2020-03-23 13:22:47

    1.为了让调度的代码更优雅时使用。(就调度策略的代码而言,可读性高。理解结构后,阅读的心智负担低,因为调度的原理已经抽象成了共同的type查表,无需逐行检阅分支判断。像一些与持久数据相关的策略,有时为了兼容老数据或则平滑过度,无法全采用type查表,这时就需要结合if来 实现。所以采用if会让我误以为是这种场景,进而逐行检阅)。

    2.感觉问反了,应该是什么场景下采用ifelse和witch。毕竟这两个的场景少些。答案是,在逻辑不复杂又不好用卫语句时采用。能用卫语句就不要ifelse。因为个人而言,看到retuern或conti能很明确跳出逻辑,else脑袋得转一下,当然这可能是个人习惯影响。但ifelse还是只在逻辑简单,没啥嵌套(一个函数内部不宜嵌套过多),且语义符合的场景用好些。

    3.原则和思想毕竟是指导核心,是地图和尺子,自然是最重要的。但是不等于设计模式就比其不重要了。硬要说的话,我认为两个其实一样重要。设计模式是场景的积累,拉近了普通人与天才的差距,对我这种菜鸡来说可能比设计原则还重要。毕竟从设计原则到设计模式的出现,需要丰富经验,扎实知识和妙手偶得。如果没有设计模式的铺垫,普通人拿着设计模式的知识点要一路走上高质量代码的层级,实属不易。
  • 空白昵称

    2020-03-24 18:19:54

    很早前使用了类似策略模式的代码做了一个从各种渠道上传下载文件。(当时大学毕业,没看过策略模式,但是学过C++的多态)其实也就是基于接口而非实现编程思想。

    if-else使用,如果判断较少,且未来几乎不会有新需求要再加一个else时,保持if-else即可。其他的都可以使用策略模式。不过本节demo的实例,使用range来匹配,目前看是没问题。但是如果需求变化,需要增加一个根据数据特征的动态分配排序算法,那么这里实现就麻烦了。所以需要根据具体需求来看使用什么模式...

  • 极客海

    2021-02-02 14:09:43

    "设计原则和思想比设计模式更加普适和重要",被这句话一下子点醒了。
  • 永旭

    2020-04-30 17:24:21

    哪位了解无状态的类是什么意思 ?
    作者回复

    你可以简单理解为:只有函数,没有属性。

    2020-07-15 12:03:02

  • Jackey

    2020-03-23 09:47:39

    想想以前都没用过策略模式,一会到公司看看我的if-else有没有必要优化
  • 刘大人

    2021-02-05 14:44:14

    问:在什么情况下,我们才有必要去掉代码中的 if-else 或者 switch-case 分支逻辑呢?
    答:自己看不下去的时候
  • iamjohnnyzhuang

    2020-03-24 11:39:57

    策略模式平时开发用的比较多,主要目的还是解耦策略的定义和使用。在Java中,比较喜欢用枚举策略模式。可以定义一个枚举类,提供静态方法根据传入的Type动态返回对应的枚举类。然后在枚举类中定义执行策略的抽象方法,这样迫使每个枚举都得去实现。对于策略不是非常复杂的情况下,这样可以集中管理这一批策略,新增策略的时候也只要在这个枚举类中添加。但是如果策略很复杂会导致这个类非常庞大,还是用传统的方法不同类对应不同逻辑更加优雅。总之,遵循KISS原则,怎么简单怎么来;同时尽量遵循开闭原则,添加策略的时候尽量少去改动代码。其实对于什么时候去掉IF/ELSE这个问题原理也是一样的。
  • Frank

    2020-03-23 20:06:27

    1,最近在做规则引擎,前端用户通过页面设置出业务执行的流程图,而流程图中包含数据源节点、条件判断节点、业务分发节点、业务事件执行节点。每一种节点执行的业务校验规则都不同,这个时候适合策略模式。使用策略模式的好处是:以后随着业务的发展很有可能出现其他类型的节点,所以这个时候采用策略模式非常合适,易扩展易维护。另外在整个流程流转的规则上采用了模板方法。
    2,当出现比较多的等值匹配的时候,这个时候使用switch case 更合适,结构清晰,可读性强,其他则使用if-else,当然if-else也可以进行等值比较。
  • 攻城拔寨

    2020-03-23 09:41:05

    1. 奖励系统,奖励用户不同奖励是通过后台配置,从多个奖励中选择一种或者多种。
    后端代码根据不同的奖励类型找到对应的奖励策略类,执行对应的代码。
    2. 我觉得在 if-else 每个分支代码比较多的时候就应该拆分了。但是拆分不一定就能通过设计模式拆分,很多时候把分支逻辑抽成另一个方法就就够了,代码简洁,方便维护。
    我相当同意老师 “设计原则和思想比设计模式更加普适和重要。” 这句话。
  • 王飞洋

    2020-03-23 09:16:50

    GB = 1024 * 1024 * 1024吧
  • 徐同学呀

    2020-03-23 08:52:29

    最近在做公司的告警模块,对接收方式用了策略模式,以前也不知道这就是策略模式,只是觉得模块和思想解藕了。
    还有接收方式的选择策略和升级策略都用了策略模式。

    非要去掉if-else,我觉得如果分支不多,简单,以后可扩展性不强可以不去掉。否则就换成map缓存策略对象或者class。找到if-else条件和策略的对应关系。
  • Geek_East

    2020-06-04 13:09:42

    策略模式不仅仅是去除几个if-else,起到k-v store作用这么简单:
    1. 开闭原则: 行为类封装每个具体实现,如果想要添加,直接再添加一个行为类就行,不会对已经存在的行为类造成影响,提高了水平方向上的可拓展性。
    2. 依赖反转: 行为类是通过接口来传递的,能够实现业务逻辑和算法逻辑的解耦。算法层的拓展并不会影响业务层的拓展,提高了垂直方向上的可拓展性。
    3. 组合大于继承: 继承就复用的粒度来说,是整个父类。如果将接口组合在类中,代码复用的粒度从父类降到了自定义大小和自定义类型(属性或者行为),提高了代码复用的灵活性, 能够在开发新类的时候,最大程度的从已有的代码库中汲取养分。当然有个前提,code split得优秀。
  • CarlXu

    2022-11-06 14:54:43

    看第三遍, 每一次都有不一样的的感觉, 感觉所有模式都有基本规律, 对象的创建上使用工厂+查表发, 结构或者行为上定义一个或者多个抽象的接口类,不同的业务和功能去实现统一的接口, 然后进行手动或者自动(反射)匹配。 基于接口编程才是结偶业务的关键。
  • Laughing

    2020-11-24 15:06:07

    在之前项目中,有个缓存的实现开始直接使用的redis来实现的,后来使用内存缓存替换,这样一来我使用了策略模式根据缓存key的类型,自动选择策略进行缓存。
    作者回复

    嗯嗯 ������

    2020-11-30 09:45:01

  • 一万小时

    2020-11-23 21:59:30

    策略模式看着像是个工厂模式
    作者回复

    目的不同

    2020-11-30 09:46:01

  • 面向百度编程

    2020-05-04 19:52:19

    将业务层层封装,暴露最少的方法,获得最有用的事物,复杂度从来不能被消除,只能被转移,学到了,我以为用个context类维护策略最好,却没有考虑对于客户端来说不够透明,不够知道最少,然后我只暴露一个类型,既符合迪米特法则,又符合封装,还符合利于扩展维护,将业务封装到类中,进行处理,实在是高,大话设计模式都没您讲的好
  • 守拙

    2020-03-23 10:43:48

    在什么情况下,我们才有必要去掉代码中的 if-else 或者 switch-case 分支逻辑呢?

    根据KISS原则, 默认我们不会主动去优化if-else/switch-case.
    只有当if-else严重影响代码可读性与可维护性, 才考虑使用策略模式+工厂方法模式优化分支逻辑.