c++ - for 循环消除

Question

我想使用索引技巧来消除for我的 C++11 程序中的循环（类似于强制-funroll-loops）。

这是一个例子：

template<unsigned...> struct indices
{
};

template<unsigned M, unsigned... Is> struct indices_gen
  : indices_gen<M - 1, M - 1, Is...>
{
};

template<unsigned... Is> struct indices_gen<0, Is...> : indices<Is...>
{
};

template <typename T>
struct example
{
  example()
  {
    assign(indices_gen<3>(), 0);
  }

  template<unsigned... Is, typename U>
  void assign(indices<Is...>, U value)
  {
    [](...){}((array[Is] = value)...);
  }

  T array[3];
};

int main()
{
  example<int> ex;
  return 0;
}

是否可以创建一个indices_gen<S,E>从开始索引S到结束索引E？你能告诉我怎么做吗？

Answer 1

试试这个（http://liveworkspace.org/code/e65a81d0d3e9b17692713fd3e9d681f5）：

template<unsigned...> struct indices {};

template<unsigned S, unsigned E, unsigned... Is> struct indices_gen
  : indices_gen<S, E-1, E-1, Is...>
{};

template<unsigned S, unsigned... Is> struct indices_gen<S, S, Is...> : indices<Is...>
{};

工作示例： http: //liveworkspace.org/code/3d0ba21cc637a61c3e63d2db002f87af

编辑：检查 Xeo 的评论。上面的例子没有检查 ifS < E，所以如果你犯了错误，它可能会变坏。在这种情况下，这（Xeo 的代码）将返回编译器错误：http: //liveworkspace.org/code/81205e13334e89537bdc0b79b3ba56fc