std::span<T,Extent>:: span

构造一个 span 。

参数

效果

约束条件与补充信息

大小要求

如果 extent 不是 std:: dynamic_extent 且源范围的大小与 extent 不同，则无法构造 span 对象。

这些重载仅在以下表达式结果为 true 时参与重载决议：

转换要求

如果 element_type 与源范围的元素类型不同，且后者无法通过 限定转换 转换为前者，则无法构造 span 对象。

这些重载仅当 std:: is_convertible_v < U ( * ) [ ] , element_type ( * ) [ ] > 为 true 时参与重载决议，其中 U 定义如下：

概念要求

如果任何模板参数不满足特定概念要求，则无法构造 span 对象。

这些重载仅在对应模板参数的模板实参满足相应概念时参与重载决议。若其不满足任何对应概念的语义要求，则行为未定义：

其他约束

异常

注释

示例

#include <array>
#include <iostream>
#include <span>
#include <vector>
void print_span(std::span<const int> s)
{
    for (int n : s)
        std::cout << n << ' ';
    std::cout << '\n';
}
int main()
{
    int c[]{1, 2, 3};
    print_span(c); // 从数组构造
    std::array a{4, 5, 6};
    print_span(a); // 从 std::array 构造
    std::vector v{7, 8, 9};
    print_span(v); // 从 std::vector 构造
#if __cpp_lib_span_initializer_list
    print_span({0, 1, 2}); // 从 initializer_list 构造
#else
    print_span({{0, 1, 2}}); // 同上，一种变通方案
#endif
}

1 2 3 
4 5 6
7 8 9
0 1 2

参见