Любитель, на мой взгляд, спирит неплох для небольших парсеров, встречающихся в качестве побочной задачи. Полноценные ЯП на нём реализовывать не хочется.
Семантические действия задавать неудобно, деревья создавать неудобно.
Компилируется очень долго, сообщения об ошибках чудовищны, отладка никакая.
В конечном счёте, при определённом размере грамматики, это перекрывает преимущества лёгкой интеграции с C++.

В общем, C++ не слишком подходящий язык для inline-парсеров. Тут рулят Haskell с Parsec или OCaml с CamlP4. Для C++ есть ANTLR (пока, увы, только 2.x; 3.0 — сказка, но генерация недоделана) или Elkhound (не такой стабильный и популярный, зато GLR).

Хм... итак юзать придется ANTLR походу?
Но он как бы... на джаве? Я прав? А как взаимодействовать с моим С++-кодом?

Хотел бы именно иметь дерево как результат работы парсеров.

P.S. наверное писать буду на куте4.

Он написан на Java, но может генерировать с равным успехом Java, C++, C# и др.

На сайте ANTLR есть пример грамматики C++ с семантическими действиями на C++.

Один из последних вопросов такого толка на clcm вызвал реакцию в духе: еще один, пытающийся найти holy grail. Регулярно появляются люди с желанием написать парсер С++. Для такой задачи, конечно, надо брать генератор парсеров типа Antlr, но вся ж сложность не в этом выборе. Грамматику нужно описать. С++ - язык с очень сложной грамматикой - это авторы признают, полного описания не смог придумать даже Комитет.

Короче говоря, это то же, что спросить: "как мне написать свою ОС".

Это сообщение отредактировал(а) Ulysses4j - 1.7.2007, 16:24

мм, замечательно, типа оказывается задача не имеет решения?..

Задача решаема, компиляторы C++ же существуют.
Просто грамматика C++ имеет массу неоднозначностей. Условие «без шаблонов» снимает значительную их часть.
Возможно, не все из оставшихся потребуют обязательного разрешения для данной задачи.

Я понимаю, что опоздал с ответом.
Но вдруг еще кому-то пригодится:
OpenC++ library. http://opencxx.sourceforge.net
VivaCore library. http://www.viva64.com/articles/VivaCore_Li..._%28rus%29.html
(А еще можно написать мне и я с интересом обсужу подобные вопросы. [email protected])

В сторону: мне тут SLK советовали в частности для прототипов грамматик. Строит табличный LL(k) парсер. В нём не надо описывать всякие "%token"'ы и даже вместо "|" правила ветвлят переводом строки. Правда он вроде платный.

По топику: nerezus, распарсил с++ или не стал заморачиваться?

nerezus, 

Я парсер C++ кода на перле писал, правда там задача посложнее была -- я отлавливал все функции классов и на основе их прописывал вызов. Шаблонные классы я пропустил, хотя сейчас уже придумал как и их задействовать.

Вобщем для готового парсера написали набор правил, взяв за основу правила C.
Распарсить надо было не все, поэтому справились. И модифицировали код через перегрузку. И собственно все работало ))


Теперь для себя решил написать компилер джавы. Именно компилер =)

Во что? 

Посмотри на размер исходников jikes'а , авось передумаешь  

Добавлено через 1 минуту и 1 секунду
(jikes - это старый компилятор явы в байткод, кажеццо ещё без поддержки генериков)

Это сообщение отредактировал(а) Mayk - 28.2.2008, 07:02

Void, в байткод. И написать под него VM. Только вот несовместимую с оригиналом.
Сейчас придумываю формат комманд и формат байткода.
И наконец-то первый раз, думаю, напишу сабж не на питоне ) А то получалось, что всегда подобное у меня само собой на питоне пишется )