更新时间:2023-11-06 19:16:28
I'd suggest the problem is Attribute compatibility. Contrary to the documentation, the ascii::string parser appears to expose an iterator range instead of a string.
name = string("no way");
is no issue, because the attribute exposed by ascii::string can be coerced into the rule's attribute type without any difficulty.
However, the brac
rule's attribute type is ast_branch
, which is only a variant with one of it's possible contained types. Therefore, the ast_branch
type has several constructors, and it isn't clear to Spirit which one is adequate for this particular conversion.
There are several ways about this (besides the approaches you already showed):
use attr_cast
brac = qi::attr_cast( string("no way") );
use as_string
brac = qi::as_string[ string("no way") ];
use customization points
namespace boost { namespace spirit { namespace traits {
template <typename It>
struct assign_to_attribute_from_iterators<client::ast_branch, It>
{
static void call(It const& f, It const& l, client::ast_branch& val)
{
val = std::string(f, l);
}
};
}}}
Each of these have the same effect: make Spirit realize what attribute conversion to use.
Here is a full working sample showing all three:
// #define BOOST_SPIRIT_ACTIONS_ALLOW_ATTR_COMPAT
#include <boost/config/warning_disable.hpp>
#include <boost/spirit/include/qi.hpp>
#include <boost/fusion/adapted.hpp>
#include <boost/spirit/include/phoenix.hpp>
#include <boost/variant/recursive_variant.hpp>
#include <string>
#include <vector>
namespace client
{
namespace fusion = boost::fusion;
namespace phoenix = boost::phoenix;
namespace qi = boost::spirit::qi;
namespace ascii = boost::spirit::ascii;
struct ast_node;
typedef boost::variant<
boost::recursive_wrapper<ast_node>,
std::string
> ast_branch;
struct ast_node
{
std::string text;
std::vector<ast_branch> children;
};
}
namespace boost { namespace spirit { namespace traits {
template <typename It>
struct assign_to_attribute_from_iterators<client::ast_branch, It>
{
static void call(It const& f, It const& l, client::ast_branch& val)
{
val = std::string(f, l);
}
};
}}}
BOOST_FUSION_ADAPT_STRUCT(
client::ast_node,
(std::string, text)
(std::vector<client::ast_branch>, children)
)
namespace client
{
template <typename Iterator>
struct ast_node_grammar : qi::grammar<Iterator, ast_branch(), ascii::space_type>
{
ast_node_grammar()
: ast_node_grammar::base_type(brac)
{
using qi::_1;
using qi::_val;
using ascii::char_;
using ascii::string;
name %= *char_;
brac = string("works");
brac = string("works")[_val = _1] ;
brac %= string("this") | string("works");
brac %= name ; // works
brac %= *char_ ; // works
brac = qi::as_string[ string("no way") ];
brac = qi::attr_cast( string("no way") );
}
qi::rule<Iterator, std::string()> name;
qi::rule<Iterator, ast_branch(), ascii::space_type> brac;
};
}
int main(int argc, char **argv)
{
typedef client::ast_node_grammar<std::string::const_iterator> ast_node_grammar;
ast_node_grammar gram;
client::ast_branch ast;
std::string text("dummy");
using boost::spirit::ascii::space;
std::string::const_iterator iter = text.begin();
std::string::const_iterator end = text.end();
bool r = phrase_parse(iter, end, gram, space, ast);
return r ? 0 : 1;
}