C ++將類型的參數包轉換為索引的參數包

Question

有沒有辦法將類型的參數包轉換為從0到sizeof...(Types)的整數參數包？ 更具體地說，我正在嘗試這樣做：

template <size_t... I>
  void bar();

template <typename... Types>
  void foo() {
    bar<WHAT_GOES_HERE<Types>...>();
  }

例如， foo<int,float,double>()應該調用bar<0, 1, 2>() ;

在我的用例中，參數包Types可能包含多次相同的類型，因此我無法搜索包來計算給定類型的索引。

Answer 1

在C ++ 14中，您可以使用<utility>標頭中的std::index_sequence_for以及標記的調度。 這被稱為指數技巧 ：

template <std::size_t... I>
void bar(std::index_sequence<I...>);

template <typename... Types>
void foo() {
    bar(std::index_sequence_for<Types...>{});
}

如果您僅限於C ++ 11，您可以在線找到上述的許多實現，例如此實現 。