解析后面的表达式：
"asd {img} {ref I}sdkflsdlk {img} wmrwerml"
我有这样的代码：
struct CMyTag
{
std::string tagName;
std::string tagData;
};
BOOST_FUSION_ADAPT_STRUCT(::CMyTag, (std::string, tagName) (std::string, tagData));
struct fillMyTag
{
template <typename A, typename B = boost::spirit::unused_type, typename C = boost::spirit::unused_type, typename D = boost::spirit::unused_type>
struct result { typedef void type; };
void operator()(::CMyTag& _tag, const std::string& _name, const std::string& _type) const
{
_tag.tagName = _name;
_tag.tagData = _type;
}
};
template <typename Iterator>
struct testTag_grammar : qi::grammar<Iterator, std::vector<CMyTag>()>
{
testTag_grammar() :
testTag_grammar::base_type(data)
{
data = (text | imgtag | vartag | inctag | blktag | reftag) >> *data;
imgtagraw %= '{' >> qi::lit("img") >> *(+qi::lit(' ') >> lexeme[+(char_ - '{' - '}')]) >> '}';
imgtag = imgtagraw[op(qi::labels::_val, "img", boost::spirit::_1)];
vartagraw %= '{' >> qi::lit("var") >> *(+qi::lit(' ') >> lexeme[+(char_ - '{' - '}')]) >> '}';
vartag = vartagraw[op(qi::labels::_val, "var", boost::spirit::_1)];
inctagraw %= '{' >> qi::lit("inc") >> *(+qi::lit(' ') >> lexeme[+(char_ - '{' - '}')]) >> '}';
inctag = inctagraw[op(qi::labels::_val, "inc", boost::spirit::_1)];
blktagraw %= '{' >> qi::lit("blank") >> *(+qi::lit(' ') >> lexeme[+(char_ - '{' - '}')]) >> '}';
blktag = blktagraw[op(qi::labels::_val, "blk", boost::spirit::_1)];
reftagraw %= '{' >> lexeme[("ref")] >> *(+qi::lit(' ') >> lexeme[+(char_ - '{' - '}')]) >> '}';
reftag = reftagraw[op(qi::labels::_val, "ref", boost::spirit::_1)];
textraw %= lexeme[+(char_ - '{' - '}')];
text = textraw[op(qi::labels::_val, "text", boost::spirit::_1)];
}
qi::rule<Iterator, std::string()> imgtagraw, vartagraw, inctagraw, blktagraw, reftagraw, textraw;
qi::rule<Iterator, CMyTag()> imgtag, vartag, inctag, blktag, reftag, text;
qi::rule<Iterator, std::vector<CMyTag>()> data;
boost::phoenix::function<fillMyTag> op;
};
解析器的用法：
testTag_grammar<std::string::iterator> l_gramar;
std::string l_test = "asd {img} {ref I}sdkflsdlk {img} wmrwerml";
std::vector<CMyTag> l_result;
bool result = qi::parse(l_test.begin(), l_test.end(), l_gramar, l_result);
结果我希望得到一个CmyTag结构列表，但是代码编译失败了：
Error 1 error C2440: 'static_cast' : cannot convert from 'const std::vector<CMyTag,std::allocator<_Ty>>' to 'CMyTag' d:\lib\boost\include\boost-1_57\boost\spirit\home\qi\detail\assign_to.hpp 152 1 TestSpiritParser
当我更改数据规则时：
data = ((text | imgtag | vartag | inctag | blktag | reftag)[opvec(qi::labels::_val, boost::spirit::_1)]) >> *data;
定义opvec：
struct fillMyVec
{
template <typename A, typename B = boost::spirit::unused_type, typename C = boost::spirit::unused_type, typename D = boost::spirit::unused_type>
struct result { typedef void type; };
void operator()(std::vector<CMyTag>& _tagvec, const CMyTag& _name) const
{
_tagvec.push_back(_name);
}
void operator()(std::vector<CMyTag>& _tagvec, std::vector<CMyTag>& _name) const
{
_tagvec.insert(_tagvec.end(), _name.begin(), _name.end());
}
};
boost::phoenix::function<fillMyVec> opvec;
代码开始编译成功，但作为运行的结果，我得到的列表中只有一个项目。同样在修改之前，当CMytag类型只是std :: string时，我得到了一个std :: string列表，其中包含正确的项目数，
现在我不知道错误是什么，以及如何解决问题
答案 0 :(得分：2)
首先，我只能假设
data = (text | imgtag | vartag | inctag | blktag | reftag) >> *data;
/表示/作为（...）表达式的1或更多重复。把它写成
data = +(text | imgtag | vartag | inctag | blktag | reftag);
表示相同，但允许属性传播与公开属性类型匹配。
在不使用船长时，有许多lexeme[]指令没有用处
使用船长可能会更好地提供空白的可疑手动摘录
如果您希望在＆＃34;标记名称＆＃34;之后要求必填空格，请考虑使用operator&运算符。这样你仍然可以使用船长。
无论如何，您可能正在寻找像Qi Repository distinct()[] parser directive
即使有船长
*(+lit(' ') >> lexeme[+(char_ - '{' - '}')])
没有意义，因为lexeme[...]会占用任何空间直至关闭＆＃39;}＆＃39;因此*()的第二次重复永远不会适用。
规则之间有很多手动重复。请考虑使用qi::symbols将输入映射到标记类型。
如果这样做，则更容易避免语义操作（Good Thing：Boost Spirit: "Semantic actions are evil"?）。即使您没有，也可以使用qi::attr将特定值公开为type值。
考虑添加调试信息（请参阅下面演示中的BOOST_SPIRIT_DEBUG）
我将整个语法简化为：
data = +( ('{' >> tag >> '}') | text );
tag = lexeme[type >> &char_(" {}")] >> lexeme[*~char_("{}")];
text = attr("text") >> lexeme[+~char_("{}")];
完成！没有更多的语义动作，没有更多的规则基本相同。没有更复杂的嵌套重复，具有不明确的多重性。 type现在是qi::symbols解析器，其中包含标记名称的映射：
type.add
("img", "img")
("var", "var")
("inc", "inc")
("blank", "blk")
("ref", "ref");
这是一个完整的演示：
<强> Live On Coliru
//#define BOOST_SPIRIT_DEBUG
#include <boost/fusion/adapted.hpp>
#include <boost/spirit/include/qi.hpp>
namespace qi = boost::spirit::qi;
struct CMyTag
{
std::string tagName;
std::string tagData;
};
BOOST_FUSION_ADAPT_STRUCT(::CMyTag, (std::string, tagName) (std::string, tagData))
template <typename Iterator, typename Skipper = qi::space_type>
struct testTag_grammar : qi::grammar<Iterator, std::vector<CMyTag>(), Skipper>
{
testTag_grammar() :
testTag_grammar::base_type(data)
{
using namespace qi;
data = +( ('{' >> tag >> '}') | text );
type.add
("img", "img")
("var", "var")
("inc", "inc")
("blank", "blk")
("ref", "ref");
tag = lexeme[type >> &char_(" {}")] >> lexeme[*~char_("{}")];
text = attr("text") >> lexeme[+~char_("{}")];
BOOST_SPIRIT_DEBUG_NODES( (data) (tag) (text))
}
private:
qi::symbols<char, std::string> type;
qi::rule<Iterator, CMyTag(), Skipper> tag, text;
qi::rule<Iterator, std::vector<CMyTag>(), Skipper> data;
};
int main() {
testTag_grammar<std::string::const_iterator> l_gramar;
std::string const l_test = "asd {img} {ref I}sdkflsdlk {img} wmrwerml";
std::vector<CMyTag> l_result;
auto f = l_test.begin(), l = l_test.end();
bool result = qi::phrase_parse(f, l, l_gramar, qi::space, l_result);
if (result) {
std::cout << "Parse success: " << l_result.size() << "\n";
for (auto& v : l_result)
std::cout << "Name '" << v.tagName << "', Data '" << v.tagData << "'\n";
}
else {
std::cout << "Parse failed\n";
}
if (f!=l) {
std::cout << "Remaining unparsed: '" << std::string(f,l) << "'\n";
}
}
打印
Parse success: 6
Name 'text', Data 'asd '
Name 'img', Data ''
Name 'ref', Data 'I'
Name 'text', Data 'sdkflsdlk '
Name 'img', Data ''
Name 'text', Data 'wmrwerml'