Question

我想将传递给可变参数模板的模板参数填充到具有固定长度的数组中。为此，我编写了以下辅助函数模板

template<typename ForwardIterator, typename T>
void fill(ForwardIterator i) { }

template<typename ForwardIterator, typename T, T head, T... tail>
void fill(ForwardIterator i) {
  *i = head;
  fill<ForwardIterator, T, tail...>(++i);
}

以下课程模板

template<typename T, T... args>
struct params_to_array;

template<typename T, T last>
struct params_to_array<T, last> {
  static const std::size_t SIZE = 1;
  typedef std::array<T, SIZE> array_type;

  static const array_type params;

private:
  void init_params() {
    array_type result;
    fill<typename array_type::iterator, T, head, tail...>(result.begin());
    return result;
  }
};

template<typename T, T head, T... tail>
struct params_to_array<T, head, tail...> {
  static const std::size_t SIZE = params_to_array<T, tail...>::SIZE + 1;
  typedef std::array<T, SIZE> array_type;

  static const array_type params;

private:
  void init_params() {
    array_type result;
    fill<typename array_type::iterator, T, last>(result.begin());
    return result;
  }
};

并通过

初始化静态常量

template<typename T, T last>
const typename param_to_array<T, last>::array_type
param_to_array<T, last>::params =
  param_to_array<T, last>::init_params();

和

template<typename T, T head, T... tail>
const typename param_to_array<T, head, tail...>::array_type
param_to_array<T, head, tail...>::params =
  param_to_array<T, head, tail...>::init_params();

现在数组

param_to_array<int, 1, 3, 4>::params

是std::array<int, 3>，包含值1，3和4。我认为必须有一种更简单的方法来实现这种行为。有什么建议吗？

编辑：正如Noah Roberts在他的回答中提到的，我修改了我的程序如下：我编写了一个新的结构来计算参数列表中的元素：

template<typename T, T... args>
struct count;

template<typename T, T head, T... tail>
struct count<T, head, tail...> {
  static const std::size_t value = count<T, tail...>::value + 1;
};

template<typename T, T last>
stuct count<T, last> {
  static const std::size_t value = 1;
};

并编写了以下函数

template<typename T, T... args>
std::array<T, count<T, args...>::value>
params_to_array() {
  std::array<T, count<T, args...>::value> result;
  fill<typename std::array<T, count<T, args...>::value>::iterator,
       T, args...>(result.begin());
  return result;
}

现在我得到了

params_to_array<int, 10, 20, 30>()

std::array<int, 3>，内容为10，20和30。还有其他建议吗？

Answer 1

无需手动计算参数包中的类型数，这就是sizeof...运算符的用途。另外我为fill()推导出了迭代器类型，没有必要明确指定它：

template<typename T, typename FwdIt>
void fill(FwdIt it) { }

template<typename T, T head, T... tail, typename FwdIt>
void fill(FwdIt it) {
    *it = head;
    fill<T, tail...>(++it);
}

template<class T, T... args> 
std::array<T, sizeof...(args)> params_to_array() {
    std::array<T, sizeof...(args)> a;
    fill<T, args...>(a.begin());
    return a;
};

然而，参数包在初始化列表上下文中也是可扩展的，这使fill()变得多余：

template<class T, T... args> 
std::array<T, sizeof...(args)> params_to_array() {
    std::array<T, sizeof...(args)> a = {{args...}};
    return a;
};

Answer 2

我能在param_to_array中看到终点专业化的唯一原因是这一行：

static const std::size_t SIZE = params_to_array<T, tail...>::SIZE + 1;

因为你的params_to_array元函数会创建数组，尽管你最终会实例化大小为N，N-1，......，1的数组。因此我认为你的对象可以使用一些帮助来自组合和单一的责任规则。创建另一个可以计算参数列表中元素的元函数，并使用它而不是此方法。然后你至少可以在params_to_array中摆脱这种递归。

使用模板参数填充容器

2 个答案: