Question

我需要在我的班级hieararchy

中插入克隆和创建成员函数

class Base
{
protected:
    const int x_;
public:
    Base() : x_(0) {}
    Base(int x) : x_(x) {}
};

我认为CRTP可能是如何节省一些打字并避免错误的方法。

template <typename Derived>
class CRTP_Iface : public Base
{
public:
    virtual Base *create() const { return new Derived(); }
    virtual Base *clone() const { return new Derived(static_cast<Derived const&>(*this)); }
};

不幸的是，我无法访问基类构造函数来初始化const成员。

class D1 : public CRTP_Iface<D1>
{
public:
    D1() : Base() {}
    D1(int x) : Base(x) {}
};

class D2 : public CRTP_Iface<D2>
{
public:
    D2() : x_(0) {}
    D2(int x) : x_(x) {}
};

int main()
{
    D1 a;
    D2 b;

    return 0;
}

有没有简单的方法来解决这个问题？

Answer 1

只需将所有需要的构造函数添加到CRTP_Iface。

public:
  CRTP_Iface() : Base() {}
  CRTP_Iface( int x ) : Base(x) {}

如果使用C ++ 11，则更容易：

public:
  using Base::Base;

然后你有：

class D1 : public CRTP_Iface<D1>
{
public:
    D1() : CRTP_Iface() {}
    D1(int x) : CRTP_Iface(x) {}
};

...可以用C ++ 11更好地编写：

class D1 : public CRTP_Iface<D1>
{
public:
  using CRTP_Iface<D1>::CRTP_Iface;
};

（不确定在左手或右手是否需要::，AFAIR一些比较严格的编译器）

Answer 2

您可以在模板Base中继承类CRTP_Iface<>的构造函数，然后在派生类中调用其构造函数：

template <typename Derived>
class CRTP_Iface : public Base
{
protected:
    using Base::Base;

public:
    virtual Base *create() const { return new Derived(); }
    virtual Base *clone() const { return new Derived(static_cast<Derived const&>(*this)); }
};

class D1 : public CRTP_Iface<D1>
{
public:
    D1() : CRTP_Iface() {}
    D1(int x) : CRTP_Iface(x) {}
};

live example

使用CRTP时如何访问基类构造函数

2 个答案: