Кортежи, метафункции и все, все, все.

@volovzi · Регистрация: 14.03.2010

Цель — модифицировать заданный кортеж (например, "std::tuple") путём добавления в него новых типов или удаления существующих.

Сперва попробовал создать кортеж при помощи "boost::mpl::vector" и "boost::mpl::inherit", но проблема в том, что результат эмпээлевских метафункций неопределён, и, например, "pop_back<vector>::type" не является вектором. А мне нужно получить честный кортеж (пусть даже и сложного типа), т.к. далее нужно получить доступ к его элементам.

Решил написать свои метафункции. Вставка в начало и в конец и удаление из начала — тривиальны и компилируются за константное время — всё отлично. Но вот удаление с конца, к сожалению, так хорошо реализовать не удалось. А именно: удалось получить только линейное время.

Текст программы

C++

#include <iostream>
 
template <typename ... Types>
struct test;
 
namespace mpl
{
    // ---- Удаление с конца ----------------------------------------------------------------------
    
    template <template <typename ...> class Class, typename HeadList, typename TailList>
    struct do_pop_back;
 
    template <template <typename ...> class Class, typename ... Head, typename Middle, typename ... Tail>
    struct do_pop_back<Class, void (Head ...), void (Middle, Tail ...)>
    {
        typedef typename do_pop_back<Class, void (Head ..., Middle), void (Tail ...)>::type type;
    };
 
    template <template <typename ...> class Class, typename ... Head, typename Tail>
    struct do_pop_back<Class, void (Head ...), void (Tail)>
    {
        typedef Class<Head ...> type;
    };
    
    template <template <typename ...> class Class, typename Only>
    struct do_pop_back<Class, void (Only), void ()>
    {
        typedef Class<> type;
    };
 
    template <typename Tuple>
    struct pop_back;
 
    template <template <typename ...> class Class, typename Head, typename ... Tail>
    struct pop_back<Class<Head, Tail ...>>
    {
        typedef typename do_pop_back<Class, void (Head), void (Tail ...)>::type type;
    };
    
    // ---- Вставка в конец -----------------------------------------------------------------------
    
    template <typename Tuple, typename Type>
    struct push_back;
    
    template <template <typename ...> class Class, typename ... Head, typename Tail>
    struct push_back<Class<Head ...>, Tail>
    {
        typedef Class<Head..., Tail> type;
    };
    
    // ---- Удаление с начала ---------------------------------------------------------------------
    
    template <typename Tuple>
    struct pop_front;
    
    template <template <typename ...> class Class, typename Head, typename ... Tail>
    struct pop_front<Class<Head, Tail ...>>
    {
        typedef Class<Tail ...> type;
    };
    
    // ---- Вставка в начало ----------------------------------------------------------------------
    
    template <typename Tuple, typename Type>
    struct push_front;
    
    template <template <typename ...> class Class, typename ... Tail, typename Head>
    struct push_front<Class<Tail ...>, Head>
    {
        typedef Class<Head, Tail ...> type;
    };
} // namespace mpl
 
int main()
{
    typedef std::tuple<int, double> tuple0;
    
    typedef mpl::pop_back<tuple0>::type tuple1;
    test<tuple1>(); // Эта штука, как вы догадались, порождает ошибку компиляции, которая печатает
                    // имя типа в явном виде.
    
    typedef mpl::push_back<tuple1, std::string>::type tuple2;
    test<tuple2>();
    
    typedef mpl::pop_front<tuple2>::type tuple3;
    test<tuple3>();
    
    typedef mpl::push_front<tuple3, bool>::type tuple4;
    test<tuple4>();
        
    return 0;
}

Итак, вопрос первый.
Может, я плохо искал? Можно ли с помощью "Буста" добиться желаемого результата?

Вопрос второй.
Есть ли идеи, как можно модифицировать метафункцию "pop_back" так, чтобы она компилировалась за константное время?

Вопрос третий.
Обратите внимание на "do_pop_back". Как думаете, православно ли подобное оперирование со списками типов (я имею в виду оборачивание в "void (...)")? По крайней мере, это лучший из пришедших в голову вариантов.

Вернуться к обсуждению:
Кортежи, метафункции и все, все, все.

Следующий ответ

Другие темы раздела
C++ Шифрование PKI https://www.cyberforum.ru/ cpp/ thread388999.html нужна программа, написанная на любом виде языке программирования, которая осуществляла метод шифрования PKI. Если есть такая программка, пожалуйста, расскажите в кратце код...Заранее пасЫбо=)	MPI и Borland C++ 5.0 C++ Может, кто-нибудь знает, как настроить Borland C++ 5.02 на работу с библиотекой mpi? файлы в include, lib переместила, но как присоединить эту библиотеку к проекту - ума не приложу. Помогите,...
Ошибка компилятора C++ Всем привет) У меня такая вот проблема с компилятором Сначала всё шло хорошо. Потом стала выкидывать ошибку. Пробовал и винду менять, и версии, и совместимости ставил. Ничего не помогало. Прошу...	C++ Не удается запустить С++ приложение в среде NetBeans 7.0.1 (MinGW) Здравствуйте, Не получается запустить приложение в среде NetBeans версии 7.0.1. Настроил по идее все как полагается: Установил MinGW, компилятор для C++ и msys(1.0), добавил в переменные среды PATH... https://www.cyberforum.ru/ cpp/ thread386395.html
C++ Движок 3D https://www.cyberforum.ru/ cpp/ thread382234.html Подскажите пожалуйста где можно написать игры так сказать с визуальным редактором Пробовал на C++ Bulder XE2 но он не умеет нормально вставлять 3d обьекты и работать с ними не возможно.	Как быстро скомпилить проект? C++ Есть программа размером порядка 1гб :) Большая часть кода сгенерированно и представляет собой описание функций. Причем функции достаточно простые по типу вернуть сумму и пр. Эти функции я запихал в...
Посоветуйте тему для Дипломного проекта c БД Access C++ Добрый вечер! Посоветуйте мне пожадуйста тему для Дипломного проекта (чтобы присутствывала БД Access есть готовая база)	C++ код ошибки: необработанное исключение STATUS_DLL_NOT_FOUND, исключающее продолжение загрузки Пытаюсь написать приложение на Direct2D. В основу(создание и обработка окна) добавляю одну строку hr = D2D1CreateFactory(D2D1_FACTORY_TYPE_SINGLE_THREADED, &pD2DFactory); И, после компиляции,... https://www.cyberforum.ru/ cpp/ thread380645.html
C++ Eclipse Indigo https://www.cyberforum.ru/ cpp/ thread375540.html Недавно перешла на Eclipse C/C++ только не знаю, как подключить directx sdk к нему, для разработки игр. Помогите, пожалуйста. То сами мы не местные. Visual Studio достал конкретно, на C# все...	C++ драйвера пожалуйста посоветуйте хорошое и простое пособие по написанию драйверов под XP для начинающих,очень надо ,пишу курсовой https://www.cyberforum.ru/ cpp/ thread374415.html