boost :: spirit :: qi :: грамматика разбора не работает должным образом
Я пытаюсь написать грамматику для разбора следующего синтаксиса:
// - command
// - command value0 ... valueN
// - command -arg0 ... -argN
// - command -arg0 value0 ... valueN ... -argN value0 ... valueN
- Каждый элемент должен интерпретироваться как строка
- Внутри строки разрешены все символы
- Между командой, аргументом и значением допускается наличие нескольких пробелов
- Аргумент всегда начинается с ‘-‘
-
Результаты должны храниться в структуре:
struct Data { std::string m_command; std::map< std::string, std::vector< std::string > m_arg; }- m_command должен хранить проанализированную команду
- m_arg должен хранить проанализированный аргумент и соответствующие значения в векторе
Я добавил свою текущую грамматику в короткий пример Вот
Моя проблема:
Вектор содержит больше записей, чем доступных значений, поскольку пробелы также интерпретируются как значения
Решение
Не совсем понятно, как вы хотите, чтобы грамматик функционировал…, но из целевой структуры данных у меня сложилось впечатление, что все может быть значительно упрощено
- используя шкипер (см. Повысьте проблемы со шкипером для фона)
-
использование автоматического распространения атрибутов вместо феникса (см. также Boost Spirit: "Семантические действия злые"?).
token = +~char_("\r\n -"); values = +token; // entry = (lexeme['-' >> token] >> -values | attr("empty") >> values); args = *entry; // data = skip(qi::blank) [ token >> args ];
В приведенном ниже примере я использовал адаптацию Fusion, чтобы включить автоматическое распространение атрибутов (которое сразу же включает отладочный вывод с
#define BOOST_SPIRIT_DEBUG
//#define BOOST_SPIRIT_DEBUG
#include <boost/fusion/adapted.hpp>
#include <boost/spirit/include/qi.hpp>
#include <map>
#include <string>
#include <vector>
// Structure stores the parsed command line information:
struct CmdData
{
typedef std::string Name;
typedef std::string ArgName;
typedef std::string Value;
typedef std::vector<Value> Values; // Type defines a list of values:
typedef std::map<ArgName, Values> Args; // Type defines a map storing the relation between a argument and the corresponding values:
Name cmd; // Stores the command name as a string.
Args arg; // Stores the arguments and the corresponding values as strings.
};
BOOST_FUSION_ADAPT_STRUCT(CmdData, (CmdData::Name, cmd)(CmdData::Args, arg))
namespace Grammar
{
namespace qi = boost::spirit::qi;
// This class implements the grammar used to parse a command line.
// The expected format is as follows:
// - command
// - command value0 ... valueN
// - command -arg0 ... -argN
// - command -arg0 value0 ... valueN ... -argN value0 ... valueN
template <typename It>
struct decode : qi::grammar<It, CmdData()>
{
decode() : decode::base_type(data)
{
using namespace qi;
token = +~char_("\r\n -");
values = +token;
//
entry = (lexeme['-' >> token] >> -values | attr("empty") >> values);
args = *entry;
//
data = skip(qi::blank) [ token >> args ];
BOOST_SPIRIT_DEBUG_NODES( (token)(values)(entry)(args)(data) )
}
private:
qi::rule<It, CmdData()> data;
// The following variables define the rules used within this grammar:
typedef std::pair<CmdData::ArgName, CmdData::Values> Entry;
qi::rule<It, CmdData::Values(), qi::blank_type> values;
qi::rule<It, Entry(), qi::blank_type> entry;
qi::rule<It, CmdData::Args(), qi::blank_type> args;
// lexemes
qi::rule<It, std::string()> token;
};
} // namespace
bool parse(const std::string& in)
{
CmdData data;
// Create an instance of the used grammar:
Grammar::decode<std::string::const_iterator> gr;
// Try to parse the data stored within the stream according the grammar and store the result in the tag variable:
bool b = boost::spirit::qi::parse(in.begin(), in.end(), gr, data);
std::cout << "Parsing: '" << in << "' ok: " << std::boolalpha << b << "\n";
if (b)
std::cout << "Entries parsed: " << data.arg.size() << "\n";
return b;
}
int main()
{
parse(" cmd0");
parse(" cmd0 -23.0 value0 value1 value2");
parse(" cmd0 -arg0 -arg1 -arg2");
parse(" cmd0 -arg0 value0 -arg1 value0 value1 -arg2 value0 value1 value2");
}
Печать
Parsing: ' cmd0' ok: true
Entries parsed: 0
Parsing: ' cmd0 -23.0 value0 value1 value2' ok: true
Entries parsed: 1
Parsing: ' cmd0 -arg0 -arg1 -arg2' ok: true
Entries parsed: 3
Parsing: ' cmd0 -arg0 value0 -arg1 value0 value1 -arg2 value0 value1 value2' ok: true
Entries parsed: 3
(с отключенным отладочным выходом)
¹ (например, является -23.0 явно вариант или нет)
Другие решения