资讯专栏INFORMATION COLUMN

一起学设计模式 - 访问者模式

ityouknow / 1440人阅读

摘要:概述访问者模式预留通路,回调实现。具体访问者给出对每一个元素类访问时所产生的具体行为。静态分派通过方法重载支持静态分派。上古上古第一代子孙上古第二代子孙显然,类的方法是由三个方法重载而成的。因为访问者模式使得算法操作增加变得容易。

</>复制代码

  1. 访问者模式(Visitor Pattern)属于对象行为型模式的一种,表示一个作用于其对象结构中的各元素的操作,它使你可以在不改变各元素类的前提下定义作用于这些元素的新操作。

概述

访问者模式: 预留通路,回调实现。它的实现主要就是通过预先定义好调用的通路,在被访问的对象上定义accept方法,在访问者的对象上定义visit方法;然后在调用真正发生的时候,通过两次分发的技术,利用预先定义好的通路,回调到访问者具体的实现上。

</>复制代码

  1. 主要解决

现已稳定的数据结构和易变的操作耦合问题,把数据结构和作用于结构上的操作解耦合,使得操作集合可相对自由地演化。

</>复制代码

  1. UML结构图

</>复制代码

  1. 模式结构

抽象访问者(Visitor): 定义了对每一个元素(Element)访问的行为,它的参数就是可以访问的元素,它的方法个数理论上来讲与元素个数(Element的实现类个数)是一样的,从这点不难看出,访问者模式要求元素类的个数不能改变(不能改变的意思是说,如果元素类的个数经常改变,则说明不适合使用访问者模式)。

具体访问者(ConcreteVisitor): 给出对每一个元素类访问时所产生的具体行为。

抽象节点(Element): 定义了一个接受访问者(accept)的方法,其意义是指,每一个元素都要可以被访问者访问。

具体节点(ConcreteElement): 提供接受访问方法的具体实现,而这个具体的实现,通常情况下是使用访问者提供的访问该元素类的方法。

结构对象角色(ObjectStructure): 定义当中所提到的对象结构,对象结构是一个抽象表述,具体点可以理解为一个具有容器性质或者复合对象特性的类,它会含有一组元素(Element),并且可以迭代这些元素,供访问者访问。

案例

场景:很多人都有养宠物的习惯,这里就以此为例

访问者角色:给宠物喂食的人

具体访问者角色:主人、其他人

抽象元素角色:动物抽象类

具体元素角色:宠物狗、宠物猫

结构对象角色:主人家

</>复制代码

  1. 结构图如下:

1.创建抽象访问者接口

</>复制代码

  1. interface Person {
  2. void feed(Cat cat);
  3. void feed(Dog dog);
  4. }

2.创建不同的具体访问者角色 -- 主人/其他人,同时实现 Person接口

</>复制代码

  1. class Owner implements Person {
  2. @Override
  3. public void feed(Cat cat) {
  4. System.out.println("主人喂食猫");
  5. }
  6. @Override
  7. public void feed(Dog dog) {
  8. System.out.println("主人喂食狗");
  9. }
  10. }
  11. class Someone implements Person {
  12. @Override
  13. public void feed(Cat cat) {
  14. System.out.println("其他人喂食猫");
  15. }
  16. @Override
  17. public void feed(Dog dog) {
  18. System.out.println("其他人喂食狗");
  19. }
  20. }

3.创建 抽象节点 -- 宠物

</>复制代码

  1. interface Animal {
  2. void accept(Person person);
  3. }

4.创建实现Animal接口的 具体节点(元素)

</>复制代码

  1. class Dog implements Animal {
  2. @Override
  3. public void accept(Person person) {
  4. person.feed(this);
  5. System.out.println("好好吃,汪汪汪!!!");
  6. }
  7. }
  8. /**
  9. * 具体节点(元素)角色 -- 宠物猫
  10. */
  11. class Cat implements Animal {
  12. @Override
  13. public void accept(Person person) {
  14. person.feed(this);
  15. System.out.println("好好吃,喵喵喵!!!");
  16. }
  17. }

5.创建实现Animal接口的 具体节点(元素)

</>复制代码

  1. class Home {
  2. private List nodeList = new ArrayList<>();
  3. void action(Person person) {
  4. for (Animal node : nodeList) {
  5. node.accept(person);
  6. }
  7. }
  8. /**
  9. * 添加操作
  10. *
  11. * @param animal 动物
  12. */
  13. void add(Animal animal) {
  14. nodeList.add(animal);
  15. }
  16. }

6.创建客户端,用于测试

</>复制代码

  1. public class Client {
  2. public static void main(String[] args) {
  3. Home home = new Home();
  4. home.add(new Dog());
  5. home.add(new Cat());
  6. Owner owner = new Owner();
  7. home.action(owner);
  8. Someone someone = new Someone();
  9. home.action(someone);
  10. }
  11. }

7.运行结果

</>复制代码

  1. 主人喂食狗
  2. 好好吃,汪汪汪!!!
  3. 主人喂食猫
  4. 好好吃,喵喵喵!!!
  5. 其他人喂食狗
  6. 好好吃,汪汪汪!!!
  7. 其他人喂食猫
  8. 好好吃,喵喵喵!!!
分派

变量被声明时的类型叫做变量的静态类型(Static Type),有些人又把静态类型叫做明显类型(Apparent Type);而变量所引用的对象的真实类型又叫做变量的实际类型(Actual Type)。

比如:

</>复制代码

  1. Map map = null;
  2. map = new HashMap();

 声明了一个变量map,它的静态类型(也叫明显类型)是Map,而它的实际类型是HashMap。

  根据对象的类型而对方法进行的选择,就是分派(Dispatch),分派(Dispatch)又分为两种,即静态分派和动态分派。

  静态分派(Static Dispatch) 发生在编译时期,分派根据静态类型信息发生。静态分派对于我们来说并不陌生,方法重载就是静态分派。

  动态分派(Dynamic Dispatch) 发生在运行时期,动态分派动态地置换掉某个方法。

  静态分派:Java通过方法重载支持静态分派。

  动态分派:Java通过方法的重写支持动态分派。

动态分派

通过方法的重写支持动态分派。

</>复制代码

  1. class Dog {
  2. public void execute() {
  3. System.out.println("上古 Dog");
  4. }
  5. }
  6. class DogBaby1 extends Dog {
  7. @Override
  8. public void execute() {
  9. System.out.println("上古Dog第一代子孙");
  10. }
  11. }
  12. class DogBaby2 extends Dog {
  13. @Override
  14. public void execute() {
  15. System.out.println("上古Dog第二代子孙");
  16. }
  17. }
  18. /**
  19. * @author Levin
  20. */
  21. public class Client {
  22. public static void main(String[] args) {
  23. Dog baby1 = new DogBaby1();
  24. baby1.execute();
  25. Dog baby2 = new DogBaby2();
  26. baby2.execute();
  27. }
  28. }

变量baby1的静态类型是Dog,而真实类型是DogBaby1。

execute()方法调用的是DogBaby1类的execute()方法,那么上面打印的就是 上古Dog第一代子孙

变量baby2的静态类型是Dog,而真实类型是DogBaby2。

execute()方法调用的是DogBaby2类的execute()方法,那么上面打印的就是 上古Dog第二代子孙

所以,问题的核心就是Java编译器在编译时期并不总是知道哪些代码会被执行,因为编译器仅仅知道对象的静态类型,而不知道对象的真实类型;而方法的调用则是根据对象的真实类型,而不是静态类型。

静态分派

通过方法重载支持静态分派。

</>复制代码

  1. class Dog {
  2. }
  3. class DogBaby1 extends Dog {
  4. }
  5. class DogBaby2 extends Dog {
  6. }
  7. class Execute {
  8. public void execute(Dog dog) {
  9. System.out.println("上古 Dog");
  10. }
  11. public void execute(DogBaby1 baby1) {
  12. System.out.println("上古Dog第一代子孙");
  13. }
  14. public void execute(DogBaby2 baby2) {
  15. System.out.println("上古Dog第二代子孙");
  16. }
  17. }
  18. /**
  19. * @author Levin
  20. * @create 2017/12/19 0019
  21. */
  22. public class Client {
  23. public static void main(String[] args) {
  24. Dog dog = new Dog();
  25. Dog baby1 = new DogBaby1();
  26. Dog baby2 = new DogBaby2();
  27. Execute exe = new Execute();
  28. exe.execute(dog);
  29. exe.execute(baby1);
  30. exe.execute(baby2);
  31. }
  32. }

显然,Execute类的excute()方法是由三个方法重载而成的。这三个方法分别接受狗(Dog)、狗baby1(DogBaby1)、狗baby2(DogBaby2)等类型的参数。

</>复制代码

  1. 运行结果

</>复制代码

  1. 上古 Dog
  2. 上古 Dog
  3. 上古 Dog

为什么呢?三次对execute()方法的调用传入的是不同的参数,分别是dog、baby1、baby2。它们虽然具有不同的真实类型,但是它们的静态类型都是一样的,均是Dog类型。

重载方法的分派是根据静态类型进行的,这个分派过程在编译时期就完成了。

双(重)分派

Java是静态多分派、动态单分派的语言。

Java不支持动态的双分派。但是通过使用设计模式,也可以在Java语言里实现动态的双重分派。

首先,什么是双分派?还记得 设计模式解密(22)- 访问者模式 中举的例子吗?

访问者模式用到了一种双分派的技术,所谓双分派技术就是在选择一个方法的时候,不仅仅要根据消息接收者(receiver)的运行时区别(Run time type),还要根据参数的运行时区别

在访问者模式中,客户端将具体状态当做参数传递给具体访问者,这里完成第一次分派,然后具体访问者作为参数的具体状态中的方法,同时也将自己this作为参数传递进去,这里就完成了第二次分派。双分派意味着得到的执行操作决定于请求的种类和接受者的类型。

双分派的核心就是这个this对象。

说到这里,我们已经明白双分派是怎么回事了,但是它有什么效果呢?就是可以实现方法的动态绑定,我们可以对上面的程序进行修改。

</>复制代码

  1. class Dog {
  2. public void accept(Execute exe) {
  3. exe.execute(this);
  4. }
  5. }
  6. class DogBaby1 extends Dog {
  7. @Override
  8. public void accept(Execute exe) {
  9. exe.execute(this);
  10. }
  11. }
  12. class DogBaby2 extends Dog {
  13. @Override
  14. public void accept(Execute exe) {
  15. exe.execute(this);
  16. }
  17. }
  18. class Execute {
  19. public void execute(Dog dog) {
  20. System.out.println("上古 Dog");
  21. }
  22. public void execute(DogBaby1 baby1) {
  23. System.out.println("上古Dog第一代子孙");
  24. }
  25. public void execute(DogBaby2 baby2) {
  26. System.out.println("上古Dog第二代子孙");
  27. }
  28. }
  29. /**
  30. * 双重分派
  31. *
  32. * @author Levin
  33. * @create 2017/12/19 0019
  34. */
  35. public class Client {
  36. public static void main(String[] args) {
  37. Dog dog = new Dog();
  38. Dog baby1 = new DogBaby1();
  39. Dog baby2 = new DogBaby2();
  40. Execute exe = new Execute();
  41. dog.accept(exe);
  42. baby1.accept(exe);
  43. baby2.accept(exe);
  44. }
  45. }

</>复制代码

  1. 运行结果

</>复制代码

  1. 上古 Dog
  2. 上古Dog第一代子孙
  3. 上古Dog第二代子孙

从结果可以看出:双分派实现动态绑定的本质,就是在重载方法委派的前面加上了继承体系中覆盖的环节,由于覆盖是动态的,所以重载就是动态的了!!!

总结

访问者模式把数据结构和作用于结构上的操作解耦合,使得操作集合可相对自由地演化。访问者模式适用于数据结构相对稳定算法又易变化的系统。因为访问者模式使得算法操作增加变得容易。若系统数据结构对象易于变化,经常有新的数据对象增加进来,则不适合使用访问者模式。

</>复制代码

  1. 优点

扩展性好: 在不修改对象结构中的元素的情况下,为对象结构中的元素添加新的功能。

复用性好: 通过访问者来定义整个对象结构通用的功能,从而提高复用程度。

分离无关行为: 通过访问者来分离无关的行为,把相关的行为封装在一起,构成一个访问者,这样每一个访问者的功能都比较单一。

</>复制代码

  1. 缺点

对象结构变化很困难: 不适用于对象结构中的类经常变化的情况,因为对象结构发生了改变,访问者的接口和访问者的实现都要发生相应的改变,代价太高。

破坏封装: 访问者模式通常需要对象结构开放内部数据给访问者ObjectStructrue,这破坏了对象的封装性。

</>复制代码

  1. 使用场景

数据结构稳定,作用于数据结构的操作经常变化的时候。

当一个数据结构中,一些元素类需要负责与其不相关的操作的时候,为了将这些操作分离出去,以减少这些元素类的职责时,可以使用访问者模式。

有时在对数据结构上的元素进行操作的时候,需要区分具体的类型,这时使用访问者模式可以针对不同的类型,在访问者类中定义不同的操作,从而去除掉类型判断。

说点什么

参考文献:http://www.cnblogs.com/JsonShare/p/7380772.html

全文代码:https://gitee.com/battcn/design-pattern/tree/master/Chapter19/battcn-visitor

个人QQ:1837307557

battcn开源群(适合新手):391619659

微信公众号:battcn(欢迎调戏)

文章版权归作者所有,未经允许请勿转载,若此文章存在违规行为,您可以联系管理员删除。

转载请注明本文地址:https://www.ucloud.cn/yun/70843.html

相关文章

  • 一起设计模式 - 组合模式

    摘要:组合模式的图组成部分组合对象为组合中的对象声明接口,在适当的情况下,实现所有类共有接口的默认行为,声明用于访问和管理其子组件的接口。组合模式对单个对象叶子对象和组合对象容器对象的使用具有一致性。 组合模式(Composite Pattern)属于结构型模式的一种,组合多个对象形成树形结构来表示部分 - 整体的结构层次,对单个对象(叶子对象)和组合对象(容器对象)的使用具有一致性 概述...

    toddmark 评论0 收藏0
  • 一起设计模式 - 备忘录模式

    摘要:备忘录模式常常与命令模式和迭代子模式一同使用。自述历史所谓自述历史模式实际上就是备忘录模式的一个变种。在备忘录模式中,发起人角色负责人角色和备忘录角色都是独立的角色。 备忘录模式(Memento Pattern)属于行为型模式的一种,在不破坏封装特性的前提下,捕获一个对象的内部状态,并在该对象之外保存这个状态。这样就可以将该对象恢复到原先保存的状态。 概述 备忘录模式又叫做快照模式(...

    roland_reed 评论0 收藏0
  • 一起设计模式 - 迭代器模式

    摘要:迭代器模式属于行为型模式的一种,提供一种方法访问一个容器中各个元素,而又不需要暴露该对象的内部细节。迭代器模式把在元素之间游走的责任交给迭代器,而不是聚合对象。 迭代器模式(Iterator Pattern)属于行为型模式的一种,提供一种方法访问一个容器中各个元素,而又不需要暴露该对象的内部细节。 概述 迭代器模式听起来可能感觉很陌生,但是实际上,迭代器模式是所有设计模式中最简单也是...

    JasonZhang 评论0 收藏0
  • 一起设计模式 - 单例模式

    摘要:懒汉非线程安全,需要用一定的风骚操作控制,装逼失败有可能导致看一周的海绵宝宝饿汉天生线程安全,的时候就已经实例化好,该操作过于风骚会造成资源浪费单例注册表初始化的时候,默认单例用的就是该方式特点私有构造方法,只能有一个实例。 单例设计模式(Singleton Pattern)是最简单且常见的设计模式之一,主要作用是提供一个全局访问且只实例化一次的对象,避免多实例对象的情况下引起逻辑性错...

    Keven 评论0 收藏0
  • 一起设计模式 - 外观模式

    摘要:适配器是将接口转换为不同接口,而外观模式是提供一个统一的接口来简化接口。 外观模式(Facade Pattern)属于结构型模式的一种,为子系统中的一组接口提供一个统一的入口,它通过引入一个外观角色来简化客户端与子系统之间的交互... 概述 外观模式是一种使用频率非常高的结构型设计模式,当你要为一个复杂子系统提供一个简单接口时。子系统往往因为不断演化而变得越来越复杂。大多数模式使用时...

    zone 评论0 收藏0

发表评论

0条评论

ityouknow

|高级讲师

TA的文章

阅读更多
最新活动
阅读需要支付1元查看
<