Атрибуты оператора последовательности и списка в boost.spirit qi?

Я хочу разобрать что-то вроде

"{xxxx}
{xxxx}"

который разделяется eol на vector<vector<wchar_t>>: ({xxxx},{xxxx}), так что "{" и "}" остаются вместе с внутренними символами. Мой код:

#define BOOST_SPIRIT_UNICODE

#include <iostream>
#include<boost/spirit/include/qi.hpp>
#include<string>
#include<vector>

using namespace std;
namespace sw=boost::spirit::standard_wide;
namespace qi= boost::spirit::qi;
using boost::spirit::standard_wide::char_;

int main()
{
    wstring s = L"{\"id\":23,\"text\":\"sf\nsf\"}\n{\"id\":23,\"text\":\"sfsf\"}";
    qi::rule<wstring::iterator, vector<vector<wchar_t>>(), sw::blank_type> ru;
    ru = (qi::char_(L"{") >> *(char_-char_(L"}")) >> char_(L"}")) % qi::eol;
    vector<vector<wchar_t>> result;
    qi::phrase_parse(s.begin(), s.end(), ru, sw::blank, result);

    for (auto& v : result) {
        //cout << "Size of string: " << v.size() << endl;
        for (auto& s : v) {
            wcout << s;
        };
        cout << endl;
    };
    std::cout << "Size of result"<<result.size()<<endl ;
}

Однако выход:

{
"id":23,"text":"sf
sf"
}
{
"id":23,"text":"sfsf"
}
Size of result6

Похоже, что "{" становится единственным элементом типа vector<wchar_t> для внешнего вектора.

Тогда рассмотрим правило:

ru = (qi::char_(L"{") >> *(char_-char_(L"}")) >> char_(L"}")) % qi::eol;

Согласно документации, *(char_-char_(L"}")) должно быть vector<A>. А поскольку a: A, b: vector<A> --> (a >> b): vector<A>, то я думаю, что (qi::char_(L"{") >> *(char_-char_(L"}")) >> char_(L"}")) должно быть vector<wchar_t>. Это связано с результатом.

Где я не прав?


c++ boost-spirit-qi
person kilasuelika    schedule 12.10.2019    source источник

Ответы (1)


arrow_upward
2
arrow_downward

И поскольку a: A, b: vector -> (a >> b): vector, то я думаю, что (qi :: char_ (L "{") >> * (char_-char_ (L "}")) >> char_ (L "}")) должен быть векторным. Это связано с результатом.

На самом деле это не то, что происходит. Применяя модернизированный трюк из Обнаружение типов параметров в семантическое действие Spirit

struct sense_f {
    template <typename T> void operator()(T&&) const {
        std::cout << boost::core::demangle(typeid(T).name()) << "\n";
    }
};
static const boost::phoenix::function<sense_f> sense;

Мы можем распечатать фактический тип атрибута:

ru = (char_(L'{') >> *(char_ - char_(L'}')) >> char_(L'}')) [sense(qi::_0)] % qi::eol;

Будет напечатано Live On Coliru :

boost::fusion::vector<wchar_t, std::vector<wchar_t, std::allocator<wchar_t> >, wchar_t>

Простое решение

Предполагая, что вам не нужно захватывать {}, вы можете просто сделать их литералами вместо char_:

ru = (L'{' >> *(char_ - L'}') >> L'}') [sense(qi::_0)] % qi::eol;

Будет напечатано Live On Coliru :

boost::fusion::vector<std::vector<wchar_t, std::allocator<wchar_t> >&>

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

ru %= (L'{' >> *(char_ - L'}') >> L'}') [sense(qi::_0)] % qi::eol;

Программа печатает:

boost::fusion::vector<std::vector<wchar_t, std::allocator<wchar_t> >&>
boost::fusion::vector<std::vector<wchar_t, std::allocator<wchar_t> >&>
"\"id\":23,\"text\":\"sf
sf\""
"\"id\":23,\"text\":\"sfsf\""

Обратите внимание, что между std::vector<wchar_t> и std::wstring существует совместимость атрибутов, поэтому я использовал последний.

Бонус

Если вы ДЕЙСТВИТЕЛЬНО хотите включить {} и любые промежуточные пробелы, используйте qi::raw:

ru %= qi::raw [L'{' >> *(char_ - L'}') >> L'}'] [sense(qi::_0)] % qi::eol;

Теперь он печатает:

boost::fusion::vector<boost::iterator_range<__gnu_cxx::__normal_iterator<wchar_t const*, std::__cxx11::basic_string<wchar_t, std::char_traits<wchar_t>, std::allocator<wchar_t> > > >&>
boost::fusion::vector<boost::iterator_range<__gnu_cxx::__normal_iterator<wchar_t const*, std::__cxx11::basic_string<wchar_t, std::char_traits<wchar_t>, std::allocator<wchar_t> > > >&>
"{\"id\":23,\"text\":\"sf
sf\"}"
"{\"id\":23,\"text\":\"sfsf\"}"

Как видите, даже iterator_range<It> имеет совместимость атрибутов с std::wstring, потому что входные данные также являются последовательностью wchar_t.

Конечно, отключите действие sense, если вам не нужен этот результат.

Полный список

Окончательный результат с использованием подхода qi::raw:

Live On Coliru

#define BOOST_SPIRIT_UNICODE

#include <boost/spirit/include/qi.hpp>
#include <iostream>
#include <iomanip>
#include <string>
#include <vector>

namespace sw = boost::spirit::standard_wide;
namespace qi = boost::spirit::qi;
using sw::char_;

int main() {
    std::wstring s = LR"({"id":23,"text":"sf
sf"}
{"id":23,"text":"sfsf"})";

    using Data = std::vector<std::wstring>;
    using It = std::wstring::const_iterator;

    qi::rule<It, Data(), sw::blank_type> ru
        = qi::raw [L'{' >> *(char_ - L'}') >> L'}'] % qi::eol;

    Data result;
    It f = s.begin(), l = s.end();

    if (qi::phrase_parse(f, l, ru, sw::blank, result)) {
        for (auto& s : result) {
            std::wcout << std::quoted(s) << std::endl;
        };
    } else {
        std::wcout << "Parse failed\n";
    }

    if (f!=l) {
        std::wcout << L"Remaining unparsed: " << std::quoted(std::wstring(f,l)) << std::endl;
    }
}
person sehe    schedule 12.10.2019