C++ VARIADIC шаблон класса дизайн

Question

Я работаю на микс-моноблока класса Config Читателя, который поддерживает чтение данных конфигурации из среды, командной строки, файлы и т.д ..

Я был вид после зЬй :: Тип кортежа дизайн:

template <class... Ts> struct ConfigReader {}; 

template <class T, class... Ts> 
class ConfigReader<T, Ts...> : ConfigReader<Ts...> 
{ 
    public: 
    typedef boost::fusion::set<T, Ts...> sequence_type; 

    ConfigReader(T t, Ts... ts) 
     : ConfigReader<Ts...>(ts...) 
     , parameters_(t, ts...) 
    { 
     this->init(); 
    } 

    private: 
    sequence_type parameters_; 

    void init() 
    { 
     boost::fusion::for_each(parameters_, SetFromEnvironment()); 
     boost::fusion::for_each(parameters_, SetFromCommandLine()); 
     boost::fusion::for_each(parameters_, SetFromConfigFile()); 
    } 
}; 

Но я понял, что я мог бы определить это без рекурсивного наследования

template <class T, class... Ts> 
class ConfigReader<T, Ts...> 
{ 
    public: 
    typedef boost::fusion::set<T, Ts...> sequence_type; 

    ConfigReader(T t, Ts... ts) 
     : parameters_(t, ts...) 
    { 
     this->init(); 
    } 

    template <class Type> 
    typename boost::fusion::result_of::value_at_key<Sequence const, Type>::type get() 
    { 
     return boost::fusion::at_key<Type>(parameters); 
    } 

    private: 
    sequence_type parameters_; 

    void init() 
    { 
     boost::fusion::for_each(parameters_, SetFromEnvironment()); 
     boost::fusion::for_each(parameters_, SetFromCommandLine()); 
     boost::fusion::for_each(parameters_, SetFromConfigFile()); 
    } 
}; 

в последнем случае, кажется, работает лучше, потому что Init() только калла d один раз, который действительно то, что я хочу. Но теперь я смущен относительно того, какие различия между ними? Я что-то теряю без рекурсивного наследования?

Упрощенный использование будет .. (Игнорирование структур типа параметра)

int main() 
{ 
    ConfigReader<Start, End, Resources> configReader(Start(), End("infinity"), Resources()); 

    Start startTime = configReader.get<Start>(); 
} 

Answer 1

Рекурсивный подход не имеет смысла. Рассмотрим в качестве примера случай, когда вы хотите:

ConfigReader<A, B, C> reader(A{}, B{}, C{}); 

В рекурсивном случае, вы в конечном итоге с этой иерархии:

ConfigReader<A, B, C> has three readers: A, B, C 
    | 
    | 
    V 
ConfigReader<B, C> has two readers: B, C 
    | 
    | 
    V 
ConfigReader<C> has one reader: C 

У вас есть 6 читателей, когда вы имели в виду лишь 3! То, что вы , вероятно, означает, что когда вы сделали рекурсивную иерархию, для каждого экземпляра есть только один читатель: не все из них. То есть:

template <typename T, typename... Ts> 
struct ConfigReader : ConfigReader<Ts...> { 
    T current; 

    ConfigReader(T t, Ts... ts) 
    : ConfigReader<Ts...>(ts...) 
    , current(t) 
    { } 
}; 

Но то, что вы делаете с набором слияния с форсированием, выполняет это напрямую. Хотя, с C++ 11, вы должны, вероятно, просто придерживаться:

template <typename... T> 
struct ConfigReader { 
    std::tuple<T...> readers; 
}; 

Он должен соответствовать вашей цели.