操作可变参数函数模板的函数参数

Question

我有一对begin()/end() 方法声明如下：

template <typename... Ts>
Iterator begin(Ts... indices) const;

template <typename... Ts>
Iterator end(Ts... indices) const;

从逻辑上讲，end() 可以用begin() 来实现。具体来说，end(x, y, ..., z) 等价于begin(x, y, ..., z + 1)。那么，有没有一种干净的方法可以使用indices 将x, y, ..., z 变成x, y, ..., z + 1，这样我就可以像实现end() 一样

template <typename... Ts>
Iterator end(Ts... indices) const {
  return begin(whatever to do with indices...);
}

Answer 1

template <std::size_t...Is,class... Ts>
Iterator end_impl(std::index_sequence<Is...>,Ts... indices) const{
  auto tup=std::tie(indices...);
  return begin(std::get<Is>(tup)..., std::get<sizeof...(Ts)-1>(tup)+1);
}
template <class... Ts>
Iterator end(Ts... indices) const{
  return end_impl(std::make_index_sequence<sizeof...(Ts)-1>{}, indices...);
}

只需添加一些完美的转发和隐私。

使用 C++14 但相对容易实现部分。