Пары и кортежи

@semihal · Регистрация: 04.10.2014

Студворк — интернет-сервис помощи студентам

Здравствуйте, по книгам дошёл до темы "Пары и кортежи". И возник вопрос, который касается пар и кортежей.
Сам вопрос:
В чём различие если мы объявим кортеж с данным int, char*, float и структуру с такими же типами? Или объявим шаблонную структуру, а в нужный момент просто воспользуемся ею? Аналогичный вопрос и для pair.

Так же ещё один вопрос:

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
template <int IDX, int MAX, typename... args>
struct PRINT_TUPLE {
    static void print(std::ostream& strm, std::tuple<args...>& t) {
        strm << std::get<IDX>(t) << (IDX + 1 == MAX ? "" : ", ");
        PRINT_TUPLE<IDX+1, MAX, args...>::print(strm, t);
    }
};
 
template <int MAX, typename... args>
struct PRINT_TUPLE<MAX, MAX, args...> {
    static void print(std::ostream& strm, std::tuple<args...>& t) {
    }
};
 
template <typename... args>
std::ostream& operator << (std::ostream& strm, std::tuple<args...>& t) {
    strm << "[";
    PRINT_TUPLE<0, sizeof...(args), args...>::print(strm, t);
    strm << "]";
};

Почему мы объявляем именно структуру PRINT_TUPLE? Почему нельзя просто создать функцию с variadic template?

@hoggy · 21.03.2015, 16:55

Сообщение от semihal

В чём различие если мы объявим кортеж с данным int, char*, float и структуру с такими же типами? Или объявим шаблонную структуру, а в нужный момент просто воспользуемся ею? Аналогичный вопрос и для pair.

принципиально - ничем.

Сообщение от semihal

Почему мы объявляем именно структуру PRINT_TUPLE? Почему нельзя просто создать функцию с variadic template?

потому что нам там захотелось.
технически, ничто не мешает реализовать такое же поведение
с использованием только функций (без структуры).

@semihal · 21.03.2015, 17:02 **[ТС]**

hoggy, То есть в обоих случаях только потому что "хочу"?

Кстати, мы можем перегружать операторы в главном файле? Без класса, как это сделано тут:

C++
1
2
3
4
5
6
template <typename... args>
std::ostream& operator << (std::ostream& strm, std::tuple<args...>& t) {
    strm << "[";
    PRINT_TUPLE<0, sizeof...(args), args...>::print(strm, t);
    strm << "]";
};

@DrOffset · 21.03.2015, 17:06

Сообщение от semihal

Почему мы объявляем именно структуру PRINT_TUPLE? Почему нельзя просто создать функцию с variadic template?

Есть и другой способ это сделать (только с функциями). Но здесь подобный подход применен, чтобы обойти запрет на частичную специализацию функций. Ведь нам надо как-то обозначить конец шаблонной рекурсии. Вот за этим и структура. Специализация по PRINT_TUPLE<MAX, MAX, args...> обозначает в данном случае завершение рекурсии.

Сообщение от semihal

В чём различие если мы объявим кортеж с данным int, char*, float и структуру с такими же типами?

Какие различия тебя интересуют? На уровне машинного кода? Или семантические с точки зрения языка?
Если первое, то различия будут разве что в порядке следования данных (да и то, в каждом конкретном случае надо смотреть).
Если второе, то кортеж дает индексацию и структурирование времени компиляции своих данных. Это позволяет создавать обобщенные алгоритмы обработки этих данных, наподобие как в твоем примере.

@semihal · 21.03.2015, 17:14 **[ТС]**

Сообщение от DrOffset

Если второе, то кортеж дает индексацию и структурирование времени компиляции своих данных. Это позволяет создавать обобщенные алгоритмы обработки этих данных, наподобие как в твоем примере.

Можно поподробнее, не совсем понял что означает "индексацию и структурирование времени компиляции своих данных". Обобщённый алгоритм имеется в виду то, что независимо какого типа находятся данные в кортеже, структура PRINT_TUPLE позволяет вывести эти данные?

@Mistik · 21.03.2015, 17:18

Возможно имелось ввиду то, что если указать несуществующий индекс std::get<5>(name) (где максимум 5 элементов), то компилятор выбьет ошибку ?

@DrOffset · 21.03.2015, 17:23

Сообщение от semihal

Можно поподробнее, не совсем понял что означает "индексацию и структурирование времени компиляции своих данных".

Ну в случае с обычной структурой тебе самому нужно будет записывать типы данных, которые она содержит. А вот кортеж - это, грубо говоря, такая структура, которую можно сгенерировать на этапе компиляции из какого-то другого набора данных, причем сделать это обобщенно. А потом так же обобщенно, пройтись по эти элементам неким алгоритмом. Сотворить такое с обычной структурой без специального обвяза не получится. Собственно для этого кортеж и нужен.

Сообщение от semihal

Обобщённый алгоритм имеется в виду то, что независимо какого типа находятся данные в кортеже, структура PRINT_TUPLE позволяет вывести эти данные?

Да.

@semihal · 21.03.2015, 17:44 **[ТС]**

DrOffset, в чём тогда отличие pair от:

C++
1
2
3
4
5
template <typename T, typename T1>
struct pair {
T value;
T1 value1;
};

P.S. что бы не плодить кучу тем, спрошу в этой же. В чём смысл ключевого слова constexpr? Как понимаю оно создаёт "неконстантную константу" (не знаю как по другому назвать

), но в чём его смысл?

@DrOffset · 21.03.2015, 17:54

Сообщение от semihal

в чём тогда отличие pair от:

Технически - это тоже самое.

Сообщение от semihal

В чём смысл ключевого слова constexpr?

Позволяет задавать операции времени компиляции. Было добавлено в язык с целью упростить написание метапрограмм (раньше тоже самое нужно было делать на шаблонах, иногда достаточно нетривиальных).

@semihal · 21.03.2015, 17:57 **[ТС]**

Сообщение от DrOffset

Позволяет задавать операции времени компиляции. Было добавлено в язык с целью упростить написание метапрограмм (раньше тоже самое нужно было делать на шаблонах, иногда достаточно нетривиальных).

Если можно, буду рад примеру

(ибо на других форумах, как-то не совсем понятно)

@Avazart · 21.03.2015, 18:00

Сообщение от semihal

Здравствуйте, по книгам дошёл до темы "Пары и кортежи".

Что за книга?

@semihal · 21.03.2015, 18:01 **[ТС]**

Сообщение от Avazart

Что за книга?

Николаи М. Джосаттис
Стандартная библиотека C++. Справочное руководство

@Mistik · 21.03.2015, 19:41

Так нельзя:

C++
1
2
3
int GiveFive() {return 5;}
 
int some_value[GiveFive() + 7]; // создание массива 12 целых; запрещено в C++

А так можно:

C++
1
2
3
constexpr int GiveFive() {return 5;}
 
int some_value[GiveFive() + 7]; // создание массива 12 целых; разрешено в C++11

@DrOffset · 21.03.2015, 20:21

Сообщение от semihal

Если можно, буду рад примеру

Ну вот например.

Добавлено через 1 минуту

Сообщение от semihal

Стандартная библиотека C++. Справочное руководство

Хорошая книга.
Еще у него есть книга "Шаблоны С++. Справочник разработчика", тоже очень хорошая.

Новые блоги и статьи Все статьи Все блоги /
SDL3 для Desktop (MinGW): Создаём пустое окно с нуля для 2D-графики на SDL3, Си и C++ 8Observer8 10.03.2026 Содержание блога Финальные проекты на Си и на C++: hello-sdl3-c. zip hello-sdl3-cpp. zip Результат:	Установка CMake и MinGW 13.1 для сборки С и C++ приложений из консоли и из Qt Creator в EXE 8Observer8 10.03.2026 Содержание блога MinGW - это коллекция инструментов для сборки приложений в EXE. CMake - это система сборки приложений. Здесь описаны базовые шаги для старта программирования с помощью CMake и. . .	Как дизайн сайта влияет на конверсию: 7 решений, которые реально повышают заявки Neotwalker 08.03.2026 Многие до сих пор воспринимают дизайн сайта как “красивую оболочку”. На практике всё иначе: дизайн напрямую влияет на то, оставит человек заявку или уйдёт через несколько секунд. Даже если у вас. . .	Модульная разработка через nuget packages DevAlt 07.03.2026 Сложившийся в . Net-среде способ разработки чаще всего предполагает монорепозиторий в котором находятся все исходники. При создании нового решения, мы просто добавляем нужные проекты и имеем. . .
Модульный подход на примере F# DevAlt 06.03.2026 В блоге дяди Боба наткнулся на такое определение: В этой книге («Подход, основанный на вариантах использования») Ивар утверждает, что архитектура программного обеспечения — это структуры,. . .	Управление камерой с помощью скрипта OrbitControls.js на Three.js: Вращение, зум и панорамирование 8Observer8 05.03.2026 Содержание блога Финальная демка в браузере работает на Desktop и мобильных браузерах. Итоговый код: orbit-controls-threejs-js. zip. Сканируйте QR-код на мобильном. Вращайте камеру одним пальцем,. . .	SDL3 для Web (WebAssembly): Синхронизация спрайтов SDL3 и тел Box2D 8Observer8 04.03.2026 Содержание блога Финальная демка в браузере. Итоговый код: finish-sync-physics-sprites-sdl3-c. zip На первой гифке отладочные линии отключены, а на второй включены:. . .	SDL3 для Web (WebAssembly): Идентификация объектов на Box2D v3 - использование userData и событий коллизий 8Observer8 02.03.2026 Содержание блога Финальная демка в браузере. Итоговый код: finish-collision-events-sdl3-c. zip Сканируйте QR-код на мобильном и вы увидите, что появится джойстик для управления главным героем. . . .

@Mistik 19 / 19 / 14 Регистрация: 25.02.2015 Сообщений: 138
	21.03.2015, 17:18
	Возможно имелось ввиду то, что если указать несуществующий индекс std::get<5>(name) (где максимум 5 элементов), то компилятор выбьет ошибку ? 0

Пары и кортежи

Решение