統一擴展兩個參數包

Question

我正在使用來自另一個容器的值更新容器中的一些元素（在編譯時選擇）。 現在我正在做類似這樣的事情：

template<size_t... indices>
void update(value_t values, index_sequence<indices...>) {
  int i = 0; 
  ((data[indices] = values[i++], ...);
} 

問題：是否可以通過使用另一個編譯時序列來避免使用變量i ，例如，沿着以下行：

template<size_t... indices1, size_t... indices2>
void update_helper(value_t values, index_sequence<indices1...>, 
                                   index_sequence<indices2...>) {
  static_assert(sizeof...(indices1) == sizeof...(indices2), "");
  ((data[indices1] = values[indices2], ...);
} 

template<size_t... indices>
void update(value_t values, index_sequence<indices...> i) {
  update_helper(values, i, make_index_sequence<sizeof...(indices)>{});
} 

Answer 1

是的，它是可能的（只要它們具有相同的大小）。

template <size_t... indices1, size_t... indices2>
void update_helper(value_t values,
                   index_sequence<indices1...>, 
                   index_sequence<indices2...>)
{
    static_assert(sizeof...(indices1) == sizeof...(indices2), "");
    ((data[indices1] = values[indices2], ...);
}

已驗證。