c++ - C++可变参数模板数组/访问元素

在C++中，我如何能够访问可变参数模板的元素(如数组)？我已经做了一个基本的尝试来说明我在下面要达到的目标，但是，它当然不能编译:

template<class... Args> struct Apple{
public:
    Apple(Args... A) : V(A){}
    Apple() : p(0){}
    void push_back(decltype(V[p]) v){
        V[p++] = v;
    }
private:
    Args... V;
    int p;
};

int main(){
    Apple<int, double> a(5, 6.5);
    Apple<int, double> b;
    b.push_back(5);
    b.push_back(6.5);
}

最佳答案

我建议您看看可变参数模板。 typename... Ts不是数组。因此，您不能期望Args... v扩展为数组。此外，您将如何创建具有不同类型的每个元素的数组？

您的要求与std::tuple提供的要求非常相似，您应该看一下它的实现。

看看Andrei提供的this GoingNative 2012 video。这是可变参数模板的出色介绍。

这是我使用可变参数模板时的玩具tuple之一。 C++ 11 STL提供的内容有些重复，但无论如何都是玩具。

#include <iostream>
#include <vector>
#include <typeinfo>
#include <type_traits>

using namespace std;

template <typename T, typename... Ts> class MyTuple : public MyTuple<Ts...> {
  using base = MyTuple<Ts...>;

public:
  T elem;

  MyTuple(T v, Ts... vs) : base(vs...), elem(v) {}
};

template <typename T> class MyTuple<T> {
public:
  T elem;

  MyTuple(T v) : elem(v) {}
};

template <int i, typename T, typename... Ts> struct type_of {
  static_assert(i < sizeof...(Ts) + 1, "index out of range");
  typedef typename type_of<i - 1, Ts...>::type type;
};

template <typename T, typename... Ts> struct type_of<0, T, Ts...> {
  typedef T type;
};

template <int i, typename T, typename... Ts>
typename enable_if<i == 0, typename type_of<i, T, Ts...>::type&>::type get(MyTuple<T, Ts...> &t) {
  static_assert(i >= 0, "index out of range");
  static_assert(i < sizeof...(Ts) + 1, "index out of range");

  return t.elem;
}

template <int i, typename T, typename... Ts>
typename enable_if<i != 0, typename type_of<i, T, Ts...>::type&>::type get(MyTuple<T, Ts...> &t) {
  static_assert(i >= 0, "index out of range");
  static_assert(i < sizeof...(Ts) + 1, "index out of range");

  MyTuple<Ts...>& base = t;
  return get<i - 1>(base);
}

int main(int argc, char const *argv[]) {
  cout << typeid(type_of<0, int, char, long>::type).name() << endl;         // print i
  cout << typeid(type_of<1, int, char, long>::type).name() << endl;         // print c
  cout << typeid(type_of<2, int, char, long>::type).name() << endl;         // print l

  MyTuple<int, int> t(0, 1);

  cout << get<0>(t) << endl;
  cout << get<1>(t) << endl;

  return 0;
}