0

我可以用这个技巧破坏基类并在派生中重新创建它吗?

class base: noncopyable
{
    base();         //ctor with none param
    base(int x);    //ctor with one param
    base(int x, int y); //ctor with two param

    virtual ~base();
}

struct params
{
    int x;
    int y;
    enum 
    {
        typeNoneParam,  //neither x nor y is defined
        typeOneParam,   //only x is defined
        typeTwoParam    //x and y both are defined
    }typeParam;
}

class Derived
{
    Derived(params p);  //construct base class conditionally by p.typeParam
}

Derived::Derived(params p)
    :base() //default typeNoneParam
{
    //typeNoneParam need not do special process

    if (p.typeParam == params::typeOneParam)
    {
        base::~base();  //delete the default-typeNoneParam creation by base-dtor
        base(p.x);      //recreate the new base with one-param base-ctor
    }
    if (p.typeParam == params::typeOneParam)
    {
        base::~base();  //delete the default-typeNoneParam creation by base-dtor
        base(p.x, p.y); //recreate the new base with two-param base-ctor
    }
}

类派生和基类的所有声明都不能改变,结构参数也不能改变。

只有派生类的实现是允许更改的。

任何人都可以给出关于实施正确的想法吗?任何其他更温和的实现都可以很好地满足这种情况(使用动态选择 base-ctor 初始化不可复制的基类)?

4

2 回答 2

1

在这种情况下,我会向您的派生类添加一个静态工厂函数(可选地使您的构造函数受到保护)。您可以将开关放在typeParam那里并使用正确的构造函数创建您的对象。您将需要在派生类中有三个构造函数,每个枚举条目一个。

这将在没有黑客攻击的情况下提供正确的行为。

于 2012-08-07T16:16:00.000 回答
0

Derived 类构造函数依赖于首先构造的有效基类对象。通过破坏 Base 类,我几乎可以肯定你正在与未定义的行为调情。例如,您可能会看到这体现在虚函数上。

正确的做法是让 Derived 类将参数作为初始化列表的一部分传递给 Base 类构造函数:

Derived(params p) : base(p) {};
于 2012-08-07T02:55:42.857 回答