парсер для BNF в программе на с++

boost::spirit

+много. только стоит брать 2-ю версию, в ней много улучшений

lex, yacc. или комбинаторы из boost.spirit, как выше уже посоветовали

А я выпендрюсь и скажу Ragel :)

ну тогда еще antlr ;-)

Только Boost.Spirit.

lex/yacc как бы поддерживают C++, но генерируют код, который совершенно не вписывается в нормальный код на C++.

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

> Вписывается прекрасно, просто маны читать надо.

Читал я эти ваши маны. Нормальный exception safety реализовать --- целая проблема.

Но вроде бы топикстартеру нужно парсить в рантайме, а не в компайлтайме.

А что, lex/yacc умеют динамически менять грамматику?

А что, lex/yacc умеют динамически менять грамматику?

вот именно поэтому флекс с бизоном не подойдут.

Честно говоря, я не понимаю, из какой строки сообщения следует необходимость в смене грамматики.

эх, на форте вот парсер EBNF простой и понятный

BNFC умеет: cм C++ mode

недавно он вошёл в GF

внезапно, может быть, хорошо подойдёт GOLD вики примеры

ANTLR неплох, в связке с clojure... есть грамматика clojure, но в ANTLR есть CommonTree.toStringTree(), которая дампит AST в виде S-выражений

но ANTLR — это тяжёлая артилерия: LL(k), LL(*), семантические предикаты. Чтобы им нормально пользоваться, надо прочитать книжку и много примеров.

Это не (E)BNF, поэтому грамматику надо будет адаптировать, хотя это не сложно.

Внезапно, можно взять bison, yacc, и т.п. (cм. википедию)

возможно ли получить разобранную структуру (в програме на с++) для дальнейшего анализа?

Половина генераторов парсеров умеют это делать — автоматически или полуавтоматически строить AST (Abstract Syntax Tree, ещё бывает CST или дерево разбора, parse tree)

ещё есть RPA

парсер для ABNF: APG