如何实现针对不同形状对象的多态碰撞检测函数？

在C++里，普通单态只能根据调用者的类型动态绑定方法，但碰撞检测需要同时确定两个对象的类型，这时候得用**双重分发（Double Dispatch）**来实现，比用dynamic_cast挨个判断类型要优雅得多。

核心思路 #

通过两次动态绑定实现精准匹配：

1. 第一次绑定调用者（比如obj1）的collision方法，根据obj1的类型进入对应派生类的实现。
2. 在该实现中，调用被检测对象（obj2）的特定碰撞方法，第二次绑定obj2的类型，最终执行两个类型对应的碰撞逻辑。

代码实现示例 #

1. 定义基类Shape

基类需要声明作为入口的碰撞方法，以及针对每种派生形状的纯虚碰撞方法，让派生类实现具体逻辑：

#include <iostream>

class Circle; // 前向声明，避免循环依赖
class Rectangle;

class Shape {
public:
    virtual ~Shape() = default; // 必须声明虚析构，防止内存泄漏

    // 碰撞检测入口：由调用者触发
    virtual void collision(Shape& other) = 0;

    // 针对不同形状的碰撞方法，派生类必须实现
    virtual void collideWithCircle(Circle& circle) = 0;
    virtual void collideWithRectangle(Rectangle& rect) = 0;
};

2. 实现派生类Circle

重写基类的所有纯虚函数，在入口方法中触发第二次动态绑定，并实现具体碰撞逻辑：

class Circle : public Shape {
public:
    void collision(Shape& other) override {
        // 触发第二次动态绑定：根据other的类型调用对应的collideWithCircle
        other.collideWithCircle(*this);
    }

    void collideWithCircle(Circle& circle) override {
        // 圆形与圆形的碰撞检测逻辑
        std::cout << "执行圆形-圆形碰撞检测" << std::endl;
    }

    void collideWithRectangle(Rectangle& rect) override {
        // 圆形与矩形的碰撞检测逻辑
        std::cout << "执行圆形-矩形碰撞检测" << std::endl;
    }
};

3. 实现派生类Rectangle

和Circle逻辑一致，重写基类方法并实现对应碰撞逻辑：

class Rectangle : public Shape {
public:
    void collision(Shape& other) override {
        // 触发第二次动态绑定：根据other的类型调用对应的collideWithRectangle
        other.collideWithRectangle(*this);
    }

    void collideWithCircle(Circle& circle) override {
        // 矩形与圆形的碰撞检测逻辑（可复用圆形-矩形的逻辑，或单独实现）
        std::cout << "执行矩形-圆形碰撞检测" << std::endl;
    }

    void collideWithRectangle(Rectangle& rect) override {
        // 矩形与矩形的碰撞检测逻辑
        std::cout << "执行矩形-矩形碰撞检测" << std::endl;
    }
};

4. 使用示例

通过基类指针或引用调用collision，会自动匹配正确的碰撞逻辑：

int main() {
    Shape* circle = new Circle();
    Shape* rect = new Rectangle();
    Shape* anotherCircle = new Circle();

    circle->collision(*rect);          // 输出：执行圆形-矩形碰撞检测
    rect->collision(*circle);          // 输出：执行矩形-圆形碰撞检测
    circle->collision(*anotherCircle); // 输出：执行圆形-圆形碰撞检测

    // 释放内存
    delete circle;
    delete rect;
    delete anotherCircle;
    return 0;
}

为什么不用dynamic_cast判断类型？ #

虽然可以用dynamic_cast配合if-else挨个判断对象类型（类似Java的instanceof），但这种方式会让代码冗余，新增形状时需要修改所有碰撞检测的分支，违反开闭原则。而双重分发的方式，新增形状只需要添加对应的collideWithX方法，不需要修改现有代码，扩展性更好。

内容的提问来源于stack exchange，提问作者mertvy