多分派技术及其应用——访问者模式
分派是什么
分派就是在调用一个方法(把调用方法看成是一个请求)时,确定请求接收者以及确定要执行哪段代码的问题。乍看起来,这个解释很蠢(调用哪个方法不就是执行哪个方法的代码吗?),思考之后却有道理。比如:
class Show {
public void print(Integer i) {
System.out.println(i);
}
public void print(String s) {
System.out.println(s);
}
public static void main(String[] args) {
Show show = new Show();
show.print(new String("Hello"));
}
}
看上面这段代码,Show类有两个重载方法,当我们调用show.print(new String(“Hello”));方法时调用的肯定是print(String s)方法,而不是print(Integer i)方法,这就是一种分派,一种单分派。根据参数类型进行的分派,由于在编译期就决定调用哪个方法了,因此这是一种静态分派。
interface Show {
void print();
}
class ShowHello implements Show {
@Override
public void print() {
System.out.println("Hello");
}
}
class ShowWorld implements Show {
@Override
public void print() {
System.out.println("World");
}
}
class Demo {
public static void main(String[] args) {
Show show = new ShowHello();
show.print();
}
}
看上面这段代码,Show show = new ShowHello();show.print();这调用的肯定是ShowHello类的print方法,而不是ShowWorld类的print方法,这也是一种分派,是一种单分派。由于多态在运行时才确定,因此这是一种动态分派。
实际上,Java/C#/C++等语言只支持单分派(而有一些编程语言是支持多分派的),要想实现多分派,只能借助设计模式。
实现Visitor(访问者)模式
访问者模式其实是一种聚集操作,将一组类的相同行为提取到一个类中。在下面的例子中我们把所有Show类的print方法提取到一个类中。例子很简单,没什么实际用处,重点在于理解模式。
interface Visitor {
void visitShowHello(ShowHello sh);
void visitShowWorld(ShowWorld sw);
}
class PrintVisitor implements Visitor {
public void visitShowHello(ShowHello sh) {
System.out.println(sh.getMess());
}
public void visitShowWorld(ShowWorld sw) {
System.out.println(sh.getMess());
}
}
interface Show {
void accept(Visitor visitor);
}
class ShowHello implements Show {
private String mess = "Hello";
// getter
@Override
public void accept(Visitor visitor) {
visitor.visitShowHello(this);
}
}
class ShowWorld implements Show {
private String mess = "World";
// getter
@Override
public void accept(Visitor visitor) {
visitor.visitShowWorld(this);
}
}
上面代码即使Visitor模式的一个简单实现。多态确定执行哪个对象的accept方法是一种分派,根据accept方法的参数visitor来选择执行哪个方法又是一种分派,因此访问者模式实现了双分派。
我觉得这还可以有改进之处,比如把Visitor接口的方法改为同一名称,只以参数来区分它们,这更有利于封装啊。
访问者模式还有很多用处,当然它也会有缺点,本篇博客重点叙述双分派,其它内容不做赘述。