C++ 函数 : Variadic templates with no arguments

Question

我不确定这个问题是否已经得到解答。但它是这样的:

我想知道是否可以做类似的事情

template<typename...classes>
void createObject(){

  //pass each type into my template function wich takes one type only.

}

我真的不明白它到底是如何工作的。我不能提供任何函数参数的原因是因为应该在方法中调用的模板函数只采用一种类型。这是因为它根据类型返回一个对象。

有什么建议吗？

注意:海湾合作委员会 4.6.2

Answer 1

template<typename...>
struct caller;

template<typename T, typename...Rest>
struct caller<T, Rest...>
{
     static void call()
     {
        create<T>();
        caller<Rest...>::call();
     }
};

template<>
struct caller<>
{
     static void call()
     {
     }
};

//since you've not mentioned the return type, I'm assuming it to be void
//if it is not void, then I don't know what you're going to return, and HOW!   
template<typename...classes>
void createObject(){
      caller<classes...>::call();
}

演示:http://ideone.com/UHY8n

---

替代方案(较短的版本):

template<typename...>
struct typelist{};

template<typename T, typename ... Rest>
void call(typelist<T,Rest...>)
{
  create<T>();
  call(typelist<Rest...>());
};

void call(typelist<>) { }

template<typename...classes>
void createObject(){
      call(typelist<classes...>());
}

演示:http://ideone.com/cuhBh