Как я могу реализовать const в Boost Spirit?

Question

Как я могу реализовать const в Boost Spirit?

В настоящее время я заинтересован в Boost Spirit и пытаюсь что-то построить. Можем ли мы реализовать что-то вроде const в C ++, используя Spirit? Например, пользователь будет определять элемент как;

constant var PROG_LANG="Java";

«постоянная переменная» кажется странной, я согласен, но вы поняли. Я искал в интернете, но ничего не нашел по этому поводу.

2

boost-spirit c++compiler-construction grammar

Решение

Другие решения

Я не правильно поняла ваш вопрос, spirit является синтаксическим анализатором, и это не имеет никакого отношения к значению constant он может только анализировать его, но если вы имеете в виду анализировать необязательную переменную, такую как constant тогда это может быть что-то строка:

namespace qi = boost::spirit::qi;
namespace phx = boost::phoenix;

typedef std::string::const_iterator it;
struct var_definition {
bool is_constant;
std::string name;
std::string value;
var_definition() : is_constant( false ) {}
};
qi::rule<it, std::string()> identifier;
qi::rule<it, std::string()> identifier_value;
qi::rule<it, var_definition(), boost::spirit::ascii::space_type> vdef;

void mark_var_as_constant(var_definition& vd) {vd.is_constant=true;}
void set_var_name(var_definition& vd, std::string const& val) {vd.name=val;}
void set_var_value(var_definition& vd, std::string const& val) {vd.value=val;}

vdef %=
-qi::lit("constant")[phx::bind(mark_var_as_constant, qi::_val)] >>
qi::lit("var") >>
identifier[phx::bind(set_var_name, qi::_val, qi::_1)] >>
qi::char_('=') >>
identifier_value[phx::bind(set_var_value, qi::_val, qi::_1)] >>
qi::char_(';');

Конечно, есть и другие способы, например:

(qi::lit("constant")[phx::bind(mark_var_as_constant, qi::_val)] | qi::eps)

И самое простое это:

qi::hold[ qi::lit("constant")[phx::bind(mark_var_as_constant, qi::_val)] ]

1

Источник

Accepted Answer

Что сказал BigBoss 🙂

Только я бы обошелся без семантических действий — сделать его гораздо менее … многословным (см. Также Boost Spirit: "Семантические действия злые"?):

vdef =
("constant" >> attr(true) | attr(false)) >>
"var" >> identifier >> '=' >> identifier_value >> ';' ;

Это все. Это использует qi::attr для учета по умолчанию (отсутствует constant ключевое слово).

Вот полная демонстрация с выводом:

http://liveworkspace.org/code/c9e4bef100d2249eb4d4b88205f85c4b

Выход:

parse success: 'var myvariable = "has some value";'
data: false;myvariable;has some value;
parse success: 'constant var myvariable = "has some value";'
data: true;myvariable;has some value;

Код:

#include <boost/fusion/adapted.hpp>
#include <boost/spirit/include/qi.hpp>
#include <boost/spirit/include/karma.hpp>

namespace qi    = boost::spirit::qi;
namespace karma = boost::spirit::karma;
namespace phx   = boost::phoenix;

struct var_definition {
bool is_constant;
std::string name;
std::string value;

var_definition() : is_constant( false ) {}
};

BOOST_FUSION_ADAPT_STRUCT(var_definition, (bool, is_constant)(std::string, name)(std::string, value))void doParse(const std::string& input)
{
typedef std::string::const_iterator It;

qi::rule<It, std::string()> identifier, identifier_value;
qi::rule<It, var_definition(), qi::space_type> vdef;

{
using namespace qi;

identifier_value = '"' >> lexeme [ +~char_('"') ] > '"';
identifier       = lexeme [ +graph ];
vdef             =
("constant" >> attr(true) | attr(false)) >>
"var" >> identifier >> '=' >> identifier_value >> ';' ;
}

var_definition data;

It f(std::begin(input)), l(std::end(input));
bool ok = qi::phrase_parse(f,l,vdef,qi::space,data);
if (ok)
{
std::cout << "parse success: '" << input << "'\n";
std::cout << "data: " << karma::format_delimited(karma::auto_, ';', data) << "\n";
}
}

int main()
{
doParse("var myvariable = \"has some value\";");
doParse("constant var myvariable = \"has some value\";");
}

3