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

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 элементов этого span.

1) Количество элементов задаётся аргументом шаблона, а представление-поддиапазон имеет статический размер.

Если Count > Extent равно true, программа некорректна.

2) Количество элементов задаётся аргументом функции, а представление-поддиапазон имеет динамический размер.

Если Count > size() или count > size() равно true, поведение не определено.

(до C++26)

Если Count > size() или count > size() равно true:

Если реализация использует усиленные проверки, возникает нарушение контракта.
Если реализация не использует усиленные проверки, поведение не определено.

(начиная с 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};

См. также

last	получает поддиапазон, состоящий из последних `N` элементов последовательности (открытая функция-член)
subspan	получает поддиапазон (открытая функция-член)

© cppreference.com
Licensed under the Creative Commons Attribution-ShareAlike Unported License v3.0.
https://en.cppreference.com/cpp/container/span/first