повышение духа, феникс :: push_back и функция в семантическом действии - PullRequest
Новая
       17

повышение духа, феникс :: push_back и функция в семантическом действии

0 голосов
/ 25 ноября 2018

Я пробую небольшой тестовый пример, который примет диапазон, такой как [5-3], затем вставлю 3, 4, 5 в вектор.Я могу думать только об использовании метода семантического действия.Однако мой способ кодирования с использованием phoenix :: push_back, похоже, не работает.Если я просто нажму число (например, «3» в тесте 3) или заполнитель (тест 2).Дух будет работать.Но если я использую цикл для нажатия.Тогда размер будет равен 0. В основном, там ничего нет. 

#include <fstream>
#include <iostream>
#include <vector>

#define BOOST_SPIRIT_USE_PHOENIX_V3
#include <boost/fusion/adapted/struct.hpp>
#include <boost/spirit/include/qi.hpp>
#include <boost/spirit/include/phoenix.hpp>

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

struct varVec
{
  std::vector<unsigned int> uintVec;
};

BOOST_FUSION_ADAPT_STRUCT(varVec,
                          (std::vector<unsigned int>, uintVec))

template<typename Iterator, typename Skipper>
struct listParser : public qi::grammar<Iterator,
                                       varVec(),
                                       Skipper>
{
  listParser() : listParser::base_type(varVecParse)
  {
    using namespace qi;

    varPair =
      uint_ [_a = _1]
      > '-'
      > uint_
      [
        // test 1
        px::bind([](uint lb, uint ub) {
            if (ub < lb) {
              uint temp = ub; ub  = lb; lb = temp; }
            for (unsigned int i = lb; i <= ub; i++)
            {
              px::push_back(qi::_val, i);
              std::cout << "i = " << i << std::endl;
            }
          },
          // parameters
          qi::_a, qi::_1)

        // test 2
        // px::push_back(_val, _1)
        // test 3
        // px::push_back(_val, 3)
        ]
      ;

    varVecParse = '['
      >> varPair
      >> ']'
      ;
  }

  qi::rule<Iterator, std::vector<unsigned int>(), qi::locals<unsigned int>,
           Skipper> varPair;
  qi::rule<Iterator, varVec(), Skipper> varVecParse;
};

int main()
{
  std::string input ("[ 6- 4]\n");
  std::string::const_iterator begin = input.begin();
  std::string::const_iterator end = input.end();

  listParser<std::string::const_iterator, qi::space_type> parser;

  varVec result;

  bool success = qi::phrase_parse(begin, end, parser, qi::space, result);

  unsigned int size = result.uintVec.size();
  std::cout << "size = " << size << std::endl;
  if (size > 0)
    std::cout << "val = " << result.uintVec[0] << std::endl;
  return 0;
}

Таким образом, функция состоит в том, чтобы сделать диапазон в порядке возрастания и вставить его в вектор без знака int.Я предполагаю, что у функции в семантическом действии есть проблема, но не уверен, в чем проблема.

1 Ответ

0 голосов
/ 25 ноября 2018

Вы должны иметь в виду, что хотя выражения Boost.Phoenix выглядят как "нормальные" выражения, они на самом деле ведут себя как лямбды, их нужно вызывать с любыми аргументами, которые им требуются для выполнения.См. Упрощенный пример : 

std::vector<int> val{};
using px::placeholders::arg1;

px::push_back(px::ref(val),1);
std::cout << val.size() << "\n"; //0

px::push_back(px::ref(val),1)();
std::cout << val.size() << "\n"; //1

px::push_back(arg1,1);
std::cout << val.size() << "\n"; //1

px::push_back(arg1,1)(val);
std::cout << val.size() << "\n"; //2

Ваш случай похож на arg1 примеры (но qi::_val немного сложнее).Когда выражения Phoenix используются внутри семантического действия синтаксического анализатора, они «автоматически» вызываются Spiritом с необходимыми им аргументами, а в вашем примере вы этого не делали, а uint s никогда не вставлялся в вектор.Вы не должны смешивать код Phoenix с «нормальным» кодом.Поэтому вам нужно избавиться от px::push_back (см. Wandbox ): 

#include <fstream>
#include <iostream>
#include <vector>

#define BOOST_SPIRIT_USE_PHOENIX_V3
#include <boost/fusion/adapted/struct.hpp>
#include <boost/spirit/include/qi.hpp>
#include <boost/spirit/include/phoenix.hpp>

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

struct varVec
{
  std::vector<unsigned int> uintVec;
};

BOOST_FUSION_ADAPT_STRUCT(varVec,
                          (std::vector<unsigned int>, uintVec))

template<typename Iterator, typename Skipper>
struct listParser : public qi::grammar<Iterator,
                                       varVec(),
                                       Skipper>
{
  listParser() : listParser::base_type(varVecParse)
  {
    using namespace qi;

    varPair =
      uint_ [_a = _1]
      > '-'
      > uint_
      [ //                 ADDED
        // test 1   vvvvvvvvvvvvvvvvvvvvvv
        px::bind([](std::vector<uint>& val, uint lb, uint ub) {
            if (ub < lb) {
              uint temp = ub; ub  = lb; lb = temp; }
            for (unsigned int i = lb; i <= ub; i++)
            {
              val.push_back(i); //<---CHANGED
              std::cout << "i = " << i << std::endl;
            }
          },
          // parameters
          qi::_val, qi::_a, qi::_1)
        //^^^^^^^^^
        // ADDED

        ]
      ;

    varVecParse = '['
      >> varPair
      >> ']'
      ;
  }

  qi::rule<Iterator, std::vector<unsigned int>(), qi::locals<unsigned int>,
           Skipper> varPair;
  qi::rule<Iterator, varVec(), Skipper> varVecParse;
};

int main()
{
  std::string input ("[ 6- 4]\n");
  std::string::const_iterator begin = input.begin();
  std::string::const_iterator end = input.end();

  listParser<std::string::const_iterator, qi::space_type> parser;

  varVec result;

  bool success = qi::phrase_parse(begin, end, parser, qi::space, result);

  unsigned int size = result.uintVec.size();
  std::cout << "size = " << size << std::endl;
  if (size > 0)
    std::cout << "val = " << result.uintVec[0] << std::endl;
  return 0;
}

Другая возможность (не рекомендуется) - использовать Boost.Phoenix до конца (см.на Wandbox ): 

...
qi::_1_type const upper;
qi::_a_type const lower;
px::local_names::_i_type const cont;

varPair =
  uint_ [lower = _1]
  > '-'
  > uint_
  [
    px::if_(upper<lower)[px::swap(lower,upper)],
    px::let(cont=lower)
    [
        px::for_(px::nothing,cont<=upper,++cont)
        [
            px::push_back(qi::_val,cont),
            px::ref(std::cout) << "i = " << cont << std::endl
        ]
     ]
   ]
  ;
...

PS: Еще одна возможность может иметь дело с генерацией вектора на шаге после разбора.Таким образом, во время синтаксического анализа вы просто сохраняете границы диапазона, а затем вы легко генерируете вектор, который вам действительно нужен.

...