Класс tuple_element

Статья
10/12/2023

Создает оболочку для элемента tuple . Специализации создают программу-оболочку для элементов array и pair.

Синтаксис

// CLASS tuple_element (find element by index)
template <size_t Index, class Tuple>
   struct tuple_element;

// tuple_element for const
template <size_t Index, class Tuple>
   struct tuple_element<Index, const Tuple>;

// tuple_element for volatile
template <size_t Index, class Tuple>
   struct tuple_element<Index, volatile Tuple>;

// tuple_element for const volatile
template <size_t Index, class Tuple>
   struct tuple_element<Index, const volatile Tuple>;

// Helper typedef
template <size_t Index, class Tuple>
   using tuple_element_t = typename tuple_element<Index, Tuple>::type;

// Specialization for arrays
template <size_t Index, class Elem, size_t Size>
   struct tuple_element<Index, array<Elem, Size>>;

// Specializations for pairs
// struct to determine type of element 0 in pair
template <class T1, class T2>
   struct tuple_element<0, pair<T1, T2>>;

// struct to determine type of element 1 in pair
template <class T1, class T2>
   struct tuple_element<1, pair<T1, T2>>;

Параметры

Index
Индекс указанного элемента.

Tuple
Тип кортежа.

Elem
Тип элемента массива.

Размер
Размер массива.

T1
Тип первого элемента в паре.

T2
Тип второго элемента в паре.

Замечания

Шаблон класса tuple_element имеет вложенный типdeftype, который является синонимом типа по индексу индекса кортежа типа Кортежа.

Определение типа tuple_element_t является удобным псевдонимом для tuple_element<Index, Tuple>::type.

Специализация шаблона класса для массивов предоставляет интерфейс для array кортежа Size элементов, каждый из которых имеет один и тот же тип. Каждая специализация имеет вложенный типdeftype, который является синонимом типа элемента Index элемента array, с любыми константными изменяющимися квалификациями.

Специализации шаблона для типов pair предоставляют по одному определению типа члена, type, которое является синонимом типа элемента в указанной позиции в паре с сохранением всех квалификаторов const и(или) volatile. Определение типа tuple_element_t является удобным псевдонимом для tuple_element<N, pair<T1, T2>>::type.

get Используйте функцию для возврата элемента в указанной позиции или указанного типа.

Пример. Получение элемента из кортежа

#include <tuple>
#include <string>
#include <iostream>

using namespace std;
typedef tuple<int, double, string> MyTuple;

int main() {
    MyTuple c0{ 0, 1.5, "Tail" };

    tuple_element_t<0, MyTuple> val = get<0>(c0); //get by index
    tuple_element_t<1, MyTuple> val2 = get<1>(c0);
    tuple_element_t<2, MyTuple> val3 = get<string>(c0); // get by type

    cout << val << " " << val2 << " " << val3 << endl;
}

0 1.5 Tail

Пример. Получение элемента из массива

#include <array>
#include <iostream>

using namespace std;
typedef array<int, 4> MyArray;

int main()
{
    MyArray c0 { 0, 1, 2, 3 };

    for (const auto& e : c0)
    {
        cout << e << " ";
    }
    cout << endl;

    // display first element "0"
    tuple_element<0, MyArray>::type val = c0.front();
    cout << val << endl;
}

0 1 2 3
0

Пример. Получение элемента из пары

#include <utility>
#include <iostream>

using namespace std;

typedef pair<int, double> MyPair;
int main() {
    MyPair c0(0, 1.333);

    // display contents "0 1"
    cout << get<0>(c0) << " ";
    cout << get<1>(c0) << endl;

    // display first element "0 " by index
    tuple_element<0, MyPair>::type val = get<0>(c0);
    cout << val << " ";

    // display second element by type
    tuple_element<1, MyPair>::type val2 = get<double>(c0);
    cout << val2 << endl;
}

0 1.333
0 1.333

Требования

Заголовок:<кортеж>

Header:<array> (для специализации массива)

Header:<utility (для специализаций> пар)

Пространство имен: std

Share via