考虑一个大型内存容器。在这个简单的例子中std::vector<int>：
std::vector v = { 0, 1, 2, 3, 4, 5 };
std::span允许我创建一个轻量级的内存视图。现在我想简单地打印跨度：
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实际上是作为视图有用的地方）。我可以使用迭代器来指定我的范围并从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++ 没有构造函数实例匹配参数列表参数类型是： (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::spanusing 迭代器？我错过了什么吗？
完整代码：
#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