派（Dispatch）

单派与多派

(Single Dispatch and Multi Dispatch)

    "检查一个数据项的类型，并据此去调用某个适当的过程称为基于类型的分派"。

    上面是来自《计算机程序的解释与构造》的一段话，今日有幸读到。对于Dispatch这个词，我第一次接触，是来自Com/DCom年代的自动化接口（IDispatcher），然后一直就很朦胧，知道那么会事，但是没有一个清晰的认识。

    OOP中的多态就属于典型的单分派，对一个多态方法的调用是通过对象的实际类型确定的。

对于如下代码调用：

            IObj a = new ObjA();

            IObj b = new ObjB();

            IObj c = new ObjC();

            a.Func();

            b.Func();

            c.Func();

虽然同样是对Func的调用，但是其分别"检查了a,b,c的实际类型，并据此去调用某个对应的方法"，为什么是叫单派，因为参与确定方法的因素只有一个，就是类型。

 

确定具体方法的只需要查询这个一维表格，而双派的典型应用就是设计模式中的访问者模式。

下面是一个典型的访问模式的结构图：

 

 

 

    访问者模式要确定调用哪个方法，需要有两个维度来确定，一个维度是结构，包含ObjA,ObjB,ObjC,一个维度是行为，包括VisA,VisB,VisC。

    如下调用：

IObj obj = new ObjB();

IVis func = new VisB();

obj.Accept(func);

如上表格，确定最后调用哪个方法，有两个维度决定调用VisB::Do(ObjB),同理，如下调用：

IObj obj = new ObjC();

IVis func = new VisA();

obj.Accept(func);

 

    我能想到的应用也只有双派，是否有更多的派，我就不了解了。