boost::spirit: 如何编写解析 2 个字符串并将它们“组合”成一个的解析器？

Question

我有一个 qi::symbol<char, std::string> escapedDoubleQuote 可以将双精度 "" 转换为 \"。

我尝试将其用于更复杂的解析器，并希望结果仍然是单个字符串。但没有成功。我试过有无qi::lexeme、qi::as_string和qi::as<std::string>。

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

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

struct escapedDoubleQuote_ : qi::symbols<char, std::string >
{
    escapedDoubleQuote_()
    {
        add("\"\"", "\\\"");
    }
} escapedDoubleQuote;

template<typename Iterator>
struct MyGrammar : qi::grammar<Iterator, std::string()>
{
    MyGrammar() : MyGrammar::base_type(escapedField)
    {
        subField = +(~qi::char_("\""));
        escapedField =
                qi::lexeme[  // or qi::as<std::string> ... both seems to do nothing.
                    subField
                    >> -(escapedDoubleQuote >> escapedField)
                ];
    }

    qi::rule<Iterator, std::string()> subField;
    qi::rule<Iterator, std::string()> escapedField;
};

int main()
{
    typedef std::string::const_iterator iterator_type;
    typedef MyGrammar<iterator_type> parser_type;
    parser_type parser;

    std::string input = "123\"\"456\"\"789";
    std::string output;
    iterator_type it = input.begin();
    bool parsed = parse(
            it,
            input.cend(),
            parser,
            output
    );

    if(parsed && it == input.end())
    {
        std::cout << output << std::endl;
        // expected: 123\"456\"789
        // actual  : \"789
    }

    return 0;
}

最后，我想使用解析器并输出一个std::string。在示例中123\"\"456\"\"789 应该输出123\"456\"789。

---

注意：我知道我可以将escapedDoubleQuote 定义为qi::symbols<char, std::vector<char> > 以便实现结果，但我想了解是否以及如何组合字符串。

Answer 1

正如@cv_and_he 所建议的，“原子”赋值行为源于暴露的属性类型 (std::vector<char>) 到 std::string 的转换。

具体来说就是escapedField的声明属性，因为递归调用的时候会创建不兼容的综合属性组合：[std::vector<char>, std::string, std::string]

如果您可以保持属性“相等”，则可以解决问题：

MyGrammar() : MyGrammar::base_type(start)
{
    subField     = +(~qi::char_("\""));
    escapedField = subField >> -(escapedDoubleQuote >> escapedField);
    start        = escapedField;
}

qi::rule<Iterator, std::vector<char>()> subField, escapedField;
qi::rule<Iterator, std::string()> start;

看Live On Coliru

（我删除了lexeme，因为您在示例代码中没有跳过，请参阅Boost spirit skipper issues）