如何在 Boost Spirit 中实现 const？

Question

我现在对 Boost Spirit 很感兴趣，并尝试构建一些东西。我们可以使用 Spirit 在 C++ 中实现类似 const 的东西吗？例如，用户将定义一个类似的项目；

constant var PROG_LANG="Java"; 

"constant var" 看起来很奇怪，我接受，但你明白了。我搜索了互联网，但找不到任何相关信息。

Answer 1

BigBoss 说了什么:)

只有我会不使用语义操作 - 让它少得多……冗长（另见 Boost Spirit: "Semantic actions are evil"?）：

vdef = 
    ("constant" >> attr(true) | attr(false)) >>
    "var" >> identifier >> '=' >> identifier_value >> ';' ;

就是这样。这使用qi::attr 来说明默认值（缺少constant 关键字）。

这是一个带有输出的完整演示：

http://liveworkspace.org/code/c9e4bef100d2249eb4d4b88205f85c4b

输出：

parse success: 'var myvariable = "has some value";'
data: false;myvariable;has some value;
parse success: 'constant var myvariable = "has some value";'
data: true;myvariable;has some value;

代码：

#include <boost/fusion/adapted.hpp>
#include <boost/spirit/include/qi.hpp>
#include <boost/spirit/include/karma.hpp>

namespace qi    = boost::spirit::qi;
namespace karma = boost::spirit::karma;
namespace phx   = boost::phoenix;

struct var_definition {
    bool is_constant;
    std::string name;
    std::string value;

    var_definition() : is_constant( false ) {}
};

BOOST_FUSION_ADAPT_STRUCT(var_definition, (bool, is_constant)(std::string, name)(std::string, value))


void doParse(const std::string& input)
{
    typedef std::string::const_iterator It;

    qi::rule<It, std::string()> identifier, identifier_value;
    qi::rule<It, var_definition(), qi::space_type> vdef;

    {
        using namespace qi;

        identifier_value = '"' >> lexeme [ +~char_('"') ] > '"';
        identifier       = lexeme [ +graph ];
        vdef             = 
            ("constant" >> attr(true) | attr(false)) >>
            "var" >> identifier >> '=' >> identifier_value >> ';' ;
    }

    var_definition data;

    It f(std::begin(input)), l(std::end(input));
    bool ok = qi::phrase_parse(f,l,vdef,qi::space,data);
    if (ok)   
    {
        std::cout << "parse success: '" << input << "'\n";
        std::cout << "data: " << karma::format_delimited(karma::auto_, ';', data) << "\n";
    }
}

int main()
{
    doParse("var myvariable = \"has some value\";");
    doParse("constant var myvariable = \"has some value\";");
}

Answer 2

我没有正确理解您的问题，spirit 是一个解析器，它与 constant 的含义无关，它只能解析它，但如果您的意思是解析一个像 constant 这样的可选变量，那么可以是一行：

namespace qi = boost::spirit::qi;
namespace phx = boost::phoenix;

typedef std::string::const_iterator it;
struct var_definition {
    bool is_constant;
    std::string name;
    std::string value;
    var_definition() : is_constant( false ) {}
};
qi::rule<it, std::string()> identifier;
qi::rule<it, std::string()> identifier_value;
qi::rule<it, var_definition(), boost::spirit::ascii::space_type> vdef;

void mark_var_as_constant(var_definition& vd) {vd.is_constant=true;}
void set_var_name(var_definition& vd, std::string const& val) {vd.name=val;}
void set_var_value(var_definition& vd, std::string const& val) {vd.value=val;}

vdef %=
    -qi::lit("constant")[phx::bind(mark_var_as_constant, qi::_val)] >>
    qi::lit("var") >>
    identifier[phx::bind(set_var_name, qi::_val, qi::_1)] >>
    qi::char_('=') >>
    identifier_value[phx::bind(set_var_value, qi::_val, qi::_1)] >>
    qi::char_(';');

当然还有其他方式，例如：

(qi::lit("constant")[phx::bind(mark_var_as_constant, qi::_val)] | qi::eps)

最简单的是：

qi::hold[ qi::lit("constant")[phx::bind(mark_var_as_constant, qi::_val)] ]