如何遍历可变参数模板参数以创建可变数量的局部变量？

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" }); 

会可变参数模板帮助我实现这些功能，因为这一个重构？

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" }); 

经过How can I iterate over a packed variadic template argument list?和iterating over variadic template's type parameters没有成功。看不到我怎么能创建一个可变数量的不同类型的本地对象...

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)}...); 
}