c++ - 元组和可变参数模板的编译问题

Question

我遇到了一个看似复杂的问题。

我正在尝试为 zip 函数创建一个迭代器类(试图模仿 python 的生成器 zip 函数)。

全类同学都在http://ideone.com/c7rm40

  template<size_t I = 0, typename... Tp>
  inline typename std::enable_if<(I == sizeof...(Tp)), typename std::tuple<decltype(*Tp)...>>::type
  constructImpl(std::tuple<Tp...> const& its) {

core/StarAlgorithm.hpp|550 col 3| error: expected ‘(’ before ‘constructImpl’
core/StarAlgorithm.hpp|550 col 3| error: expected ‘>’ before ‘constructImpl’
core/StarAlgorithm.hpp|550 col 45| error: template argument 2 is invalid
core/StarAlgorithm.hpp|550 col 47| error: expected ‘::’ before ‘{’ token
core/StarAlgorithm.hpp|550 col 47| error: expected identifier before ‘{’ token
core/StarAlgorithm.hpp|550 col 47| error: expected unqualified-id before ‘{’ token

我的问题是，这种方法是否有效？我不明白为什么它一定是错误的，或者编译器想从我这里得到什么。

但除此之外，如果我缺少更简单的方法，我会很高兴听到它。

Answer 1

我猜问题是 *Tp 不是 decltype 的有效表达式。

也许试试declval？

std::tuple<decltype(*std::declval<Tp>())...>

或迭代器特征:

 std::tuple<typename std::iterator_traits<Tp>::value_type...>