boost::spirit compile проблема с BOOST_FUSION_ADAPT_STRUCT

Question

Я очень новый, чтобы повысить:: дух / слияние. Может кто-нибудь объяснить мне, почему следующее не компилируется? Он компилируется и работает нормально, если я поставлю m_name а также m_settings переменные прямо в структуре config, но не компилируется, когда я разделяю их на две разные структуры. Что мне не хватает?

Кстати, строка кода, которая заставляет компилятор извергать газиллион boost::spirit errors is: cfg = section >> node;

#include <boost/config/warning_disable.hpp>
#include <boost/spirit/include/qi.hpp>
#include <boost/spirit/include/phoenix_core.hpp>
#include <boost/spirit/include/phoenix_operator.hpp>
#include <boost/spirit/include/phoenix_fusion.hpp>
#include <boost/spirit/include/phoenix_stl.hpp>
#include <boost/fusion/include/adapt_struct.hpp>

#include <iostream>
#include <string>
#include <vector>

namespace qi = boost::spirit::qi;
namespace fusion = boost::fusion;
namespace phoenix = boost::phoenix;
namespace ascii = boost::spirit::ascii;

struct config_section
{
  std::string m_name;
  std::string m_settings;
};

struct config
{
  config_section m_sections;
};

BOOST_FUSION_ADAPT_STRUCT(
    config_section,
    (std::string, m_name)
    (std::string, m_settings)
)

BOOST_FUSION_ADAPT_STRUCT(
    config,
    (config_section, m_sections)
)

template <typename Iterator>
struct config_grammar : qi::grammar<Iterator, config(), ascii::space_type>
{
  config_grammar() : config_grammar::base_type(cfg)
  {
    using qi::lexeme;
    using qi::lit;
    using ascii::string;
    using ascii::char_;
    using namespace qi::labels;

    section %= '[' >> lexeme[+(char_ - ']')] >> ']';

    node %= !lit('[') >> lexeme[+(char_ - '\n')];

    cfg %= section >> node;
  }

  qi::rule<Iterator, config(), ascii::space_type> cfg;
  qi::rule<Iterator, std::string(), ascii::space_type> node;
  qi::rule<Iterator, std::string(), ascii::space_type> section;
};

template <typename Iterator>
bool parse_config(Iterator first, Iterator last)
{
  using qi::double_;
  using qi::phrase_parse;
  using ascii::space;
  using boost::phoenix::ref;

  config result;
  config_grammar<Iterator> config_parser;

  bool r = phrase_parse(first, last, config_parser, space, result);
  if (first != last) // fail if we did not get a full match
    return false;

  return r;
}

int main()
{
  std::string input = "[section]\nstuff";

  bool b = parse_config(input.begin(), input.end());

  if (b)
    std::cout << "Success" << std::endl;
  else
    std::cout << "Failure" << std::endl;

  return 0;
}

Спасибо!

Answer 1

Кажется, проблема в том, что вы не указываете, как конвертировать из config_section в конфиг. Вы сказали духу, что раздел config_section состоит из 2 строк, но попробуйте проанализировать конфигурацию без правила, чтобы связать преобразование между config и разделом config_section. Это похоже на компиляцию.

template <typename Iterator>
struct config_grammar : qi::grammar<Iterator, config(), ascii::space_type>
{
  config_grammar() : config_grammar::base_type(cfg)
  {
    using qi::lexeme;
    using qi::lit;
    using ascii::string;
    using ascii::char_;
    using namespace qi::labels;

    section %= '[' >> lexeme[+(char_ - ']')] >> ']';

    node %= !lit('[') >> lexeme[+(char_ - '\n')];

    //create a rule to specify conversion of a config_section to a config
    cfg %= cfg_sec;
    //this a now a cfg_sec (which is what you declared to be composed of 2
    //  strings)
    cfg_sec %= section >> node;
  }

  qi::rule<Iterator, config(), ascii::space_type> cfg;
  //add new declaration here for cfg_sec
  qi::rule<Iterator, config_section(), ascii::space_type> cfg_sec;
  qi::rule<Iterator, std::string(), ascii::space_type> node;
  qi::rule<Iterator, std::string(), ascii::space_type> section;
};

Answer 2

Проблема в том, что атрибут для вашего cfg править и для config_grammar грамматика не config, но (насколько я понимаю - потому что это две последовательные строки) config_section, После этой замены:

struct config_grammar : qi::grammar<Iterator, config_section(), ascii::space_type>
....
qi::rule<Iterator, config_section(), ascii::space_type> cfg;

Это компилируется.

Я бы посоветовал вам больше узнать об атрибутах правил и о том, как они работают, иначе вы потеряетесь все время.