std:: span

クラステンプレート span は、位置ゼロから始まる連続したオブジェクトシーケンスを参照できるオブジェクトを記述します。 span は static エクステント（コンパイル時にシーケンスの要素数が既知で型にエンコードされる）を持つか、あるいは dynamic エクステントを持つかのいずれかです。

span s に対して、要素へのポインタ、イテレータ、および参照は、 s の範囲 [ s. data ( ) , s. data ( ) + s. size ( ) ) 内のポインタが無効化される操作によって無効化されます。

テンプレートパラメータ

ネスト型

1. ↑ iterator is a mutable iterator if T is not const-qualified.

Container のイテレータ型に対するすべての要件は、 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{a + 6, 2})
        && contains(std::span{a}, std::span{a + 1, 4})
        && !contains(std::span{a, 8}, std::span{a, 9})
    );
}

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

不具合報告

以下の動作変更の欠陥報告書は、以前に公開されたC++規格に対して遡及的に適用されました。

関連項目