std::tuple

 

C++

Поддержка компилятором

Автономные и размещённые реализации

Язык

Стандартная библиотека

Заголовки стандартной библиотеки

Требования к именованию

Макросы тестирования функциональности (C++20)

Поддержка языка

Библиотека концептов (C++20)

Библиотека метапрограммирования (C++11)

Библиотека диагностики

Библиотека общих утилит

Библиотека строк

Библиотека контейнеров

Библиотека итераторов

Библиотека диапазонов (C++20)

Библиотека алгоритмов

Библиотека численных данных

Библиотека ввода/вывода

Библиотека локализаций

Регулярные выражения (C++11)

Атомарные операции (C++11)

Библиотека поддержки конкуренции (C++11)

Библиотека файловой системы (C++17)

Технические спецификации

Указатель символов

Внешние библиотеки

 

Библиотека утилит

Языковая поддержка Поддержка типов (базовые типы, RTTI) Макросы тестирования функциональности библиотеки (C++20)     Управление динамической памятью Программные утилиты Поддержка сопрограмм (C++20) Вариативные функции is_constant_evaluated (C++20) is_within_lifetime (C++26) initializer_list (C++11) source_location (C++20) Трёхстороннее сравнение (C++20) three_way_comparablethree_way_comparable_with (C++20)(C++20) strong_ordering (C++20) weak_ordering (C++20) partial_ordering (C++20) common_comparison_category (C++20) compare_three_way_result (C++20) compare_three_way (C++20) strong_order (C++20) weak_order (C++20) partial_order (C++20) compare_strong_order_fallback (C++20) compare_weak_order_fallback (C++20) compare_partial_order_fallback (C++20)     is_eqis_neqis_ltis_lteqis_gtis_gteq (C++20)(C++20)(C++20)(C++20)(C++20)(C++20)

Общие утилиты Дата и время Функциональные объекты Библиотека форматирования (C++20) bitset hash (C++11) Операторы отношения (устарело в C++20) rel_ops::operator!=rel_ops::operator> rel_ops::operator<=rel_ops::operator>= Целочисленные функции сравнения cmp_equalcmp_lesscmp_less_than (C++20)(C++20)(C++20)     cmp_not_equalcmp_greatercmp_greater_than (C++20)(C++20)(C++20) in_range (C++20) Операции обмена и типа swap ranges::swap (C++20) exchange (C++14) declval (C++11) to_underlying (C++23) forward (C++11) forward_like (C++23) move (C++11) move_if_noexcept (C++11) as_const (C++17) Общие лексические типы pair tuple (C++11) optional (C++17) any (C++17) variant (C++17) tuple_size (C++11) tuple_element (C++11) apply (C++17) make_from_tuple (C++17) expected (C++23) Элементарные преобразования строк to_chars (C++17) from_chars (C++17) chars_format (C++17) to_chars_result (C++17) from_chars_result (C++17)

 

std::tuple

Функции-элементы

tuple::tuple

tuple::operator=

tuple::swap

Функции, не являющиеся элементами

make_tuple

tie

forward_as_tuple

tuple_cat

operator==operator!=operator<operator<=operator>operator>=operator<=> (до C++20)(до C++20)(до C++20)(до C++20)(до C++20)(C++20)

std::swap

get

Правила вывода(C++17)

Вспомогательные концепты

tuple-like (C++23)

Вспомогательные классы

tuple_size

tuple_element

uses_allocator

basic_common_reference (C++23)

common_type (C++23)

ignore

 

<tbody> </tbody>

Определено в заголовочном файле <tuple>
template< class... Типы > class tuple;		(начиная с C++11)

Шаблон класса std::tuple представляет собой фиксированного размера набор разнородных значений. Это обобщение std::pair.

Если std::is_trivially_destructible<Ti>::value равно true для каждого Ti в Типы, деструктор tuple тривиален.

Параметры шаблона

Типы...

—

типы элементов, которые хранятся в кортеже. Поддерживается пустой список.

Функции элементы

(конструктор)	создаёт новый tuple (public функция-элемент)
operator=	присваивает содержимое одного tuple другому (public функция-элемент)
swap	меняет местами содержимое двух tuple местами (public функция-элемент)

Функции, не являющиеся элементами

make_tuple (C++11)	создаёт объект tuple типа, определённого типами аргументов (шаблон функции)
tie	создаёт std::tuple левосторонних ссылок или распаковывает кортеж на отдельные объекты (шаблон функции)
forward_as_tuple (C++11)	создаёт tuple пересылалаемых ссылок (шаблон функции)
tuple_cat (C++11)	создаёт tuple, объединяя любое количество кортежей (шаблон функции)
std::get(std::tuple) (C++11)	доступ к определённому элементу кортежа (шаблон функции)
operator==operator!=operator<operator<=operator>operator>=operator<=> (удалено в C++20)(удалено в C++20)(удалено в C++20)(удалено в C++20)(удалено в C++20)(C++20)	лексикографически сравнивает значения в кортеже (шаблон функции)
std::swap(std::tuple) (C++11)	специализация алгоритма std::swap (шаблон функции)

Вспомогательные концепты

tuple-likepair-like (C++23)

указывает, что тип реализует протокол кортежа (std::get, std::tuple_element, std::tuple_size) (только для пояснения concept*)

Вспомогательные классы

std::tuple_size<std::tuple> (C++11)	получает размер tuple во время компиляции (специализация шаблона класса)
std::tuple_element<std::tuple> (C++11)	получает тип указанного элемента (специализация шаблона класса)
std::uses_allocator<std::tuple> (C++11)	специализация свойств типа std::uses_allocator (специализация шаблона класса)
std::basic_common_reference<std::tuple> (C++23)	определяет общий ссылочный тип tuple и tuple-like типов (специализация шаблона класса)
std::common_type<tuple-подобный> (C++23)	определяет общий тип tuple и tuple-like типов (специализация шаблона класса)
ignore (C++11)	заполнитель для пропуска элемента при распаковке tuple с помощью tie (константа)

Примечание

• Поскольку "форма" кортежа -- его размер, типы его элементов и порядок этих типов -- являются частью сигнатуры его типа, все они должны быть доступны во время компиляции и могут зависеть только от другой информации времени компиляции. Это означает, что многие условные операции над кортежами, в частности условное добавление в начало/конец и фильтрация, возможны только в том случае, если условия могут быть оценены во время компиляции. Например, учитывая std::tuple<int, double, int>, можно фильтровать по типам, например, возвращая std::tuple<int, int>, но не для фильтрации того, является ли каждый элемент положительным (который будет иметь другую сигнатуру типа в зависимости от значений кортежа времени выполнения), если только все элементы сами были constexpr.
  • В качестве обходного пути можно работать с кортежами std::optional, но по-прежнему нет способа настроить размер на основе информации времени выполнения.
• До N4387 (применяемого как отчёт о дефектах для C++11), функция не могла вернуть кортеж, используя копирование-списка-инициализации:

std::tuple<int, int> foo_tuple() 
{
  return {1, -1};  // Ошибка до N4387
  return std::tuple<int, int>{1, -1}; // Всегда работает
  return std::make_tuple(1, -1); // Всегда работает
}

Пример

Запустить этот код

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

std::tuple<double, char, std::string> get_student(int id)
{
    switch(id)
    {
    case 0: return {3.8, 'A', "Лиза Симпсон"};
    case 1: return {2.9, 'C', "Милхаус Ван Хаутен"};
    case 2: return {1.7, 'D', "Ральф Виггам"};
    case 3: return {0.6, 'F', "Барт Симпсон"};
    }

    throw std::invalid_argument("id");
}

int main()
{
    const auto student0 = get_student(0);
    std::cout << "ИД: 0, "
              << "Средний балл: " << std::get<0>(student0) << ", "
              << "категория: " << std::get<1>(student0) << ", "
              << "имя: " << std::get<2>(student0) << '\n';

    const auto student1 = get_student(1);
    std::cout << "ИД: 1, "
              << "Средний балл: " << std::get<double>(student1) << ", "
              << "категория: " << std::get<char>(student1) << ", "
              << "имя: " << std::get<std::string>(student1) << '\n';

    double gpa2;
    char grade2;
    std::string name2;
    std::tie(gpa2, grade2, name2) = get_student(2);
    std::cout << "ИД: 2, "
              << "Средний балл: " << gpa2 << ", "
              << "категория: " << grade2 << ", "
              << "имя: " << name2 << '\n';

    // структурная привязка C++17
    const auto [ gpa3, grade3, name3 ] = get_student(3);
    std::cout << "ИД: 3, "
        << "Средний балл: " << gpa3 << ", "
        << "категория: " << grade3 << ", "
        << "имя: " << name3 << '\n';
}

Вывод:

ИД: 0, Средний балл: 3.8, категория: A, имя: Лиза Симпсон
ИД: 1, Средний балл: 2.9, категория: C, имя: Милхаус Ван Хаутен
ИД: 2, Средний балл: 1.7, категория: D, имя: Ральф Виггам
ИД: 3, Средний балл: 0.6, категория: F, имя: Барт Симпсон

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

Следующие изменения поведения были применены с обратной силой к ранее опубликованным стандартам C++:

Номер	Применён	Поведение в стандарте	Корректное поведение
LWG 2796	C++11	тривиальность деструктора tuple не определена	определена

Ссылки

• C++23 стандарт (ISO/IEC 14882:2023):

• 22.4 Кортежи [tuple]

• C++20 стандарт (ISO/IEC 14882:2020):

• 20.5 Кортежи [tuple]

• C++17 стандарт (ISO/IEC 14882:2017):

• 23.5 Кортежи [tuple]

• C++14 стандарт (ISO/IEC 14882:2014):

• 20.4 Кортежи [tuple]

• C++11 стандарт (ISO/IEC 14882:2011):

• 20.4 Кортежи [tuple]

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

pair	реализует двойной кортеж, т.е. пару значений (шаблон класса)