Форум программистов, компьютерный форум, киберфорум
С++ для начинающих
Войти
Регистрация
Восстановить пароль
Блоги Сообщество Поиск  
 
 
Рейтинг 4.64/11: Рейтинг темы: голосов - 11, средняя оценка - 4.64
 Аватар для Lyosha12
41 / 41 / 11
Регистрация: 02.04.2016
Сообщений: 313

Variadic templates. Как создать алиас на пакет параметров-типов?

13.10.2017, 22:41. Показов 2551. Ответов 31
Метки нет (Все метки)

Студворк — интернет-сервис помощи студентам
Есть у меня 4 типа: F1, F2, F3, F4.
Их мне нужно передавать десяток раз в разные места все вместе,
по факту, как один аргумент:
C++
1
2
3
MyClass1<F1, F2, F3, F4> my_class_instance_1;
MyClass2<F1, F2, F3, F4> my_class_instance_2;
// ...
Задался вопросом: как сделать пакет из них,
подобно тому, как создаётся пакет при помощи teplate <class... Args>?

Что-то подобное не работает:
C++
1
2
3
4
5
6
template <class... ParamPack>
using PackCreator = ParamPack...;
 
using MyFuncs = PackCreator<F1, F2, F3, F4>;
 
MyClass1<MyFuncs...> my_class_instance_1;
Ответы на stackoverflow довольно сложны для меня сейчас в понимании,
поэтому задаю вопрос сюда в надежде найти более
простое или полное объяснение / ссылку на него.
0
Programming
Эксперт
39485 / 9562 / 3019
Регистрация: 12.04.2006
Сообщений: 41,671
Блог
13.10.2017, 22:41
Ответы с готовыми решениями:

Шаблонное вычисление типов и Variadic Templates
Можно ли сделать что-то вроде этого: Этот код, естественно, не компилируется: template&lt;typename T&gt; class mtd_parser; ...

Variadic Templates - как обращаться к аргументам variadic-функции?
Всем привет! Наверное, рано мне ещё с моими скудными знаниями в это лезть, но, изучив шаблоны и вариадик-функции, я, естественно, горю...

Определение одинаковости типов в пакете Args. в variadic templates
Добрый вечер! Имеется вот такой код: #include &lt;iostream&gt; #include &lt;cmath&gt; template&lt;typename T, int N&gt; class Vctr { ...

31
 Аватар для Lyosha12
41 / 41 / 11
Регистрация: 02.04.2016
Сообщений: 313
14.10.2017, 02:57  [ТС]
Студворк — интернет-сервис помощи студентам
Цитата Сообщение от Croessmah Посмотреть сообщение
(std::cout << typeid(Args).name() << ", "), 0)...
Хоть к теме имеет малое отношение, меня смутила эта конструкция.
Я видел подобное уже, но как работает - загадка, как и название такой штуки.
Это неявный цикл, который компилятор организовывает в удобной форме,
без необходимости в "рекурсивных шаблонах"? Синтаксический сахар?
0
Неэпический
 Аватар для Croessmah
18150 / 10732 / 2067
Регистрация: 27.09.2012
Сообщений: 27,047
Записей в блоге: 1
14.10.2017, 03:01
Цитата Сообщение от Lyosha12 Посмотреть сообщение
без необходимости в "рекурсивных шаблонах"?
C++
1
2
3
int fake[] = {
            ((std::cout << typeid(Args).name() << ", "), 0)... 
        };
Выражение ((std::cout << typeid(Args).name() << ", "), 0)
будет применено для каждого параметра в Args,
На выходе получится:
C++
1
2
3
4
5
int fake[] = {
            ((std::cout << typeid(Args_1).name() << ", "), 0),
            ((std::cout << typeid(Args_2).name() << ", "), 0),
            ((std::cout << typeid(Args_3).name() << ", "), 0),
        };
1
 Аватар для Lyosha12
41 / 41 / 11
Регистрация: 02.04.2016
Сообщений: 313
14.10.2017, 03:33  [ТС]
Цитата Сообщение от Croessmah Посмотреть сообщение
Выражение ((std::cout << typeid(Args).name() << ", "), 0)
будет применено для каждого параметра в Args
Это понятно. В каких случаях уместна такая удобная распаковка? Какие правила её применения?
И зачем использовать здесь оператор 'запятая', который вернёт нуль?
А, да. Название у этой штуки есть?

Добавлено через 27 минут
Кажется, до меня дошло. Вероятно, эту штуку можно использовать только в блоке (https://www.cyberforum.ru/cgi-bin/latex.cgi?\acute{y}же - в списке инициализации)? А возвращаемый нуль оператором 'запятая' служит просто фиктивным заполнителем этого массива, в инициализации которого главная часть - первый операнд оператора 'запятая'. Последний вопрос: как это называется?
0
Неэпический
 Аватар для Croessmah
18150 / 10732 / 2067
Регистрация: 27.09.2012
Сообщений: 27,047
Записей в блоге: 1
14.10.2017, 04:18
Цитата Сообщение от Lyosha12 Посмотреть сообщение
В каких случаях уместна такая удобная распаковка?
В тех случаях, где уместна такая удобная распаковка.
Цитата Сообщение от Lyosha12 Посмотреть сообщение
Какие правила её применения?
В принципе, такие же, как и для "обычной" распаковки.
Собственно, это и есть обычная распаковка.
Просто при args... pattern'он является args,
а при каком-нибудь (args + 1)... pattern'ом является (args + 1).
Цитата Сообщение от Lyosha12 Посмотреть сообщение
И зачем использовать здесь оператор 'запятая', который вернёт нуль?
У нас же массив int'ов, а значит нужно запихать в него int'ы.

Наверное, со всем этим попроще разобраться будет на таком примере:
C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
//g++  5.4.0
 
#include <iostream>
 
 
template<typename ... Args>
void bar(Args... args)
{
    //Не обращаем внимания, это чтобы не рекурсивить вывод =)
    std::cout << "bar: ";
    int fake[] = {
        ((std::cout << args << ", "), 0)... 
    }; (void)fake;
    std::cout << "\n";    
}
 
 
template<typename ... Args>
void foo(Args... args)
{
    //Передали 10, 3, 5
    //Распакуется в
    //bar((10 + 1), (3 + 1), (5 + 1));
    bar((args + 1)...);
    //Надеюсь, так немного понятнее
}
 
 
int main()
{
    foo(10, 3, 5);
}
http://rextester.com/GZPN68213

Добавлено через 1 минуту
Цитата Сообщение от Lyosha12 Посмотреть сообщение
Вероятно, эту штуку можно использовать только в блоке
Не только. В примере выше используется в вызове функции.
Цитата Сообщение от Lyosha12 Посмотреть сообщение
А возвращаемый нуль оператором 'запятая' служит просто фиктивным заполнителем этого массива
Верно.
1
 Аватар для Lyosha12
41 / 41 / 11
Регистрация: 02.04.2016
Сообщений: 313
14.10.2017, 04:26  [ТС]
Цитата Сообщение от Croessmah Посмотреть сообщение
C++
1
2
3
 //Распакуется в
 //bar((10 + 1), (3 + 1), (5 + 1));
 bar((args + 1)...);
Хм. Получается, что вся эта "распаковка" - просто подстановка всех типов/значений
в пакете через запятую, а роль запятой зависит от контекста,
как будто мы работаем с макроподстановкой.

Тогда троеточие можно использовать только в той инструкции, в которой есть пакет,
после чего компилятор развернёт всё в выражение, которое через запятую будет повторено
для каждого типа/значения в пакете.
Конечно, повторяемое выражение необходимо заключить в скобки. Верно?
0
Неэпический
 Аватар для Croessmah
18150 / 10732 / 2067
Регистрация: 27.09.2012
Сообщений: 27,047
Записей в блоге: 1
14.10.2017, 04:35
Цитата Сообщение от Lyosha12 Посмотреть сообщение
Верно?
В общем - да.
Цитата Сообщение от Lyosha12 Посмотреть сообщение
Получается, что вся эта "распаковка" - просто подстановка всех типов/значений
в пакете через запятую, а роль запятой зависит от контекста,
У нас теперь еще появились fold-expression,
там несколько иначе, но речь не о них.
Цитата Сообщение от Lyosha12 Посмотреть сообщение
Конечно, выражение для повтора необходимо заключить в скобки.
Не обязательно, например, &args... - взять адреса аргументов.
pattern'ом является &args - всё норм.
А для args + 1... мы получим, что pattern'ом является 1.
Распаковать единичку, естественно не получится, так что здесь понадобятся скобки.
1
 Аватар для Lyosha12
41 / 41 / 11
Регистрация: 02.04.2016
Сообщений: 313
14.10.2017, 04:39  [ТС]
Отлично. Теперь прояснилась большая часть, есть что погуглить. Благодарю за беседу
0
Неэпический
 Аватар для Croessmah
18150 / 10732 / 2067
Регистрация: 27.09.2012
Сообщений: 27,047
Записей в блоге: 1
14.10.2017, 04:43
Цитата Сообщение от Lyosha12 Посмотреть сообщение
Теперь прояснилась большая часть
Учтите, что это я рассказал своими словами, так сказать.
Возможно, что-то где-то и недонаперепутал.
Цитата Сообщение от Lyosha12 Посмотреть сообщение
Благодарю за беседу
Объяснить думающим приятнее,
чем балбесам, так что обращайтесь.
0
284 / 232 / 114
Регистрация: 07.09.2016
Сообщений: 584
14.10.2017, 05:43
C++
1
2
3
4
5
6
7
8
9
// по аналогии со строчкой
bar((args + 1)...);
 
// можно такой же фокус с аргументами проделать без фейк массива, если вдруг он напрягает:
[](auto&&...){}((std::cout << typeid(Args).name() << ", ")...);
 
// или более похоже на бар:
auto foo = [](auto&&...) {};
foo((std::cout << typeid(Args).name() << ", ")...);
интересно, может ли какой-нибудь дикий оптимизатор повыкидывать эти дела из финальной версии сборки.
аргументы хоть и вычисляются функциями с побочными эффектами, но они не используются никак, да и лябда тоже кандидат на выкидывание, и фейк массив тоже.
0
Неэпический
 Аватар для Croessmah
18150 / 10732 / 2067
Регистрация: 27.09.2012
Сообщений: 27,047
Записей в блоге: 1
14.10.2017, 05:57
DU3, порядок вычисления аргументов функции не определен,
поэтому foo((std::cout << typeid(Args).name() << ", ")...)
может быть выведено вразнобой:
C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
//Microsoft (R) C/C++ Optimizing Compiler Version 19.00.23506 for x86
 
#include <iostream>
#include <typeinfo>
 
 
 
template<typename ... Args>
void foo(Args... args)
{
    auto f = [](auto&&...) {};
    f((std::cout << args << ", ")...);  
}
 
 
 
int main()
{
    foo(10, 3, 5);
}
http://rextester.com/YMJB30299
1
284 / 232 / 114
Регистрация: 07.09.2016
Сообщений: 584
14.10.2017, 05:59
действительно. вот отстой.
0
Неэпический
 Аватар для Croessmah
18150 / 10732 / 2067
Регистрация: 27.09.2012
Сообщений: 27,047
Записей в блоге: 1
14.10.2017, 07:24
Цитата Сообщение от DU3 Посмотреть сообщение
интересно, может ли какой-нибудь дикий оптимизатор повыкидывать эти дела из финальной версии сборки.
Например, clang с ключом -O2
выкинул и foo, и bar заодно.
1
Надоела реклама? Зарегистрируйтесь и она исчезнет полностью.
inter-admin
Эксперт
29715 / 6470 / 2152
Регистрация: 06.03.2009
Сообщений: 28,500
Блог
14.10.2017, 07:24

Variadic templates, или variadic constructor в шаблоне, или прочие извращения
Здравствуйте. Есть такое Wrapper&lt;Obj&gt; w; Wrapper - обертка над объектом того класса, который ему скормят (в данном случае - Obj)....

Variadic templates
А как бы так исхитриться, чтобы шаблонная функция, использующая Variadic templates узнала размер передаваемых ей параметров с тем, чтобы,...

Variadic Templates
проблема только в переводе на русский, обычно это &quot;Шаблоны с переменным числом аргументов&quot; но такое длинное выражение долго не...

Variadic templates
1. как можно сделать чтобы передавались ссылки на переменные? (с variadic templates) 2. как вообще обращаться к переменным объявленным...

Variadic templates
Как обращаться напрямую к элементам Args? template&lt;typename... Args&gt;


Искать еще темы с ответами

Или воспользуйтесь поиском по форуму:
32
Ответ Создать тему
Новые блоги и статьи
Книги по геймдизайну, левел-дизайну, игровым механикам и проектированию игрового опыта
8Observer8 08.11.2026
Содержание блога | English Version 1. 2003 - 06 - Designing Virtual Worlds (1st Edition) Автор: Richard A. Bartle | Объем: 768 стр. Ссылки: Amazon . . .
Родители токсичные абьюзеры по отношению к своим детям ругают их оскорбляют не любят
zorxor 08.11.2026
Жить в атмосфере постоянных оскорблений, критики и холодности со стороны родителей — это тяжелое и болезненное испытание, которое оставляет глубокие эмоциональные раны. Токсичное и абьюзивное. . .
Как только я захожу к себе в свою комнату я сразу же с себя снимаю свои трусы. Ответ от Джемени ИИ.
zorxor 08.11.2026
Джемени, как только я захожу к себе в свою комнату я сразу же с себя снимаю свои трусы. Многие люди, возвращаясь домой, сразу переодеваются в максимально свободную одежду или вовсе предпочитают. . .
Паттерн очереди действий/команд (Action / Command Queue). Система очереди действий и кат-сцен с SDL3 Callbacks, cglm и OpenGL
8Observer8 07.11.2026
Содержание блога | English Version Руководство для начинающих по реализации паттерна очереди действий/ команд (Action / Command Queue) на C++ (C++20) с использованием официального SDL3 Callbacks. . .
Проверка полного ФИО в типовом справочнике
Maks 07.11.2026
Решение реализовано в конфигурации КА2, на примере справочника "КонтактныеЛицаПартнеров". Задача: Запрет инициалов. Не допускаеть использование сокращений вида "И. И. ", "И. И. ", "И И" и. . .
Про "Windows must die!"
kumehtar 04.11.2026
Знаете, чет накатило. . . . Когда-то это было почти боевым кличем: мол, нормальный человек сидит на DOS, OS/ 2 или Linux, а вот это вот - Must Die. А теперь человек произносит «мастдай» с усмешкой - и. . .
Красочные поля с номером страницы svg+background-image
russiannick 04.11.2026
Красочные поля с номером страницы не менее важны чем в эпоху бумажных книг. Посему спешу представить почтеннейшей публике этот важный инструмент который эти поля и формирует. В процессе разработки. . .
Вступаем в новую фазу генерации favicons, векторную.
russiannick 02.11.2026
Теперь нет нужды скрывать что используется простой svg. Исходный код изображения помещаем в поле и жмем кнопку. Исходник преобразуется в вид корректный для помещения в favicon или в url(). Нажатие. . .
КиберФорум - форум программистов, компьютерный форум, программирование
Powered by vBulletin
Copyright ©2000 - 2026, CyberForum.ru