多分派技术及其应用——访问者模式

多分派技术及其应用——访问者模式

分派是什么

分派就是在调用一个方法（把调用方法看成是一个请求）时，确定请求接收者以及确定要执行哪段代码的问题。乍看起来，这个解释很蠢（调用哪个方法不就是执行哪个方法的代码吗？），思考之后却有道理。比如：

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接口的方法改为同一名称，只以参数来区分它们，这更有利于封装啊。

访问者模式还有很多用处，当然它也会有缺点，本篇博客重点叙述双分派，其它内容不做赘述。