3

使用堆栈分配的对象将对象存储在异构向量中

你好，

假设我有一个抽象类 CA，派生到 CA1、CA2 和其他可能。

我想将这些派生类型的对象放入一个向量中，并将其嵌入到一个类 CB 中。为了获得正确的多态性，我需要存储一个指针向量：

class CB
{
    std::vector <CA*> v;
};

现在，假设我有以下主要功能：

int main()
{
    CB b;
    CA1 a1;
    CA2 a2;
    b.Store( a1 );
    b.Store( a2 );
}

如何void CB::Store(const CA&)以简单的方式编写该方法，以便在原始对象被破坏时存储的对象仍然存在（在上面的简单示例中不会发生）。

我的问题是我需要先复制堆上的对象，然后再将它们的地址复制到向量中，但是如何创建派生类型的对象？当然，我可以使用 RTTI，搜索所有可能的类型，创建和分配指针，然后将对象复制（通过适当的转换）到分配的空间，然后再将其推入向量。但这似乎很复杂，不是吗？

有没有更简单的方法？

（并且主要不使用动态分配！）

4

3 回答 3

7

通常，您将提供一个克隆功能：

struct CA
{
    virtual CA *clone(void) const = 0;
    virtual ~CA() {} // And so on for base classes.
}

struct CA1 : public CA
{
    virtual CA *clone(void) const
    {
        return new CA1(*this);
    }
}

struct CA2 : public CA
{
    virtual CA *clone(void) const
    {
        return new CA2(*this);
    }
}

这称为虚拟构造函数，您可以在运行时构造对象的副本：

void CB::Store(const CA& pObject)
{
    CA *cloned = pObject.clone();
}

您应该考虑使用Boost.Pointer Container库。您的代码将是：

boost::ptr_vector<CA> objects;

void CB::Store(const CA& pObject)
{
    objects.push_back(pObject->clone());
}

现在您无需自己管理内存。该库还尊重克隆函数，并在复制对象时调用它。教程在这里。

于 2009-10-21T13:53:09.320 回答
2

听起来您需要派生类将实现的抽象类中的 clone() 函数。

class CA
{
   public:
   virtual ~CA() {}
   virtual CA* clone() const = 0;
}

class CA1 : public CA
{ 
    public:
    virtual CA *clone() const
    {
       return new CA1(*this);
    }
};
于 2009-10-21T13:51:26.013 回答
1

一种可能性是将 Store 模板化为其参数的类型：

class CB
{
public:
    template<class T>
    void Store(const T& t)
    {
         v.push_back(new T(t));
    }

private:
    std::vector <CA*> v;
};

不过有一个警告：与其他人发布的“clone()”解决方案不同，这很容易被切片。例如，这很好用：

CB b;
CA1 a1;
CA2 a2;
b.Store(a1);
b.Store(a2);

但这不会：

CA1 a1;
CA* a = &a1;
b.Store(*a); //Ouch! this creates a new CA, not a CA1

向 CA 提供受保护的复制 ctor 可防止此类滥用。但是，如果我们进一步子类 CA1，问题又回来了。

于 2009-10-21T15:36:58.567 回答