std::ranges::cartesian_product_view<First, Vs...>::end

constexpr iterator<false> end()
    requires ((!__simple_view<First> || ... || !__simple_view<Vs>) &&
        __cartesian_product_is_common<First, Vs...>);

(1)

(since C++23)

constexpr iterator<true> end() const
    requires __cartesian_product_is_common<const First, const Vs...>;

(2)

(since C++23)

constexpr std::default_sentinel_t end() const noexcept;

(3)

(since C++23)

Возвращает итератор или маркер конца, представляющий собой конец итератора или маркер конца cartesian_product_view.

Пусть bases_ будет базовой кортежем представлений.

1,2) Пусть:

__is_const равно true для перегрузки с const-квалификацией и false в противном случае;
__is_empty равно true если выражение ranges::empty(rng) равно true для любого rng из базовых диапазонов, кроме первого, и false в противном случае; и
__begin_or_first_end(rng) эквивалентно выражению __is_empty ? ranges::begin(rng) : __cartesian_common_arg_end(rng) если rng является первым базовым диапазоном и ranges::begin(rng) в противном случае.

Эквивалентно:

auto check = [](auto& rng) { return __begin_or_first_end(rng); };
return iterator<__is_const>(__tuple_transform(check, bases_));

3) Эквивалентно: return std::default_sentinel;.

Параметры

(нет)

Значение возврата

Итератор, следующий за последним элементом, или маркер конца, равный итератору конца.

Пример

#include <array>
#include <format>
#include <iostream>
#include <ranges>
#include <string_view>
#include <tuple>
using namespace std::literals;
 
int main()
{
    constexpr auto a = std::array{ "bool"sv, "goto"sv, "extern"sv, "long"sv }; /*
                                       ^         ^           ^         ^        */
    constexpr auto v = std::ranges::cartesian_product_view(a[0], a[1], a[2], a[3]);
 
    constexpr std::tuple<char const&,
                         char const&,
                         char const&,
                         char const&> last{*(v.end() - 1)};
 
    std::cout << std::format("{}{}{}{}{}",
                             std::get<0>(last),
                             std::get<1>(last),
                             std::get<2>(last),
                             std::get<3>(last), '\n');
}

Вывод:

long

См. также

begin (C++23)	возвращает итератор в начало (публичный член-функция)
ranges::end (C++20)	возвращает маркер конца диапазона (объект точки настройки)

© cppreference.com
Licensed under the Creative Commons Attribution-ShareAlike Unported License v3.0.
https://en.cppreference.com/w/cpp/ranges/cartesian_product_view/end