如何从 std::iota 构建跨度？

Question

以下作品：

#include <vector>
#include <ranges>

int main() {
    auto view = std::vector<int>{0,1,2,3,4};
    auto s = std::span{view.begin(), view.end()};
    std::vector test(view.begin(), view.end());
}

但这不会：

#include <vector>
#include <ranges>

int main() {
    auto view = std::ranges::iota_view{0, 1000};
    auto s = std::span{view.begin(), view.end()};
    std::vector test(view.begin(), view.end());
}

问题是，我有一些通用代码，我想在其中发送一个范围，然后在该范围内创建一个跨度。 我试过发送vector ，没问题。 iota的结果失败了。

template <typename TRange>
requires std::ranges::random_access_range<TRange>
void Foo(TRange const & r)
{
     // The algorithm starts with a full span and then partitions
     auto s = std::span(r.begin(), r.end());
}

代码是从 boost 移植的，在那里我会使用boost::make_iterator_range() ，但我猜这在标准库中被std::span取代了。 这是正确的吗？

Answer 1

你不知道。

std::span<int>需要一个连续的范围。 std::vector<int>是一个连续的范围，但是views::iota(0, 100)不是连续的，它只是随机访问。

---

旁注：写views::iota(0, 1000) ，不要写ranges::iota_view{0, 1000} 。 几乎没有任何理由在views::meow上写ranges::meow_view ，而且它很容易变得更糟——后者并不总是给你一些类型是前者的东西。 将meow_view视为实现细节。

Answer 2

我正在寻找的不是std::span而是std::ranges::subrange ，它更通用，并且适用于非连续的 memory。

#include <vector>
#include <ranges>

int main() {
    auto view = std::views::iota(0, 1000);
    auto s = std::ranges::subrange{view.begin(),view.end()};
    std::vector test(view.begin(), view.end());
}