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

関連項目