Question

如何获取以下内容以将参数包元素的索引放在元组中？

template< typename... Ts >
class ClassA {
public:
    ClassA( Ts... ts ) : tup( make_tuple( ts, 0 )... ) {}
    // I would like it to expand to this.
    // ClassA( T0 ts0, T1 ts1 ) : tup( make_tuple( ts0, 0 ), make_tuple(ts1, 1) ) {}
    tuple<tuple<Ts, size_t>...> tup;
};

void main() {
    vector<int> a ={ 2, 4, 5 };
    list<double> b ={ 1.1, 2.2, 3.3 };
    ClassA<vector<int>, list<double>, vector<int>, list<double>> mm( a, b, a, b );
}

感谢。

Answer 1

在我看来（如果你至少可以使用C ++ 14）作为委托构造函数的工作

template <typename ... Ts>
class ClassA
 {
   private:
      template <std::size_t ... Is>
      ClassA (std::index_sequence<Is...> const &, Ts ... ts)
         : tup { std::make_tuple(ts, Is) ... }
       { }

   public:
      ClassA (Ts ... ts)
         : ClassA(std::make_index_sequence<sizeof...(Ts)>{}, ts...)
       { }

      std::tuple<std::tuple<Ts, std::size_t>...> tup;
 };

在C ++ 11中，这不起作用，因为std::index_sequence和std::make_index_sequence仅从C ++ 14开始可用但不难找到（或开发）C ++ 11替代品。

Answer 2

您可以通过简单地将整数作为包扩展的一部分递增来避免使构造函数成为模板和索引序列：

template <typename ... Ts>
class ClassA
 {
   private:
      ClassA (size_t i, Ts ... ts)
         : tup { std::make_tuple(ts, i++) ... }
       { }

   public:
      ClassA (Ts ... ts)
         : ClassA(0, ts...)
       { }

      std::tuple<std::tuple<Ts, size_t>...> tup;
 };

我应该注意到gcc目前正在给我一个关于缺少序列点的警告，但它似乎是一个误报（并且在任何情况下都可以通过编写一个小函数并调用它来轻松修复）。

如何获取参数包中的元素索引

2 个答案: