C++中用于碰撞检测的多个调度

Multiple dispatch for collision detection in C++?

本文关键字:调度 碰撞检测 用于 C++      更新时间:2023-10-16

我有圆圈、方框和线条。现在我想在它们之间实现碰撞检测。这意味着我必须为两种形状的每种组合都有一个函数。当然,我可以对线与圆和圆对线使用相同的方法,但我认为我的观点仍然成立。在C++中实现这一点的最优雅方法是什么?

在现代C++设计一书中,多方法一章解释了如何实现它们,并记录了如何使用[Loki库提供的实现][2]。还有Boost.Multimethod提案,但还没有。这本书在对象碰撞的主题上展示了多方法的力量。

多态性

首先,您有 Shape 和所有其他子类:

class Shape;
class Circle : Shape;
class Square : Shape;
...etc

并且您希望它们都实现彼此相交,因此具有一个通用函数:

class Shape{
    bool isIntersect(const Shape&)
    {
        return isIntersecting(this, shape);
    }
};

现在重载与所有配对选项相交,因为每个情况都是唯一的,你在这里没有太多选择,只能实现每个情况:

bool isIntersecting(Circle, Square);
bool isIntersecting(Circle, Line);
...

你也可以尝试访客模式,但我认为它在这里没有用。

您可以在场景中执行碰撞检测,而不是处理两个形状的每个事件。此外,您将面临一些问题。其中包括类型省略和注册几何形状:

#include <iostream>
#include <map>
class Shape
{
    public:
    struct Type {
        public:
        typedef unsigned Identifier;
        const char* name;
        Identifier id;
        Type(const char* name)
        :   name(name), id(register_name(name))
        {}
        private:
        static Identifier register_name(const char*);
    };

    virtual const Type& get_type() const = 0;
    virtual ~Shape() {}
};
Shape::Type::Identifier Shape::Type::register_name(const char* name) {
    typedef std::map<const char*, Identifier> Types;
    static std::map<const char*, Identifier> types;
    auto& id = types[name];
    if( ! id) id = types.size();
    return id;
}

class Scene
{
    public:
    typedef bool (*CollisionDetector)(const Shape&, const Shape&);
    void register_collision_detector(CollisionDetector, const Shape::Type&, const Shape::Type&);
    bool collision(const Shape& a, const Shape&, bool strict = false) const;
    private:
    typedef std::pair<Shape::Type::Identifier, Shape::Type::Identifier> Identifier;
    typedef std::map<Identifier, CollisionDetector> CollisionDetectors;
    CollisionDetectors m_detectors;
};
void Scene::register_collision_detector(
    CollisionDetector detector,
    const Shape::Type& t0,
    const Shape::Type& t1)
{
    m_detectors[Identifier(t0.id, t1.id)] = detector;
}
bool Scene::collision(const Shape& s0, const Shape& s1, bool strict) const {
    const Shape::Type::Identifier i0 = s0.get_type().id;
    const Shape::Type::Identifier i1 = s1.get_type().id;
    auto pos = m_detectors.find(Identifier(i0, i1));
    if(pos == m_detectors.end() && ! strict && i0 != i1)
        pos = m_detectors.find(Identifier(i1, i0));
    if(pos != m_detectors.end())
        return pos->second(s0, s1);
    else return false;
}

class Circle : public Shape
{
    public:
    static const Type type;
    virtual const Type& get_type() const  { return type; }
};
const Shape::Type Circle::type("Circle");
class Rectangle : public Shape
{
    public:
    static const Type type;
    virtual const Type& get_type() const { return type; }
};
const Shape::Type Rectangle::type("Rectangle");
bool circle_rectangle_collision(const Shape& circle, const Shape& rectangle) {
    std::cout << "circle_rectangle_collision" << std::endl;
    return false;
}

int main()
{
    Scene scene;
    scene.register_collision_detector(circle_rectangle_collision, Circle::type, Rectangle::type);
    Circle circle;
    Rectangle rectangle;
    scene.collision(circle, rectangle);
    scene.collision(rectangle, circle);
}