4

我选择使用模板继承以避免多重继承和虚拟继承。我的目标是让各种孩子（4 或 5 代或我无法控制的继承）拥有一个共同的函数调用，无论它们派生什么。

我的解决方案是这样插入模板继承：

template <typename BASE>
class common_call : public BASE {
public:
    void foo() { /*implementation independent of base*/ }
};

class child1 : public common_call <base1> {};
class child2 : public common_call <base2> {};

这有调用base的构造函数的问题。类 base1 和 base2（不是我写的）有不同的构造函数，我必须在初始化列表中调用它们。common_call 模板对这些构造函数一无所知，但子类按照它们当前直接继承的方式进行操作。

我有什么办法可以做到这一点：

class child3 : public common_call<base3>{
public:
    child3(param1, param2) : base3(param2) {/*do things here*/}
};

如果可能，我会尽量避免为每种类型的基础进行部分模板特化。

4

1 回答 1

2

如果您common_call使用这样的可变参数模板提供模板化构造函数：

template <typename BASE>
class common_call : public BASE 
{
public:
    // C++11 variadic templates to define whole range of constructors
    template<typename... Args>
    common_call(Args&&... args)
    :
        BASE(std::forward<Args>(args)...)
    {}

    void foo() { /*implementation independent of base*/ }
};

common_call然后，您可以使用任何模板参数（例如）派生base3并调用该类定义的任何构造函数

class child3
:
    public common_call<base3>
{
public:
    child3(Type1 param1, Type2 param2)
    :
        common_call(param2), // call constructor overload with 1 parameter of Type2
        t1_(param1)          // initialize t1_ member
    {}

private:
    Type1 t1_;
};
于 2012-09-19T11:20:47.117 回答