设计模式 行为型模式 -- 访问者模式 拓展:双分派

Posted CodeJiao

tags:

篇首语:本文由小常识网(cha138.com)小编为大家整理,主要介绍了设计模式 行为型模式 -- 访问者模式 拓展:双分派相关的知识,希望对你有一定的参考价值。

设计模式 行为型模式 – 访问者模式

1. 访问者模式 拓展:双分派


1.1 动态分派

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

示例代码:

Test.java

package com.tian;

public class Test {
    public static void main(String[] args) {
        Animal a = new Dog();
        a.execute();
        Animal a1 = new Cat();
        a1.execute();
    }
}

class Animal {
    public void execute() {
        System.out.println("Animal");
    }
}

class Dog extends Animal {
    @Override
    public void execute() {
        System.out.println("dog");
    }
}

class Cat extends Animal {
    @Override
    public void execute() {
        System.out.println("cat");
    }
}

运行结果:

分析:

  • 上面代码的结果大家应该直接可以说出来,这不就是多态吗!运行执行的是子类中的方法。
  • Java编译器在编译时期并不总是知道哪些代码会被执行,因为编译器仅仅知道对象的静态类型,而不知道对象的真实类型;而方法的调用则是根据对象的真实类型,而不是静态类型。

1.2 静态分派

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

示例代码:

Test.java

package com.tian;

class Animal {
}

class Dog extends Animal {

}

class Cat extends Animal {
}

class Execute {
    public void execute(Animal a) {
        System.out.println("Animal");
    }

    public void execute(Dog d) {
        System.out.println("dog");
    }

    public void execute(Cat c) {
        System.out.println("cat");
    }
}

public class Test {
    public static void main(String[] args) {
        Animal a = new Animal();
        Animal a1 = new Dog();
        Animal a2 = new Cat();
        Execute exe = new Execute();
        exe.execute(a);
        exe.execute(a1);
        exe.execute(a2);
    }
}

运行结果:

分析:

这个结果可能出乎一些人的意料了,为什么呢?

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


1.3 双分派

所谓双分派技术就是在选择一个方法的时候,不仅仅要根据消息接收者(receiver)的运行时区别,还要根据参数的运行时区别。

示例代码:

Test.java

package com.tian;

class Animal {
    public void accept(Execute exe) {
        exe.execute(this);
    }
}

class Dog extends Animal {
    public void accept(Execute exe) {
        exe.execute(this);
    }
}

class Cat extends Animal {
    public void accept(Execute exe) {
        exe.execute(this);
    }
}

class Execute {
    public void execute(Animal a) {
        System.out.println("animal");
    }

    public void execute(Dog d) {
        System.out.println("dog");
    }

    public void execute(Cat c) {
        System.out.println("cat");
    }
}

public class Test {
    public static void main(String[] args) {
        Animal a = new Animal();
        Animal d = new Dog();
        Animal c = new Cat();
        Execute exe = new Execute();
        a.accept(exe);
        d.accept(exe);
        c.accept(exe);
    }
}

运行结果:

分析:



以上是关于设计模式 行为型模式 -- 访问者模式 拓展:双分派的主要内容,如果未能解决你的问题,请参考以下文章

设计模式 行为型模式 -- 访问者模式

设计模式

手撸golang 行为型设计模式 访问者模式

行为型模式-访问者模式

设计模式(33)-----行为型模式-----访问者设计模式

23行为型模式之访问者模式