Namespaces
Variants

std:: tuple_size <std::pair>

From cppreference.net
C++
Utilities library
std::pair
Определено в заголовочном файле <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)
получает количество элементов типа, подобного кортежу
(шаблон класса)
(C++11)
получает размер array
(специализация шаблона класса)
(C++11)
получает размер

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

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