Namespaces
Variants

std::tuple_size<std::pair>

Материал из ru.cppreference.net
 
 
Библиотека утилит
Поддержка языка
Поддержка типов (основные типы, RTTI)
Макросы тестирования возможностей библиотеки (C++20)
Утилиты программы
Функции с переменным числом аргументов
Поддержка корутин (C++20)
Поддержка контрактов (C++26)
Трёхстороннее сравнение
(C++20)
(C++20)(C++20)(C++20)    
(C++20)(C++20)(C++20)

Общие утилиты
Операторы отношений (устарело в C++20)
 
 
Определён в заголовочном файле <utility>
template< class T1, class T2 >
struct tuple_size<std::pair<T1, T2>>
    : std::integral_constant<std::size_t, 2> { };
(начиная с C++11)

Частичная специализация std::tuple_size для пар предоставляет способ получения во время компиляции количества элементов в паре, которое всегда равно 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 <iostream>
#include <tuple>
#include <utility>
template<class T>
void test([[maybe_unused]]T t)
{
    [[maybe_unused]]
    int a[std::tuple_size<T>::value]; // может использоваться во время компиляции
    std::cout << std::tuple_size<T>::value << '\n'; // или во время выполнения
}
int main()
{
    test(std::make_tuple(1, 2, 3.14));
    test(std::make_pair(1, 3.14));
}

Вывод:

3
2

Отчеты о дефектах

Следующие отчеты об изменениях поведения, влияющие на дефекты, были применены ретроактивно к ранее опубликованным стандартам C++.

DR Applied to Behavior as published Correct behavior
LWG 2313 C++11 specializations for pair were not required to be derived from integral_constant required

Смотрите также

Structured binding (C++17) связывает указанные имена с подобъектами или элементами кортежа инициализатора
(C++11)
получает количество элементов типа, подобного кортежу
(шаблон класса)
получает размер array
(специализация шаблона класса)
получает размер

tuple
(специализация шаблона класса)

получает размер std::ranges::subrange
(специализация шаблона класса)
получает тип элементов pair
(специализация шаблона класса)