我四处搜索,似乎为了执行此操作,我需要更改我的Base类,并想知道这是否是最好的方法。 例如, 我有一个基类:
class Base {}
然后是一长串派生类:
class Derived_1:: public Base {}
class Derived_2:: public Derived_1{}
...
...
class Derived_n:: public Derived_M{}
然后我又开了一个班:
class DeepCopy
{
Base * basePtr;
public:
DeepCopy(DeepCopy & dc) {}
}
假设Basecine和Derived_x类复制构造函数已正确编码,那么为DeepCopy编写复制构造函数的最佳方法是什么。我们如何知道我们要复制的对象的basePtr中的类?
我能想到的唯一方法就是使用RTTI,但使用一长串的dynamic_cast似乎不对。此外,它需要DeepCopy来了解Base类的继承层次结构。
我看到的另一种方法是here。但它需要Base和Derived类实现克隆方法。
那么有一种更容易,更标准的方法吗?
答案 0 :(得分:27)
您需要使用虚拟副本模式:在执行复制的接口中提供虚拟功能,然后在层次结构中实现它:
struct base {
virtual ~base() {} // Remember to provide a virtual destructor
virtual base* clone() const = 0;
};
struct derived : base {
virtual derived* clone() const {
return new derived(*this);
}
};
然后DeepCopy
对象只需要调用该函数:
class DeepCopy
{
Base * basePtr;
public:
DeepCopy(DeepCopy const & dc) // This should be `const`
: basePtr( dc.basePtr->clone() )
{}
};
答案 1 :(得分:20)
使用采用clone()
函数的方法是一个很好的解决方案。注意使用 CRTP (the curiously recurring template pattern)可以为您节省一些工作。你这样做的方法是引入一个中间级别(下面称为BaseCRTP
),它是一个模板并实现clone()
函数。在派生实际类时,将它们用作派生它们的基础的模板参数。他们将自动为他们实现clone()
功能。确保派生类实现了一个复制构造函数(或者确保默认是你需要的)。
/* Base class includes pure virtual clone function */
class Base {
public:
virtual ~Base() {}
virtual Base *clone() const = 0;
};
/* Intermediate class that implements CRTP. Use this
* as a base class for any derived class that you want
* to have a clone function.
*/
template <typename Derived>
class BaseCRTP : public Base {
public:
virtual Base *clone() const {
return new Derived(static_cast<Derived const&>(*this));
}
};
/* Derive further classes. Each of them must
* implement a correct copy constructor, because
* that is used by the clone() function automatically.
*/
class Derived1 : public BaseCRTP<Derived1> {
/*... should have an ordinary copy constructor... */
};
class Derived2 : public BaseCRTP<Derived2> {
/*... should have an ordinary copy constructor... */
};
然后,您可以通常以通常的方式实现DeepCopy
类:
class DeepCopy
{
Base *basePtr;
public:
DeepCopy(const DeepCopy &dc)
: basePtr(dc.basePtr->clone())
{}
};
答案 2 :(得分:1)
我认为模板是处理这种情况的最佳方式:
template<typename Sub>
class DeepCopy
{
Base *base;
DeepCopy(Sub *sub)
{
base = new Sub(*sub); // use copy constructor
}
}
这确实意味着DeepCopy
彼此无法分配,但这是您用C ++支付的价格。