可变参数模板扩展期间的 C++ 类型索引

Question

我有一个自己无法解决的简单但令人生畏的问题。我有类似的东西

template<class T, class... Args>
T* create(SomeCastableType* args, size_t numArgs)
{
  return new T(static_cast<Args>(args[INDEX_OF_EXPANSION])...);
}

假设 SomeCastableType 可以转换为任何类型。显然我无法得到的是 INDEX_OF_EXPANSION。

非常感谢您的帮助。

Answer 1

Indices trick ,耶~

template<class T, class... Args, std::size_t... Is>
T* create(U* p, indices<Is...>){
  return new T(static_cast<Args>(p[Is])...);
}

template<class T, class... Args>
T* create(U* p, std::size_t num_args){
  assert(num_args == sizeof...(Args));
  return create<T, Args...>(p, build_indices<sizeof...(Args)>{});
}

当然，我强烈建议使用 smart pointer和一个 std::vector 而不是原始指针。