Range-v3视图：：滑动(N)返回元组(如果n在编译时已知)

Question

std::vector v{1,2,3};

for (auto&& t : v | view::sliding(2)) {
    auto&& [first, second] = t;  // error - t is a range
}

在range-v3中是否有类似的视图可以返回一个元组？

有点像sliding<2>

Answer 1

假设这不是您所想的那样，但您可以编写如下内容：

template <typename T, size_t... I>
auto helper(T&& rng, std::index_sequence<I...>) {
   return std::make_tuple(rng[I]...);
}

int main() {
   std::vector v{1,2,3,4,5};
   for (auto&& t : v | ranges::view::sliding(3)) {
      auto&& [first, second, third] = helper(t, std::make_index_sequence<3>{});
      std::cout << first << ", " << second << ", " << third << std::endl;
    }
}

否则，我不知道如何确定编译时大小的范围。

Answer 2

您可以将zip与drop(range, i) for all i in [1,n) (DEMO)一起使用：

std::vector v{1,2,3};

namespace view = ranges::view;
for (auto [first, second] : view::zip(v, view::drop(v, 1))) {
     std::cout << first << ", " << second << '\n';
}

对于更大的n来说，这很快就会变得丑陋起来，而且几乎肯定不是最优的，但比编写自己的视图适配器要简单得多。