双分派通过两次虚函数调用实现基于两个对象运行时类型的动态行为选择，解决C++单分派机制在多类型交互中的局限，典型应用为访客模式，在图形碰撞检测等场景中按形状和处理器类型组合确定处理逻辑。
双分派（Double Dispatch）是解决需要根据多个对象运行时类型动态选择函数调用的一种设计模式。C++只支持单动态分派，即通过虚函数机制基于调用对象的类型进行分发。但某些场景下，比如两个对象交互时行为依赖于双方的实际类型，就需要双分派来实现多重动态分发。
为什么需要双分派？
假设你有两个类层次结构，比如图形形状（Shape）和碰撞检测器（Collider），当不同形状与不同检测器交互时，处理逻辑各不相同。C++的虚函数只能根据一个对象的类型进行动态绑定，无法自动识别两个对象的具体类型组合。
例如：
class Circle; class Rectangle; class PhysicsEngineA; class PhysicsEngineB; <p>// 希望调用 circle.collide(engineA) 能根据 circle 和 engineA 的具体类型选择正确逻辑</p><p><span>立即学习</span>“<a href="https://pan.quark.cn/s/6e7abc4abb9f" style="text-decoration: underline !important; color: blue; font-weight: bolder;" rel="nofollow" target="_blank">C++免费学习笔记（深入）</a>”；</p>
单靠虚函数无法实现这种“基于两个对象类型”的调度，因此引入双分派。
使用访客模式实现双分派
最常见的双分派实现方式是 访客模式（Visitor Pattern）。它通过两次函数调用完成类型识别：第一次是调用 accept 方法，利用虚函数确定第一个对象类型；第二次是 visitor 调用 visit 方法，再次利用虚函数确定第二个对象类型。
示例代码：
#include <iostream>
using namespace std;
<p>// 前向声明
class Circle;
class Rectangle;
class ShapeVisitor;</p><p>class Shape {
public:
virtual ~Shape() = default;
virtual void accept(ShapeVisitor& visitor) = 0;
};</p><p>class ShapeVisitor {
public:
virtual ~ShapeVisitor() = default;
virtual void visit(Circle& circle) = 0;
virtual void visit(Rectangle& rect) = 0;
};</p><p>class Circle : public Shape {
public:
void accept(ShapeVisitor& visitor) override {
visitor.visit(<em>this); // 第二次分派：this 是 Circle</em>
}
};</p><p>class Rectangle : public Shape {
public:
void accept(ShapeVisitor& visitor) override {
visitor.visit(*this); // 第二次分派
}
};</p><p>class CollisionDetector : public ShapeVisitor {
public:
void visit(Circle& circle) override {
cout << "Collision with Circle\n";
}
void visit(Rectangle& rect) override {
cout << "Collision with Rectangle\n";
}
};</p>使用方式：
Circle c; CollisionDetector detector; c.accept(detector); // 输出: Collision with Circle
这里发生了两次动态分派：
- accept 调用通过虚函数机制确定对象是 Circle 还是 Rectangle
- visit 调用再次通过虚函数机制进入对应重载函数
这就是典型的双分派：行为由 Shape 和 Visitor 两个类型的运行时实例共同决定。
多类型交互的扩展
如果需要支持更多类型组合，比如不同的物理引擎对不同形状有不同处理方式，可以扩展 Visitor 层次：
class AdvancedCollisionDetector : public ShapeVisitor {
public:
void visit(Circle& circle) override {
cout << "Advanced physics for Circle\n";
}
void visit(Rectangle& rect) override {
cout << "Advanced physics for Rectangle\n";
}
};
这样，运行时选择哪个 Visitor，就决定了使用哪种交互逻辑。
局限与注意事项
双分派依赖访客模式，也有其限制：
- 新增 Shape 子类时，必须修改所有 Visitor 接口，违反开闭原则
- 类型组合爆炸：N 个形状 × M 个处理逻辑 = N×M 种行为，需手动维护
- 仅支持有限层级的分派，三重及以上更复杂
对于更灵活的需求，可结合 多重分发库（如 Loki 或 Boost.Dispatch），或使用类型识别 + 函数表映射的方式实现运行时多分派。
基本上就这些。双分派虽不常见，但在游戏开发、物理仿真、编译器AST操作等多对象交互场景中非常实用。核心思想是“用两次虚调用模拟一次多类型决策”，巧妙绕过C++单分派限制。
