Форум программистов, компьютерный форум, киберфорум
Наши страницы
С++ для начинающих
Войти
Регистрация
Восстановить пароль
 
Mirmik
techpriest
220 / 191 / 53
Регистрация: 27.02.2014
Сообщений: 1,018
#1

Variadic templates локальные переменные - C++

18.11.2015, 18:44. Просмотров 288. Ответов 7
Метки нет (Все метки)

Еще один вопрос по Variadic templates.

Решаю следующую задачу:
Необходимо сохранить в памяти функцию с набором параметров для последующего использования.
Разумеется в виде шаблона, дабы получить решения для любого набора параметров.

Благодаря вашей тени первую половину задачи мне удалось решить.

Проблема возникла уже при восстановлении набора параметров из памяти.

По сути есть вот что:

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
template <typename UnusedType> class function_pack;
        
        template <typename ReturnType, typename ... ArgumentTypes>
        class function_pack<ReturnType (ArgumentTypes ...)>
        {
            void* archive;
            
            public:
            void pack(ReturnType(*f)(ArgumentTypes ...), ArgumentTypes ... args)
            {
                archive = push_pack(f, args ...);
            };
            
            
            void exec()
            {
                //Приблизительно, что нужно:
                //ArgumentTypes ... args; <-не работает.
                //ReturnType (*f)(ArgumentTypes ...);
 
                //get_pack(archive, f, args ...);
                //f(args...);
            };
        };
ф-ии
void* push_pack (Args ... args) - складывает свои аргументы последовательно в память, вовращает указатель на архив..
void get_pack (void* archive, Args& ... args) - достаёт из архива информацию , кладёт её в args .

Проблема заключается в том, что что-бы воспользоваться get_pack нужно передать ей args...
Но функция void exec() не должна принимать никаких параметров снаружи, а значит args... должны быть как-то созданы внутри самой функции.

Вопрос. Как создать локальные переменные по списку типов ArgumentTypes.
Ну, или же, как решить эту задачу другим способом...
http://www.cyberforum.ru/cpp-beginners/thread1519669.html
0
Лучшие ответы (1)
Надоела реклама? Зарегистрируйтесь и она исчезнет полностью.
Similar
Эксперт
41792 / 34177 / 6122
Регистрация: 12.04.2006
Сообщений: 57,940
18.11.2015, 18:44
Я подобрал для вас темы с готовыми решениями и ответами на вопрос Variadic templates локальные переменные (C++):

Variadic templates
typedef function&lt;double(double ...)&gt; fun; inline int sum() { return 0; }...

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

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

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

Variadic templates
как можно сделать чтобы функция принимала бесконечное количество объектов...

7
DrOffset
7517 / 4513 / 1097
Регистрация: 30.01.2014
Сообщений: 7,362
18.11.2015, 21:11 #2
Лучший ответ Сообщение было отмечено Mirmik как решение

Решение

Цитата Сообщение от Mirmik Посмотреть сообщение
Как создать локальные переменные по списку типов ArgumentTypes.
см. в сторону std::tuple и indices trick.
Локальные переменные должны быть проинициализированы из хранилища void*?
indices trick implementation
C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
namespace ct
{
 
template <size_t ...I>
struct indices
{ };
 
template <size_t Max, size_t ...Indices>
struct make_indices
    : make_indices<Max - 1, Max - 1, Indices...>
{ };
 
template <size_t ...Indices>
struct make_indices<0, Indices...>
    : indices<Indices...>
{
    using type = indices<Indices...>;
};
 
} // ct
Или взять std::make_index_sequence, если доступен С++14.


Тогда твой код будет примерно таким:
Кликните здесь для просмотра всего текста
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
33
34
35
template <typename ...Args>
void f(Args const & ...args) // we want to call this
{
}
////......................
 
template <typename Tuple, size_t ...Indices>
void exec_impl(void const * arch, ct::indices<Indices...>)
{
    Tuple local{ get_elem<Indices, Tuple>(static_cast<char const *>(arch))... };
    f(std::get<Indices>(local)...); // call f
}
 
template <typename ReturnType, typename ... ArgumentTypes>
class function_pack<ReturnType (ArgumentTypes ...)>
{
    void * archive;
 
public:
    void pack(ReturnType(*f)(ArgumentTypes ...), ArgumentTypes ... args)
    {
        archive = push_pack(f, args ...);
    }
 
    void exec()
    {
        exec_impl<std::tuple<ArgumentTypes...>>(archive, ct::make_indices<sizeof...(ArgumentTypes)>());
    }
    template <typename ...Args>
    void * push_pack(Args const && ...args)
    {
        //TODO
        return 0;
    }
};
Примерная реализация get_elem:
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
template <typename Tuple, size_t I>
struct offset_by_tuple;
 
template <typename ...Args, size_t I>
struct offset_by_tuple<std::tuple<Args...>, I>
{
    using tuple_type   = std::tuple<Args...>;
    using current_type = typename std::tuple_element<I, tuple_type>::type;
    enum { size = sizeof(current_type) + offset_by_tuple<tuple_type, I - 1>::size };
    enum { offset = size - sizeof(current_type) };
};
 
template <typename ...Args>
struct offset_by_tuple<std::tuple<Args...>, 0>
{
    using current_type = typename std::tuple_element<0, std::tuple<Args...>>::type;
    enum { size   = sizeof(current_type) };
    enum { offset = 0 };
};
 
template <size_t I, typename Tuple>
typename std::tuple_element<I, Tuple>::type const & get_elem(char const * source)
{
    using elem_type = typename std::tuple_element<I, Tuple>::type;
 
    return *reinterpret_cast<elem_type const *>(source + offset_by_tuple<Tuple, I>::offset);
}

Можно чуть оптимизировать алгоритмы, но мне лень Для демонстрации сойдет.

Добавлено через 16 минут
Mirmik, вообще говоря, полезно будет рассмотреть вариант использовать для хранения архива сразу std::tuple. Тогда все сильно упростится.

Добавлено через 23 минуты
Mirmik, собственно, реализация тривиальная:
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
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
#include <iostream>
#include <tuple>
 
namespace ct
{
 
template <size_t ...I>
struct indices
{ };
 
template <size_t Max, size_t ...Indices>
struct make_indices
    : make_indices<Max - 1, Max - 1, Indices...>
{ };
 
template <size_t ...Indices>
struct make_indices<0, Indices...>
    : indices<Indices...>
{
    using type = indices<Indices...>;
};
 
} // ct
 
#include <memory>
 
template <typename Func>
class function_pack;
 
template <typename Ret, typename ...Args>
class function_pack<Ret(Args...)>
{
    using archive_type = std::tuple<Ret(*)(Args...), Args...>;
 
    std::unique_ptr<archive_type> m_archive;
 
public:
    void pack(Ret (*f)(Args...), Args const & ...args)
    {
        m_archive.reset(new archive_type{f, args ...});
    }
    Ret exec()
    {
        return exec(std::get<0>(*m_archive), ct::make_indices<sizeof...(Args)>());
    }
private:
    template <size_t ...Indices>
    Ret exec(Ret(*f)(Args...), ct::indices<Indices...>)
    {
        return f(std::get<Indices + 1>(*m_archive)...);
    }
};
 
int fun(int a, int b)
{
    return a + b;
}
 
int main()
{
    function_pack<int(int, int)> pack;
 
    pack.pack(fun, 5, 6);
 
    std::cout << pack.exec() << std::endl;
}
Демонстрация работы: http://rextester.com/FEK89539
3
Mirmik
techpriest
220 / 191 / 53
Регистрация: 27.02.2014
Сообщений: 1,018
18.11.2015, 21:11  [ТС] #3
Ох... А можно пару слов о том, как это работает ?... Это какая-то хитрая шаблонная магия...

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
template <size_t ...I>
struct indices
{ };
 
template <size_t Max, size_t ...Indices>
struct make_indices
    : make_indices<Max - 1, Max - 1, Indices...>
{ };
 
template <size_t ...Indices>
struct make_indices<0, Indices...>
    : indices<Indices...>
{
    using type = indices<Indices...>;
};
0
DrOffset
7517 / 4513 / 1097
Регистрация: 30.01.2014
Сообщений: 7,362
18.11.2015, 21:30 #4
Цитата Сообщение от Mirmik Посмотреть сообщение
А можно пару слов о том, как это работает
Ничего хитрого.
Рекурсивно спускаемся, уменьшая счетчик.
В конце рекурсии отбрасывается лидирующий ноль (их два, один для оставноки рекурсии - его мы отбрасываем, второй получается после всего прохода, как результат 1(Max) - 1).
На выходе получаем тип indices<0, 1, 2, ...., Max - 1>.

Добавлено через 2 минуты
Mirmik, лучше посмотри обновление предыдущего поста. В С++14 можно еще сократить, если применить std::index_sequence.

Добавлено через 2 минуты
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
33
34
35
36
37
38
39
40
41
42
43
44
45
#include <iostream>
#include <tuple>
#include <memory>
#include <utility>
 
template <typename Func>
class function_pack;
 
template <typename Ret, typename ...Args>
class function_pack<Ret(Args...)>
{
    using archive_type = std::tuple<Ret(*)(Args...), Args...>;
 
    std::unique_ptr<archive_type> m_archive;
 
public:
    void pack(Ret (*f)(Args...), Args const & ...args)
    {
        m_archive.reset(new archive_type{f, args...});
    }
    Ret exec()
    {
        return exec(std::get<0>(*m_archive), std::make_index_sequence<sizeof...(Args)>{});
    }
private:
    template <size_t ...Indices>
    Ret exec(Ret(*f)(Args...), std::index_sequence<Indices...>)
    {
        return f(std::get<Indices + 1>(*m_archive)...);
    }
};
 
int fun(int a, int b)
{
    return a + b;
}
 
int main()
{
    function_pack<int(int, int)> pack;
 
    pack.pack(fun, 5, 6);
 
    std::cout << pack.exec() << std::endl;
}
http://rextester.com/ZXOR32694

Добавлено через 6 минут
Mirmik, Ну и это, конечно же, все очень здорово (я не шучу), но здесь уместен вопрос: ты ведь знаешь про существование std::function и std::bind?
0
Mirmik
techpriest
220 / 191 / 53
Регистрация: 27.02.2014
Сообщений: 1,018
18.11.2015, 21:44  [ТС] #5
Клёво.

Пасибо большое . Потребуется, правда, некоторое время, чтобы понять, как этот indicies всё-таки работает , и написать реализацию tuple... У меня тут весьма импровизированная стандартная библиотека.

Так что может я еще что-нибудь спрошу... Попозже.

Очень, очень неплохо.

Добавлено через 2 минуты
Про std::function я узнал сегодня утром.... Про std::bind пока еще незнаю. Сейчас изучу.
0
DrOffset
7517 / 4513 / 1097
Регистрация: 30.01.2014
Сообщений: 7,362
18.11.2015, 21:46 #6
Цитата Сообщение от Mirmik Посмотреть сообщение
написать реализацию tuple...
Это проще, чем может показаться.
Подсказка: см. в сторону "рекурсивного" наследования.
0
Mirmik
techpriest
220 / 191 / 53
Регистрация: 27.02.2014
Сообщений: 1,018
18.11.2015, 21:50  [ТС] #7
Уже написал.

... Я так понимаю, что что-то вроде std::bind практически и было только что написано...
Отлично. В таком стиле и будем оформлять.
В общем-то я как раз потихоньку собираю стандартную библиотеку для использования на микроконтроллерах. Конечно, есть много готовых реализаций, но такая работа позволяет очень много приобрести в плане понимания.

И избавляет от многих излишних деталей... Аллокаторы, например, у меня переделаны.
0
DrOffset
7517 / 4513 / 1097
Регистрация: 30.01.2014
Сообщений: 7,362
18.11.2015, 21:58 #8
Цитата Сообщение от Mirmik Посмотреть сообщение
Я так понимаю, что что-то вроде std::bind практически и было только что написано
Да, в сильно упрощенном виде.

Цитата Сообщение от Mirmik Посмотреть сообщение
такая работа позволяет очень много приобрести в плане понимания.
Бесспорно.
0
18.11.2015, 21:58
MoreAnswers
Эксперт
37091 / 29110 / 5898
Регистрация: 17.06.2006
Сообщений: 43,301
18.11.2015, 21:58
Привет! Вот еще темы с решениями:

Result_of + variadic templates
Как здесь можно вывести возвращаемый тип функторов? res_t должен получиться...

Variadic templates fail
Здравствуйте. У меня проблема, нужно реализовать в проекте функционал, который...

Разделить типы в variadic templates
Допустим, я передаю в шаблон класса аргументы типов int, double, char*,...

Шаблонное вычисление типов и Variadic Templates
Можно ли сделать что-то вроде этого: Этот код, естественно, не...


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

Или воспользуйтесь поиском по форуму:
8
Ответ Создать тему
Опции темы

КиберФорум - форум программистов, компьютерный форум, программирование
Powered by vBulletin® Version 3.8.9
Copyright ©2000 - 2018, vBulletin Solutions, Inc.
Рейтинг@Mail.ru