Используйте Boost Phoenix в Ци, чтобы ссылаться на предыдущий матч в грамматике

Question

Я довольно новичок в Boost Spirit. В идеале я хотел бы удостовериться, что две ценности в моей грамматике одинаковы с использованием Phoenix. Опущенная версия того, что я пытаюсь получить, будет кортежем, где оба ints равны.

Я хотел бы, чтобы строка «14,14, test» была проанализирована, но «14,12, test» потерпела неудачу, так как 14 не равно 12. Мне нужен код ниже для печати:

Good: (14 14 test) 
Fail 

В настоящее время оба входа будут проходить с тех пор, как я разрешаю, и qi :: int_ для синтаксического анализа второго значения без каких-либо проверок.

#include <iostream> 
#include <boost/spirit/include/qi.hpp> 
#include <boost/spirit/include/phoenix.hpp> 
#include <boost/fusion/include/vector.hpp> 
#include <boost/spirit/include/qi_matches.hpp> 

#include <string> 
#include <vector> 
#include <algorithm> 

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


int main(){ 


    std::vector<std::string> test_inputs = {"14,14,test","14,12,test"}; 

    std::for_each(test_inputs.begin(),test_inputs.end(),[](const std::string& input){ 
     boost::fusion::vector<int,int,std::string> result; 
     int i(0); 

     auto res = qi::parse(input.begin(),input.end(), 
      //works but also parses "14,12,test" 
      qi::int_[phx::ref(i) = qi::_1] >> qi::lit(",") >> qi::int_ >> qi::lit(",") >> +qi::char_, 
      //Fails to compile 
      //qi::int_[phx::ref(i) = qi::_1] >> qi::lit(",") >> qi::int_(phx::val(i)) >> qi::lit(",") >> +qi::char_, 
      //qi::int_[phx::ref(i) = qi::_1] >> qi::lit(",") >> qi::int_(phx::ref(i)) >> qi::lit(",") >> +qi::char_, 
      result); 
     if(res){ 
      std::cout << "Good: " << result << std::endl; 
     } 
     else{ 
      std::cout << "Fail" << std::endl; 
     } 
    });   
} 

Я могу использовать ФЕНИКС :: реф, чтобы захватить первое значение, но я не могу понять, чтобы проверить мой второй ци :: int_ анализатор для значения двутавровых. Я пробовал использовать phoenix :: val и phoenix :: ref без компиляции удачи. В идеале я хотел бы зафиксировать значение во втором int и подумал, что парсер int_ возьмет ленивый литерал из Phoenix.

Спасибо за любую помощь по этому вопросу.

Answer 1

Самое простое исправление, чтобы поставить значение i подобран с первого ци :: int_ ко второй, т.е .:

qi::int_[phx::ref(i) = qi::_1] >> qi::lit(",") >> qi::int_(phx::ref(i)) >> qi::lit(",") >> +qi::char_, 

ци :: _ INT с параметром ожидает, что указанное значение.

Другой альтернативой рассмотрению является использование локальной локальной переменной. Вы можете сделать это:

typedef boost::fusion::vector<int,int,std::string> result_t; 
result_t result; 
qi::rule<std::string::const_iterator, result_t(), 
    boost::spirit::qi::locals<int> > r; 
r %= qi::int_[qi::_a = qi::_1] >> qi::lit(",") >> qi::int_(qi::_a) >> qi::lit(",") >> +qi::char_; 

Затем используйте вместо «r» вместо «r». Хотя я полагаю, что если вы просто намереваетесь запустить правило напрямую, используя qi :: parse, это не имеет смысла.