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

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

Изначально всё это предназначалось для работы с кортежами, но на самом деле оно применимо к любым шаблонным классам. В том числе возможна совместная работа с библиотекой "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

Сообщение от niXman почему не назвать просто map ?

Особенность реализации. Загляни в исходники.
Я над этим думаю. Наверное, в конце концов так и сделаю. Когда пойму, как.

в map`ах, как правило, лежат пары. почему бы просто не назвать - pair ?

Да, спасибо — это я тупо забыл переделать .

Кстати, вот ещё одна идея родилась: сделать метафункции для работы с деревом "методами" этого дерева.
То есть синтаксис будет такой:
Новый стандарт позволяет это делать.

P.S. Если есть ещё какие-нибудь замечания, буду рад выслушать.

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

Сообщение от niXman в map`ах, как правило, лежат пары. почему бы просто не назвать - pair ?

А, нет, это ты меня запутал. Под парой подразумевается пара типов. А я пока не делаю обобщений, у меня строго "число-тип". Поэтому если сделать пару, то придётся писать обёртку над числом, так что удобства от этого нисколько не прибавится.

0

Сообщение от volovzi придётся писать обёртку над числом

в boost.mpl так и сделано. и я не сказал бы что не удобно.. или просто привычка)

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

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

Сообщение от volovzi map::insert<17, std::string> new_map; new_map::at<17> type;

тут ">::type" не пропустил? или такая задумка?

Добавлено через 3 минуты
минутку.. я так понял, что твой map позволяет в качестве ключа использовать только целые. какой смысл? %)

0

Сообщение от niXman в boost.mpl так и сделано. и я не сказал бы что не удобно.. или просто привычка)

Ну вот мне было бы неудобно. К тому же не люблю бустовские классы с подчёркиваниями в начале и в конце.

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

Ну, я к каждому коммиту переписываю main. А писать полноценные тесты и нормальную документацию — это ты слишком многого от меня хочешь . Разве что на новогодних каникулах сподоблюсь.

тут ">::type" не пропустил? или такая задумка?

Задумка. Максимально избавиться от лишнего. Обдумываю как вариант.

минутку.. я так понял, что твой map позволяет в качестве ключа использовать только целые. какой смысл? %)

Ну, во-первых, потому что опять же была такая задумка. Во-вторых, вся библиотека построена на целых. Обёрток к тривиальным типам не делал. А в-третьих, я не очень понимаю, как можно сравнивать на больше-меньше классы. Сопоставлять им какие-то числа?

0

Сообщение от volovzi бустовские классы с подчёркиваниями в начале

с подчёркиваниями в начале, что-то не припомню таких, публичных...

Сообщение от volovzi А писать полноценные тесты и нормальную документацию

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

Сообщение от volovzi ты слишком многого от меня хочешь

это всего лишь предложение.

Сообщение от volovzi вся библиотека построена на целых

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

Сообщение от volovzi я не очень понимаю, как можно сравнивать на больше-меньше классы

зачем на больше-меньше? только на равенство.

0

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

А в каком виде ты предлагаешь делать тесты?

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

Ну, примеры и тесты, возможно, стоит делать сразу. Просто надо подумать, как это лучше организовать. Есть конструктивные предложения?
А с документацией — как раз наоборот. Поскольку библиотека ещё только на ранней стадии, в ней может многое поменяться. И потом будет накладно исправлять, помимо самого кода, ещё и документацию.

когда целые используются в качестве индексов при обращении с последовательностями - это нормально. и совсем другое дело, когда map превращается не в карту ключ->значение.

Изначально эту карту я рассматривал не как самостоятельный модуль, а как вспомогательный класс для использования в алгоритмах. Например, она позволила бы ускорить компиляцию той же произвольной подпоследовательности ("subset") при больших значениях N и M. А поскольку там всё построено на числовых индексах, то и карту я делал исходя из потребностей этих метафункций.

зачем на больше-меньше? только на равенство.

Хм, да, не подумал. Но не будет ли тогда слишком много балансировок при вставке? Надо посчитать.

0

Сообщение от volovzi в каком виде ты предлагаешь делать тесты?

ну гм.. как обычно) для каждого шаблона по исходнику тестов его корректности результата. создать Makefile который все эти тесты будет собирать+выполнять+выводить результат.

Сообщение от volovzi Есть конструктивные предложения?

как обычно.. создаешь каталог tests. в нем для каждого шаблона по подкаталогу. в этом подкаталоге файлы: 1)исходник теста(или несколько), 2)текстовик с ожидаемым результатом.

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

понятно. тогда это не map. или не тот map, который сразу приходит в голову видя такое имя

Сообщение от volovzi Но не будет ли тогда слишком много балансировок при вставке?

-

Сообщение от volovzi Надо посчитать.

Добавлено через 42 секунды
volovzi, в общем думай... с тестами могу подсобить, если в мемберы добавишь

0

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

Сейчас подумал ещё раз — равенства однозначно недостаточно. Во-первых, в этом случае речь не идёт об упорядоченности: порядок элементов в карте будет зависеть от порядка добавления их в неё. Во-вторых, если применять балансировку к такой карте, то в ней будет невозможно найти элемент по ключу, а если не применять, то карта вырождается в список.
Так что либо как-то назначать типам числовые идентификаторы, либо оставлять пока что только целочисленные ключи.

ну гм.. как обычно) для каждого шаблона по исходнику тестов его корректности результата. создать Makefile который все эти тесты будет собирать+выполнять+выводить результат. как обычно.. создаешь каталог tests. в нем для каждого шаблона по подкаталогу. в этом подкаталоге файлы: 1)исходник теста(или несколько), 2)текстовик с ожидаемым результатом. volovzi, в общем думай... с тестами могу подсобить, если в мемберы добавишь

Было бы здорово. С удовольствием добавлю. Только как? Я не нашёл, где это делается.

0

Сообщение от volovzi Только как? Я не нашёл, где это делается.

я тоже)
нужно погуглить по этому поводу...

0

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

0

Сообщение от volovzi разве публичный репозиторий не все могут редактировать?

а хз) никогда не пытался редактировать чей-то репозиторий)
сейчас попробую.

Добавлено через 20 часов 15 минут
я в общем-то плохо с git знаком. но то что нагуглил, не позволило ничего закоммитить.

0

niXman, а почему не получилось? Что говорят?

0

volovzi, однозначно ответить затрудняюсь потому, что гуглил примеры работы с git. потом пытался их использовать. но так ничего и не получилось %)
возможно, либо примеры были не правильные, либо я что-то не так делал, либо для коммита нужно иметь права.

Добавлено через 31 секунду
приведи ты свои команды. только без паролей, если они есть.

0

Как-то так:

0

сделал в точности как ты показал, за исключением url`а.

вывод:

nixman@nixman-pc:~/Meta$ git push origin master fatal: remote error: You can't push to git://github.com/izvolov/Meta.git Use git@github.com:izvolov/Meta.git

он мне рекомендует использовать урл вида: git@github.com:izvolov/Meta.git
но при попытке его использовать, получаю:

nixman@nixman-pc:~$ git clone git@github.com:izvolov/Meta.git Cloning into Meta... Permission denied (publickey). fatal: The remote end hung up unexpectedly

выводы?

0

niXman, а, всё-таки надо сначала ответвиться, а потом уже делать запрос на присоединение к основной ветке.
А графические приложения не пробовал? У тебя какая система?

Добавлено через 18 минут
Вот здесь ещё неплохо написано:
http://habrahabr.ru/blogs/Git/... nt_4147240

0

Сообщение от volovzi А графические приложения не пробовал?

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

Сообщение от volovzi У тебя какая система?

линукс.

Сообщение от volovzi Вот здесь ещё неплохо написано: http://habrahabr.ru/blogs/Git/... nt_4147240

ушел читать.

0

Ну чё?

0

volovzi, насколько я понял, нужно зайти в админку репы и добавить niXman'а в collaborators.

0

CyBOSSeR, я сначала тоже так думал, но увидел справа словосочетание "Private Collaborators" и решил, что это тоже какая-то платная штука, как и закрытые репозитории.
Добавил Никсмана. Но, насколько я понимаю, он в отъезде, поэтому не отвечает.

Добавлено через 11 часов 27 минут
Ура! Незамутнённый утренний пост(и пред-)праздничный разум творит чудеса.
Наконец-то сделал удаление значения по ключу. Пожалуй, это самая сложная на данный момент метафункция в библиотеке.
Страшно представить, что будет в балансировке.

0

С радостью сообщаю, что создание двоичного дерева поиска времени компиляции завершено. Получившаяся структура данных — полноценное дерево АВЛ с соответствующими алгоритмическими характеристиками.

Балансировку оказалось сделать легче, чем я ожидал, в частности, выяснилось, что за высотами ветвей не обязательно следить вручную — узлы могут определять свою высоту автоматически.

Далее последуют усовершенствования, реструктуризации и оптимизации, но то, что оно уже работает — факт.

В репозитории пока нет, но скоро будет.

0