std:: span

类模板 span 描述了一个对象，该对象可以引用一个连续的对象序列，其中序列的第一个元素位于零位置。 span 可以具有 静态 范围（此时序列中的元素数量在编译时已知并编码在类型中），也可以具有 动态 范围。

对于 span s ，当操作使范围 [ s. data ( ) , s. data ( ) + s. size ( ) ) 内的指针失效时，指向 s 元素的指针、迭代器和引用也将失效。

模板参数

嵌套类型

1. ↑ iterator 是一个可变迭代器，如果 T 不是 const 限定类型。

所有对 容器 迭代器类型的要求同样适用于 span 的 iterator 类型。

数据成员

成员函数

非成员函数

辅助常量

辅助模板

此对 ranges::enable_borrowed_range 的特化使 span 满足 borrowed_range 要求。

此 ranges::enable_view 的特化使 span 满足 view 要求。

推导指引

注释

在所有现有实现中， std::span 的特化版本早已是平凡可复制类型，这一特性甚至早于C++23正式引入该要求之前。

示例

#include <algorithm>
#include <cstddef>
#include <iostream>
#include <span>
template<class T, std::size_t N>
[[nodiscard]]
constexpr auto slide(std::span<T, N> s, std::size_t offset, std::size_t width)
{
    return s.subspan(offset, offset + width <= s.size() ? width : 0U);
}
template<class T, std::size_t N, std::size_t M>
constexpr bool starts_with(std::span<T, N> data, std::span<T, M> prefix)
{
    return data.size() >= prefix.size()
        && std::equal(prefix.begin(), prefix.end(), data.begin());
}
template<class T, std::size_t N, std::size_t M>
constexpr bool ends_with(std::span<T, N> data, std::span<T, M> suffix)
{
    return data.size() >= suffix.size()
        && std::equal(data.end() - suffix.size(), data.end(),
                      suffix.end() - suffix.size());
}
template<class T, std::size_t N, std::size_t M>
constexpr bool contains(std::span<T, N> span, std::span<T, M> sub)
{
    return std::ranges::search(span, sub).begin() != span.end();
}
void println(const auto& seq)
{
    for (const auto& elem : seq)
        std::cout << elem << ' ';
    std::cout << '\n';
}
int main()
{
    constexpr int a[]{0, 1, 2, 3, 4, 5, 6, 7, 8};
    constexpr int b[]{8, 7, 6};
    constexpr static std::size_t width{6};
    for (std::size_t offset{}; ; ++offset)
        if (auto s = slide(std::span{a}, offset, width); !s.empty())
            println(s);
        else
            break;
    static_assert(""
        && starts_with(std::span{a}, std::span{a, 4})
        && starts_with(std::span{a + 1, 4}, std::span{a + 1, 3})
        && !starts_with(std::span{a}, std::span{b})
        && !starts_with(std::span{a, 8}, std::span{a + 1, 3})
        && ends_with(std::span{a}, std::span{a + 6, 3})
        && !ends_with(std::span{a}, std::span</span

缺陷报告

以下行为变更缺陷报告被追溯应用于先前发布的C++标准。

参见