Question

我想使用Boost.Spirit扩展xml解析，并希望添加xml属性的解析。

这里有来自图书馆的例子和我的一些修改：

template <typename Iterator>
struct mini_xml_grammar
: qi::grammar<Iterator, mini_xml(), qi::locals<std::string>, ascii::space_type>
{
    mini_xml_grammar()
    : mini_xml_grammar::base_type(xml, "xml")
    {
        using qi::lit;
        using qi::lexeme;
        using qi::attr;
        using qi::on_error;
        using qi::fail;
        using ascii::char_;
        using ascii::string;
        using ascii::alnum;
        using ascii::space;

        using namespace qi::labels;

        using phoenix::construct;
        using phoenix::val;


        text %= lexeme[+(char_ - '<')];
        node %= xml | text;


        start_tag %=
        '<'
        >>  !lit('/')
        >   lexeme[+(char_ - '>')]
        >   '>'
        ;

        end_tag =
        "</"
        >   string(_r1)
        >   '>'
        ;

        xml %=
        start_tag[_a = _1]
        >   *node
        >   end_tag(_a)
        ;

        xml.name("xml");
        node.name("node");
        text.name("text");
        start_tag.name("start_tag");
        end_tag.name("end_tag");

        on_error<fail>
        (
         xml
         , std::cout
         << val("Error! Expecting ")
         << _4                               // what failed?
         << val(" here: \"")
         << construct<std::string>(_3, _2)   // iterators to error-pos, end
         << val("\"")
         << std::endl
         );
    }

    qi::rule<Iterator, mini_xml(), qi::locals<std::string>, ascii::space_type> xml;
    qi::rule<Iterator, mini_xml_node(), ascii::space_type> node;
    qi::rule<Iterator, std::string(), ascii::space_type> text;
    qi::rule<Iterator, std::string(), ascii::space_type> attribute;
    qi::rule<Iterator, std::string(), ascii::space_type> start_tag;
    qi::rule<Iterator, void(std::string), ascii::space_type> end_tag;
};

我已经尝试了这个，但它没有编译错误“使用未声明的标识符'eps'”：

        xml %= 
        start_tag[_a = _1] 
        > attribute 
        > (  "/>" > eps
            |  ">" > *node > end_tag(_a) 
            )
        ;

有谁知道怎么做？如何添加解析xml属性的能力？

Answer 1

eps标识符与您使用的许多其他标识符一样，在qi命名空间中定义。使用构造函数顶部的using语句将其他名称带入全局名称空间。对eps执行相同的操作：

using qi::eps;

一旦解决了这个问题，你就会面临更大的问题，即你是否正确地表达了XML的语法和语法。它看起来不像你说得对。你有这个：

xml %= 
      start_tag[_a = _1]
    > attribute
    > (   "/>" > eps
        | ">" > *node > end_tag(_a)
      )
    ;

但这不可能是正确的。属性是标记的一部分，而不是关注标记的内容。看起来你想打破start_tag appart，这样你就可以处理空标签了。如果我这样做，我可能会创建一个empty_tag规则，然后将xml更改为empty_tag | (start_tag > *node > end_tag)。 the W3C language recommendation就是这样做的：

[39]  element   ::= EmptyElemTag
                    | STag content ETag

但现在不要担心。请记住，您声明的任务是将属性添加到解析器中。不要被其他缺失的功能分心。有很多可以在以后工作。

我提到了W3C文件。你应该经常提到这一点;它定义了语言，甚至还显示了语法。 Spirit的设计目标之一是它应该看起来像语法定义。通过尝试在您自己的代码中模仿W3C语法，将其用于您的优势。 W3C defines the start tag是这样的：

[40]  STag      ::= '<' Name (S Attribute)* S? '>'
[41]  Attribute ::= Name Eq AttValue

所以写下你的代码：

start_tag %=
    // Can't use operator> for "expect" because empty_tag
    // will be the same up to the final line.
       '<'
    >> !lit('/')
    >> name
    >> *attribute
    >> '>'
    ;

name %= ...; // see below

attribute %=
      name
    > '='
    > attribute_value
    ;

规范定义了属性值语法：

[10]  AttValue  ::= '"' ([^<&"] | Reference)* '"'
                    |  "'" ([^<&'] | Reference)* "'"

我还不担心实体引用。与空标签一样，您当前的代码已经不支持它们，因此现在将它们添加为属性的一部分并不重要。这使attribute_value易于定义：

attribute_value %=
      '"' > *(char_ - char_("<&\"")) > '"'
    | '\'' > *(char_ - char_("<&'")) > '\''
    ;

name定义不一定是任何花哨的东西。它在规范中很复杂，因为它处理完整的Unicode字符范围，但是你可以从更简单的东西开始，稍后再回过头来，当你弄清楚如何在整个解析器中处理Unicode字符时。

name %=
    lexeme[char_("a-zA-Z:_") >> *char_("-a-zA-Z0-9:_")]
    ;

这些更改应该允许您解析XML属性。然而，将结果提取为 Spirit 属性是另一回事（因此您可以知道程序其余部分中给定标记的属性名称和值），以及我现在不准备讨论这个问题。

Boost.Spirit，如何扩展xml解析？

1 个答案: