Namespaces
Variants

std:: tuple_element <std::array>

From cppreference.net
C++
Containers library
std::array
Определено в заголовочном файле <array>
template < std:: size_t I, class T, std:: size_t N >
struct tuple_element < I, std:: array < T, N > > ;
(начиная с C++11)

Обеспечивает доступ к типам элементов массива на этапе компиляции с использованием интерфейса, аналогичного кортежу.

Содержание

Типы членов

Тип элемента Определение
type тип элементов массива

Возможная реализация 

template<std::size_t I, class T>
struct tuple_element;
template<std::size_t I, class T, std::size_t N>
struct tuple_element<I, std::array<T,N>>
{
    using type = T;
};
**Примечание:** Весь код C++ внутри тегов ` 
` и `` оставлен без изменений, как и требовалось. HTML-теги и атрибуты также сохранены в оригинальном виде.

Пример

Запустить этот код 
#include <array>
#include <tuple>
#include <type_traits>
int main()
{
    // определяем массив и получаем тип элемента в позиции 0
    std::array<int, 10> data{0, 1, 2, 3, 4, 5, 6, 7, 8, 9};
    using T = std::tuple_element<0, decltype(data)>::type; // int
    static_assert(std::is_same_v<T, int>);
    const auto const_data = data;
    using CT = std::tuple_element<0, decltype(const_data)>::type; // const int
    // результат tuple_element зависит от cv-квалификации tuple-подобного типа
    static_assert(!std::is_same_v<T, CT>);
    static_assert(std::is_same_v<CT, const int>);
}

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

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