这是针对 mixin 的构造函数问题的有效解决方法吗？

Question

据我了解，mixin 存在一个问题，如果您想使用除无参数构造函数之外的其他内容，则使用 mixin 的对象要么必须具有通用的构造函数签名，要么必须在你想要使用 mixin 的类。

这似乎是一种解决方法，尽管我不确定是否存在失败的情况。它使 mixin 的工作方式更像装饰器，但它消除了装饰器继承的公共接口的需要。我想另一个问题是语法可能会变得笨拙？

只是想知道这是否有什么可怕的危险。我也想知道，作为一个不太聪明的程序员，我是否误解了 mixin 的这个问题。

编辑：这似乎是一个更好的表述。

class Base
{
protected:
    std::string name;
public:
    Base()
    {
        name = "no arg constructor";
    }
    Base(std::string n)
    {
        name = n;
    }

    virtual void doSomething()
    {
        cout << name << "\n";
    }
};

class Derived : public Base
{
private:
    int x;
public:

    Derived(std::string n, int i) : Base(n)
    {
        x = i;
    }

    void doSomething()
    {
        cout << "x = " << x << "\t";
        Base::doSomething();
    }
};

template <class T>
class Decorator : public T
{
public:
    Decorator(const T& initializer) : T(initializer)
    {
        //*static_cast< T* >(this) = *initializer;
        //delete initializer;
    }
};

void method(Base& b)
{
    b.doSomething();
}

int main()
{
    Base b;
    Decorator<Base> d1(b);
    Decorator<Base> d2(Base("decorated"));
    Decorator<Derived> d3(Derived("derived", 777));

    method(d1);
    method(d2);
    method(d3);

    return 0;
}

无参数构造函数

装饰

x = 777 派生

Answer 1

1. 如果在构造过程中抛出异常，则会泄漏内存，
2. 基类必须首先构造一个默认构造函数，然后再分配。

更好的做法：

Decorator(const T& initializer) : T(initializer)
{
}

并使用：

Decorator<Base> d1((Base()));
Decorator<Base> d2(Base("decorated"));
Decorator<Derived> d3(Derived("derived",777));

同样在 C++0x 中，您可以将任意数量的参数从 Decorator 的构造函数完美转发到基本构造函数，从而有效地使用法像往常一样干净：

Decorator<Base> d1;
Decorator<Base> d2("decorated");
Decorator<Derived> d3("derived",777);

Answer 2

这就是 C++0x 包含安全转发任意数量元素的能力的原因：

template <typename T>
struct Decorator: T
{
  template <typename... Args>
  Decorator(Args&&... args): T(args...) {}
};

它干净地转发参数。在 ideone 上查看！