Namespaces
Variants

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

From cppreference.net
C++
Containers library
std::span
template < std:: size_t Count >
constexpr std:: span < element_type, Count > first ( ) const ;
(1) (C++20以降)
constexpr std:: span < element_type, std:: dynamic_extent >
first ( size_type count ) const ;
(2) (C++20以降)

このスパンの最初の Count または count 要素に対するサブビューを取得します。

1) 要素数はテンプレート引数として提供され、サブビューは静的エクステントを持ちます。
Count > Extent が true の場合、プログラムは不適格です。
2) 要素数は関数引数として提供され、サブビューは動的エクステントを持ちます。

Count > size() または count > size() が true の場合、動作は未定義です。

(C++26まで)

Count > size() または count > size() が true の場合：

  • 実装が hardened されている場合、 contract violation が発生します。さらに、契約違反ハンドラが「observe」評価セマンティクスの下で戻った場合、動作は未定義です。
  • 実装がhardenedされていない場合、動作は未定義です。
(C++26以降)

目次

パラメータ

count - サブビューの要素数

戻り値

1) std:: span < element_type, Count > { data ( ) , Count }
2) std:: span < element_type, std:: dynamic_extent > { data ( ) , count }

例

このコードを実行 
#include <iostream>
#include <ranges>
#include <span>
#include <string_view>
void print(const std::string_view title,
           const std::ranges::forward_range auto& container)
{
    auto size{std::size(container)};
    std::cout << title << '[' << size << "]{";
    for (const auto& elem : container)
        std::cout << elem << (--size ? ", " : "");
    std::cout << "};\n";
}
void run_game(std::span<const int> span)
{
    print("span: ", span);
    std::span<const int, 5> span_first = span.first<5>();
    print("span.first<5>(): ", span_first);
    std::span<const int, std::dynamic_extent> span_first_dynamic = span.first(4);
    print("span.first(4): ", span_first_dynamic);
}
int main()
{
    int a[8]{1, 2, 3, 4, 5, 6, 7, 8};
    print("int a", a);
    run_game(a);
}

出力: 

int a[8]{1, 2, 3, 4, 5, 6, 7, 8};
span: [8]{1, 2, 3, 4, 5, 6, 7, 8};
span.first<5>(): [5]{1, 2, 3, 4, 5};
span.first(4): [4]{1, 2, 3, 4};

関連項目

シーケンスの最後の N 個の要素からなる部分スパンを取得する
(公開メンバ関数)
部分スパンを取得する
(公開メンバ関数)