我如何以增强精神实施const

How can i implement const in Boost Spirit?

本文关键字：const 增强      更新时间：2023-10-16

我对如今的Boost Spirit感兴趣，并试图建立一些东西。我们可以使用精神在C 中实施类似const的东西吗？例如，用户将定义类似;

的项目 
constant var PROG_LANG="Java";

"常数var"似乎很奇怪，我接受，但您明白了。我搜索了互联网，但找不到任何内容。

bigboss所说的：）

只有我没有语义动作 - 使它少得多...冗长（另请参见boost Spirit："语义动作是邪恶的"？）：

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

仅此而已。这使用qi::attr来解释默认值（丢失constant关键字）。

这是一个完整的演示：

http://liveworkspace.org/code/c9e4bef100D2249EB4D4B8888205F85C4B

输出：

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";");
}

我没有正确地得到您的问题，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)] ]
相关文章：