Как перебирать переменные параметры шаблона для создания переменного числа локальных переменных?

Question

У меня есть много функций, которые очень похожи, но работают с разным количеством и типом локальных объектов:

template <class T> T* create1( const std::vector<std::string>& names )
{
    A a( names[0] );
    B b( names[1] );
    C c( names[2] );

    if ( a.valid() && b.valid() && c.valid() )
        return new T( a, b, c );
    else
        return NULL;
}

template <class T> T* create2( const std::vector<std::string>& names )
{
    D d( names[0] );
    E e( names[1] );

    if ( d.valid() && e.valid() )
        return new T( d, e );
    else
        return NULL;
}

create1<ABC>( { "nameA", "nameB", "nameC" } );
create2<DE>( { "nameD", "nameE" } );

Поможет ли мне шаблон variadic осуществить рефакторинг этих функций, как это?

template <class T, typename Args...> T* create()
{
    // loop over Args and create 2 or 3 objects
    // if (....valid())
    //    return T( ... );
    // else
    //    return NULL;
}

create<ABC,A,B,C>( { "nameA", "nameB", "nameC" } );
create<DE,D,E>( { "nameD", "nameE" } );

Проверено Как я могу перебирать упакованный список аргументов шаблона переменной? и перебирая параметры типа шаблона variadic безуспешно. Не могу понять, как я могу создать переменное количество локальных объектов разного вида...

Answer 1

Во-первых, не воспринимайте свои имена как vector, Возьмите их в качестве пакета параметров. И, более того, воспринимайте их как набор того, что вам действительно нужно:

bool is_valid() { return true; }
template <class T, class... Ts>
bool is_valid(T& arg, Ts&... args) {
    return arg.valid() && is_valid(args...);
}

template <class T, class... Args>
T* create(Args&&... args) {
    if (is_valid(args...)) {
        return new T{args...};
    }
    else {
        return nullptr;
    }
}

А теперь просто передайте правильную вещь в:

create<T>(A{"nameA"}, B{"nameB"}, C{"nameC"});
create<T>(D{"nameD"}, E{"nameE"});

Если по какой-то причине вы действительно хотите разделить типы и имена, вы можете сделать это тоже:

template <class T, class... Cs, class... As>
T* create_classes(As&&... args) {
    return create<T>(Cs{std::forward<As>(args)}...);
}