2

我想实现像 std::get(std::tuple) 这样的东西，有一个元组类：

template<typename ... Types> class Tuple;
template<> class Tuple<> {};
template<typename First, typename ... Rest>
class Tuple<First, Rest...>: private Tuple<Rest...> {
  First Member;
 public:
  Tuple(const First& first, const Rest& ... rest):
      Tuple<Rest...>(rest...), Member(first) {}

  const First& Head() const {
    return Member;
  }

  const Tuple<Rest...>& Tail() const {
    return *this;
  }
};

我还实现了一个辅助结构 tuple_element。

template<size_t I, class T>
struct tuple_element;

template<size_t I, class Head, class ... Tail>
struct tuple_element<I, Tuple<Head, Tail...> >:
    tuple_element<I - 1, Tuple<Tail...> > {};

template<class Head, class ... Tail>
struct tuple_element<0, Tuple<Head, Tail...> > {
  typedef Head type;
};

但我无法实现如何实现 Get(Tuple) 函数。我想我什么都试过了。我的最后一次尝试：

template<class T, class Head, class ... Tail>
T Get(size_t pos, const Tuple<Head, Tail...>& t) {
  if (pos > 0) {
    return Get<T>(pos - 1, t.Tail());
  }
  return t.Head();
}
template<size_t Pos, class Head, class ... Tail>
typename tuple_element<Pos, Tuple<Head, Tail...> >::type
    Get(const Tuple<Head, Tail...>& t) {
  return Get<typename tuple_element<Pos, Tuple<Head, Tail...> >::type>(Pos, t);
}

但是我得到了一个错误：参数包没有用'...'扩展</p>

我究竟做错了什么？

4

1 回答 1

0

就是这样。我已经使用模板专业化实现了它，但是由于功能部分专业化的残疾，我修改了上面的 tuple_element 结构。这就是我最终拥有的：

template<size_t I, class T>
struct TupleElement;

template<size_t I, class Head, class ... Rest>
struct TupleElement<I, Tuple<Head, Rest...> >:
    public TupleElement<I - 1, Tuple<Rest...> > {
  static typename TupleElement<I, Tuple<Head, Rest...> >::Type
      Get(const Tuple<Head, Rest...>& t) {
    return TupleElement<I - 1, Tuple<Rest...> >::Get(t.Tail());
  }
};

template<class Head, class ... Rest>
struct TupleElement<0, Tuple<Head, Rest...> > {
  typedef Head Type;
  static typename TupleElement<0, Tuple<Head, Rest...> >::Type
      Get(const Tuple<Head, Rest...>& t) {
    return t.Head();
  }
};

template<size_t Pos, class Head, class ... Rest>
typename TupleElement<Pos, Tuple<Head, Rest...> >::Type
    Get(const Tuple<Head, Rest...>& t) {
  return TupleElement<Pos, Tuple<Head, Rest...> >::Get(t);
}

谢谢大家有用的建议。

于 2013-04-11T19:28:09.863 回答