模板、多态性、抽象基类指针和运行时转换

Question

我想在游戏中实现 Memento 模式，以实现检查点。

我有游戏中的 GameObject 指针列表。 GameObject 是一个抽象类，由 StaticObject、AnimatedObject 等类实现...

我想让我的 Memento 类尽可能抽象，所以我对整个 Memento 系统进行了模板化。

我的（非常准系统，用于调试目的）Memento 类是；

template<class T>
class Memento
{
public:
    Memento() { }

    Memento(T data)
    {
        setData(data);
    }
    void setData(T data)
    {
    //wanting this function to do complex behaviour
    }

    T _state;
};

稍后我会加入逻辑来区分 T 是否是指针。

_state 需要是实际 GameObject 副本的指针，而不仅仅是指针本身的副本，因为这违背了 Memento 的目的。

我想在 Memento 模板中执行的过程是：

1）传入抽象基类的指针。

2）确定它指向的子类的类型（在运行时）。

3）在堆上创建一个新的子类，其指针为_state（来自2中获得的类型）。

4）复制数据。

我遇到的问题是 3。我似乎无法获得子类的正确类型。

typeid(*data) 和 decltype(*data) 返回对子级的引用。如果我尝试使用 auto，它也是一个参考。显然我不能使用带有引用的 new 作为类型。

解决这个问题的方法显然是在 Memento 之外新建子类的副本并将其传递进去。但是，我很想知道是否有一种方法可以在运行时在 Template 类中完全完成此操作。我已经尝试了几个小时，看看能否让它发挥作用，而我的顽固部分却不想放弃。

Answer 1

您正在寻找的是“虚拟复制构造函数”，或克隆，习语。

class GameObject {
    ...
public:
    virtual GameObject* clone() = 0;
};

class StaticObject : public GameObject {
    ...
public:
    virtual StaticObject* clone() { return new StaticObject(*this); }
};

//..