парсер boost:spirit::qi, использующий несколько грамматик и phoenix::construct

У меня возникли проблемы с написанием грамматики ци, которая использует другую грамматику ци. Аналогичный вопрос был задан здесь, но я также пытаюсь использовать phoenix::construct и испытываю трудности с компиляцией.

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

#include <boost/spirit/include/qi.hpp>
#include <boost/spirit/include/phoenix.hpp>
#include <boost/spirit/include/phoenix_core.hpp>
#include <boost/spirit/include/phoenix_container.hpp>
#include <boost/spirit/include/phoenix_statement.hpp>
#include <boost/spirit/include/phoenix_operator.hpp>
#include <cstdlib>
#include <iostream>


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

// grammar for real numbers
template <typename Iterator>
struct Real : qi::grammar<Iterator, long double()>
{
    qi::rule<Iterator, long double()> r;
    Real() : Real::base_type(r)
    {
        r %= qi::long_double;
    }
};

// grammar for complex numbers of the form a+bi
template <typename Iterator>
struct Complex : qi::grammar<Iterator, std::complex<long double>()>
{
    qi::rule<Iterator, std::complex<long double>()> r;
    Real<Iterator> real;
    Complex() : Complex::base_type(r)
    {
        r = real [qi::_a = qi::_1] >> (qi::lit("+") | qi::lit("-")) 
            >> real [qi::_b = qi::_1] >> -qi::lit("*") >> qi::lit("i")
            [
                qi::_val = phx::construct<std::complex<long double> >(qi::_a, qi::_b)
            ];
    }
};

int main()
{
    // test real parsing
    std::cout << "Parsing '3'" << std::endl;
    std::string toParse = "3";
    Real<std::string::iterator> real_parser;
    long double real_val;
    std::string::iterator beginIt = toParse.begin();
    std::string::iterator endIt = toParse.end();
    bool r = qi::parse(beginIt, endIt, real_parser, real_val);
    if(r && beginIt == endIt)
        std::cout << "Successful parse: " << real_val << std::endl;
    else
        std::cout << "Could not parse" << std::endl;

    // test complex parsing
    std::cout << "Parsing '3+4i'" << std::endl;
    toParse = "3+4i";
    Complex<std::string::iterator> complex_parser;
    std::complex<long double> complex_val;
    beginIt = toParse.begin();
    endIt = toParse.end();
    r = qi::parse(beginIt, endIt, complex_parser, complex_val);
    if(r && beginIt == endIt)
        std::cout << "Successful parse: " << real_val << std::endl;
    else
        std::cout << "Could not parse" << std::endl;
}

Я могу анализировать Complex, используя подход фразы_parse, продемонстрированный в документации Spirit, но я хотел бы иметь возможность легко интегрировать грамматику Complex в другие анализаторы (например, анализатор выражений). Есть ли что-то, что мне не хватает, что позволило бы мне анализировать реальные и сложные объекты как отдельные сущности, при этом имея возможность эффективно использовать их в других правилах/грамматиках?


c++ parsing boost-spirit-qi
person Dan Garant    schedule 08.04.2012    source источник

Ответы (1)


arrow_upward
2
arrow_downward

qi::_a и qi::_b представляют первую и вторую локальные переменные для правила. Эти переменные доступны только в том случае, если вы добавите qi::locals<long double, long double> в качестве параметра шаблона в объявление правила r (и в этом случае также и в qi::grammar..., так как начальное правило, передаваемое в конструктор грамматики, должно быть совместимо с грамматикой, т.е. иметь одинаковые параметры шаблона).

Ниже вы можете увидеть другую альтернативу без необходимости использования локальных переменных:

// grammar for complex numbers of the form a+bi
template <typename Iterator>
struct Complex : qi::grammar<Iterator, std::complex<long double>()>
{
    qi::rule<Iterator, std::complex<long double>()> r;
    Real<Iterator> real;
    Complex() : Complex::base_type(r)
    {
        r = (
                real  >> (qi::lit("+") | qi::lit("-"))
                >> real  >> -qi::lit("*") >> qi::lit("i")
            )
            [
                qi::_val = phx::construct<std::complex<long double> >(qi::_1, qi::_2)
            ];
    }
};

В этом случае семантическое действие привязано ко всей последовательности парсера, и мы можем получить нужные нам атрибуты с помощью заполнителей _N. Здесь qi::_1 относится к атрибуту, которому соответствует первый анализатор Real, а qi::_2 — ко второму.

Используя любую из альтернатив, мы можем использовать эти грамматики как обычно:

//using complex_parser, real_parser, complex_val and real_val declared in your code
std::cout << "Parsing 'variable=3+4i-2'" << std::endl;
toParse = "variable=3+4i-2";
beginIt = toParse.begin();
endIt = toParse.end();
std::string identifier;
r = qi::parse(beginIt, endIt, *qi::char_("a-z") >> '=' >> complex_parser >> '-' >> real_parser, identifier, complex_val, real_val);
if(r && beginIt == endIt)
    std::cout << "Successful parse: " << identifier << complex_val.real() << " " << complex_val.imag() << " " << real_val << std::endl;
else
    std::cout << "Could not parse" << std::endl;
person Community    schedule 07.07.2012
comment
Как-то пропустил этот качественный ответ раньше. Я очень рад видеть коллегу-эксперта (ха), интересующегося вопросами Boost (Spirit). Добро пожаловать в сообщество, @llonesmiz - person sehe; 11.09.2012