c++ - 为什么我不能从迭代器构造 std::span ？

Question

考虑一个大内存容器。在这个简单的例子中，一个 std::vector<int> :

std::vector v = { 0, 1, 2, 3, 4, 5 };

std::span 允许我创建一个轻量级的内存 View 。现在我想简单地打印跨度:

template<typename T>
void print(std::span<T> span) {
    std::cout << '[';
    if (span.size())
        std::copy(span.begin(), span.end() - 1, std::ostream_iterator<int>(std::cout, ", "));

    std::cout << span.back() << "]\n";
}

int main() {
    std::vector v = { 0, 1, 2, 3, 4, 5 };

    print(std::span{ v });
}

输出:

[0, 1, 2, 3, 4, 5]

现在我想制作子集(这是 std::span 实际上作为 View 变得有用的地方)。我可以使用迭代器来指定我的范围并调用 this constructor(3)来自 std::span

template< class It, class End >
explicit(extent != std::dynamic_extent)
constexpr span( It first, End last );

但这不起作用:

print(std::span{ v.begin() + 2, v.end() }); //error E0289

C++ no instance of constructor matches the argument list argument types are: (std::_Vector_iterator<std::_Vector_val<std::conditional_t<true, std::_Simple_types, std::_Vec_iter_types<int, size_t, ptrdiff_t, int *, const int *, int &, const int &>>>>, std::_Vector_iterator<std::_Vector_val<std::conditional_t<true, std::_Simple_types, std::_Vec_iter_types<int, size_t, ptrdiff_t, int *, const int *, int &, const int &>>>>)

有可能使用带有指针和大小的构造函数(2):

print(std::span{ v.data() + 1, 3 }); //-> prints [1, 2, 3]

但这违背了迭代器的目的。
我如何构建一个 std::span使用迭代器？我错过了什么吗？

完整代码:

#include <iostream>
#include <vector>
#include <span>
#include <algorithm>

template<typename T>
void print(std::span<T> span) {
    std::cout << '[';
    if (span.size())
        std::copy(span.begin(), span.end() - 1, std::ostream_iterator<int>(std::cout, ", "));

    std::cout << span.back() << "]\n";
}

int main() {
    std::vector v = { 0, 1, 2, 3, 4, 5 };

    print(std::span{ v.begin() + 2, v.end() });
}

直到 MSVC 实现了构造函数，我才会使用这个 make_span功能:

template<typename It>
constexpr auto make_span(It begin, It end) {
    return std::span<std::remove_pointer_t<It::pointer>>(&(*begin), std::distance(begin, end));
}

使用 Visual Studio Community 2019 版本 16.7.5。配置:x64，发布。 C++ 语言标准 =/std:c++latest

Answer 1

您可以构建一个 span使用迭代器，它有 such a constructor (由 P1394 添加，您可以在 [views.span] 中看到):

template< class It, class End >
explicit(extent != std::dynamic_extent)
constexpr span( It first, End last );

只是 MSVC 的标准库没有实现。正如预期的那样，该程序在 gcc 上编译得很好。