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

妖狐艹你老母 2022-05-06 06:44 146阅读 0赞

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

## 分派是什么 ##

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

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

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