std::tuple_size<std:ranges::subrange>

Определено в заголовочном файле `<ranges>`
template< class I, class S, ranges::subrange_kind K > struct tuple_size<ranges::subrange<I, S, K>> : std::integral_constant<std::size_t, 2> {};		(начиная с C++20)

Частичная специализация std::tuple_size для std::ranges::subrange предоставляет способ получить во время компиляции количество компонентов subrange, которое всегда равно 2, используя синтаксис, подобный кортежу. Она предназначена для поддержки структурированных привязок.

Унаследовано от std::integral_constant

Константы-члены

value

[static]

постоянное значение 2
(открытая статическая константа-член)

Функции-члены

operator std::size_t	преобразует объект в std::size_t, возвращает `value` (открытая функция-член)
operator() (C++14)	возвращает `value` (открытая функция-член)

Типы-члены

Тип	Определение
`value_type`	std::size_t
`type`	std::integral_constant<std::size_t,value>

Пример

#include <array>
#include <iostream>
#include <iterator>
#include <ranges>

int main()
{
    static_assert(2 == std::tuple_size_v<std::ranges::subrange<int*, int*>>);

    using array5 = std::array<int, 5>;

    static_assert(2 == std::tuple_size<std::ranges::subrange<
        array5::const_iterator, array5::const_iterator>>{});

    constexpr array5 a{1, 2, 3, 4, 5};

    std::ranges::subrange sub_a1{a};

    for (std::cout << "sub_a1: { "; int e : sub_a1)
        std::cout << e << ' ';
    std::cout << "}\n";

    std::ranges::subrange sub_a2{std::next(cbegin(a)), std::prev(cend(a))};

    const auto [first, last] = sub_a2;
    std::cout << "sub_a2 size = " << std::distance(first, last) << '\n';

    for (std::cout << "sub_a2: { "; int e : sub_a2)
        std::cout << e << ' ';
    std::cout << "}\n";
}

Вывод:

sub_a1: { 1 2 3 4 5 }
sub_a2 size = 3
sub_a2: { 2 3 4 }

См. также

Структурированная привязка (C++17)	привязывает указанные имена к подобъектам или элементам кортежа инициализатора
tuple_size (C++11)	получает количество элементов типа, подобного кортежу (шаблон класса)
std::tuple_size<std::tuple> (C++11)	получает размер `tuple` (специализация шаблона класса)
std::tuple_size<std::pair> (C++11)	получает размер `pair` (специализация шаблона класса)
std::tuple_size<std::array> (C++11)	получает размер `array` (специализация шаблона класса)
std::tuple_element<std::ranges::subrange> (C++20)	получает тип итератора или сентинела `std::ranges::subrange` (специализация шаблона класса)

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