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

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

Изначально всё это предназначалось для работы с кортежами, но на самом деле оно применимо к любым шаблонным классам. В том числе возможна совместная работа с библиотекой "Boost.MPL" (но очень осторожная, т.к. в "Бусте" не используются списки типов переменной длины).

Отличие от аналогов, в том числе того же "Boost.MPL" состоит, в основном, в том, что результат всех метафункций предсказуем (в "Бусте" он неопределён). Второе отличие — отсутствие теоретических ограничений на количество типов в шаблонах.

Есть и новшества: я ввёл новый результат метафункции — шаблон, он же "pattern" (т.к. "template" уже является ключевым словом). Смысл его следует из названия: это не тип ("type") и не значение ("value"), а шаблон класса, который может быть в дальнейшем конкретизирован новыми типами (см. метафункцию "get_pattern").

Это первый вариант библиотеки, не влючающий итераторы. Они появятся в следующей версии.
Прошу ознакомиться, кому не лень, и с нетерпением жду отзывов и предложений.

Исходники, так же доступны и на GitHub: https://github.com/izvolov/Meta
клонировать так: git clone git://github.com/izvolov/Meta.git

Вложения

meta.zip (46.7 Кб, 48 просмотров)

6

volovzi, сорри. запраздновался.
завтра возвращаюсь в работу. проверю - отпишусь.

0

niXman, я так и понял .

Я тут пока привёл нововведения в приличный вид и залил в репозиторий. Сами деревья лежат в meta/types/(multi-)map.

0

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

0

volovzi, привет.
убери меня из member`ов. вроде разобрался с gitю хочу попробовать сделать комит не будучи member`ом.

0

niXman, сделано.

0

о!
https://github.com/izvolov/Meta/pulls

прими его. я в него добавил два файла.

0

Ура, работает.

0

хе-хе
все, проще некуда.

я постепенно буду тесты пописывать. по возможности.

у тебя есть еще планы по доработке/развитию либы?

0

niXman, отлично. Я тогда посмотрю на твои тесты и буду параллельно писать по аналогии. Можно будет распределить метафункции, чтоб одно и то же не делать.
Ближайшие планы пока те же: арифметика со всякими метатипами. А есть какие-нибудь предложения?

0

Сообщение от volovzi Можно будет распределить метафункции, чтоб одно и то же не делать.

давай так: в директории tests создаем поддиректорию с именем тестируемого шаблона. (tests/at, к примеру) в ней, файл main.cpp в котором и будет реализован сам тест. тот кто создал директорию - тот и пишет этот тест.
что скажешь?

чтоб не тащить в тесты boost.test, я закожу инфрастуктуру тестов в tests/common/tests.hpp. согласуем за и против, и тогда начнем писать тесты.
мысли?

Сообщение от volovzi А есть какие-нибудь предложения?

сейчас, на сколько я помню, нет контейнера последовательностей, типа mpl::vector<> ?
и алгоритмов недостает.

0

Сообщение от niXman давай так: в директории tests создаем поддиректорию с именем тестируемого шаблона. (tests/at, к примеру) в ней, файл main.cpp в котором и будет реализован сам тест. тот кто создал директорию - тот и пишет этот тест. что скажешь?

А зачем тесту целая директория? Там будет что-то ещё храниться, кроме непосредственно теста? Исполняемый файл?

чтоб не тащить в тесты boost.test, я закожу инфрастуктуру тестов в tests/common/tests.hpp. согласуем за и против, и тогда начнем писать тесты. мысли?

Я пока не понимаю, что ты подразумеваешь под инфраструктурой, поэтому начинай, а там видно будет . Единственно что смущает — в библиотеке уже есть раздел "common". Может возникнуть двусмысленность.

сейчас, на сколько я помню, нет контейнера последовательностей, типа mpl::vector<> ? и алгоритмов недостает.

Ну, есть "type_list". "vector", по идее, подразумевает свободный доступ, а я сомневаюсь, что в рамках действующей модели его вообще возможно реализовать.
А насчёт алгоритмов — согласен. Часть из них как раз будет в арифметике.

0

Сообщение от volovzi А зачем тесту целая директория?

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

Сообщение от volovzi смущает — в библиотеке уже есть раздел "common".

так он в реализации библиотеки. а этот в реализации тестов.

Сообщение от volovzi "vector", по идее, подразумевает свободный доступ, а я сомневаюсь, что в рамках действующей модели его вообще возможно реализовать.

об этом можно подумать потом..

0

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

Понял, согласен.

так он в реализации библиотеки. а этот в реализации тестов.

Хорошо, давай попробуем.

об этом можно подумать потом..

Если придумаешь, это будет покруче дерева поиска .

Добавлено через 17 часов 50 минут
Внёс в проект кое-что из арифметики и сравнения.

0

Внёс ещё кое-какие улучшения в деревья, начал заниматься десятичными дробями (непростая штука, как оказалось).

Появилась идея насчёт тестов: поскольку вся библиотека — это алгоритмы и структуры данных времени компиляции, то, мне кажется, идеологически верно было бы и тесты делать в рамках этой концепции. То есть без необходимости их запускать: если скомпилировался, то тест пройден успешно, если нет — тест был провален.

0

На днях выяснил, что std::get<N>(tuple) работает за константное время. Так что метамассив, оказывается, вполне можно реализовать. Осталось только понять, как разработчики СБШ этого добились.

Добавлено через 2 часа 26 минут
Ха-ха! Не всё так просто. Доступ-то константный, а вот построение такого контейнера — квадратичное! И раз это находится в стандарте, то я делаю вывод, что эффективнее не получится. Жаль.

0