Boost Spirit Qi符号默认值和NULL值

时间:2016-08-27 05:17:50

标签: c++ boost-spirit-qi

Boost Spirit qi :: symbols实现键值对的映射:给出一个字符串的键,它可以返回一个特定的值。我的问题是:

1)对于空白字符串,是否可以返回默认值? (代码中的Q1)

2)对于不是空字符串的字符串或键值对映射中列出的键,是否可以返回表示该键无效的值? (代码中的Q2)

**以下代码基于BOOST SPIRIT文档。 **提前感谢任何建议。

#include <boost/spirit/include/support_utree.hpp>
#include <boost/spirit/include/qi.hpp>
#include <boost/spirit/include/phoenix_core.hpp>
#include <boost/spirit/include/phoenix_operator.hpp>
#include <boost/fusion/include/adapt_struct.hpp>
#include <boost/assert.hpp>
#include <iostream>
#include <string>
#include <cstdlib>

template <typename P, typename T>
void test_parser_attr(
    char const* input, P const& p, T& attr, bool full_match = true)
{
    using boost::spirit::qi::parse;

    char const* f(input);
    char const* l(f + strlen(f));
    if (parse(f, l, p, attr) && (!full_match || (f == l)))
        std::cout << "ok" << std::endl;
    else
        std::cout << "fail" << std::endl;
}

int main()
{
    using boost::spirit::qi::symbols;

    symbols<char, int> sym;
    sym.add
        ("Apple", 1)
        ("Banana", 2)
        ("Orange", 3)
    ;

    int i;
    test_parser_attr("Banana", sym, i);
    std::cout << i << std::endl;      // 2


    test_parser_attr("", sym, i);     // Q1: key is "",
    std::cout << i << std::endl;      // would like it to be 1 as default

    test_parser_attr("XXXX", sym, i); // Q2: key is other than "Apple"/"Banana"/"Orange",
    std::cout << i << std::endl;      // would like it to be 4

    return 0;
}

1 个答案:

答案 0 :(得分:3)

仅使用qi::symbols无法完成您想要的任务。应该可以创建一个实现所需结果的Spirit终端/指令,但这样做会非常复杂,并且需要了解qi::symbols及相关类的内部工作原理,所以我认为这不是一个值得的方法。幸运的是,有一个非常简单的替代方法是使用qi::attr(val),一个不消耗任何输入的解析器,公开val作为其属性并且总是成功。

让我们看看所有三种情况:

  • 如果字符串在符号表中,则返回其关联值->,只需使用sym
  • 如果字符串为空,则返回1 ->,只需使用attr(1)
  • 如果字符串不在符号表中,则返回4 ->,您需要使用attr(4),但这还不够,因为您还需要使用字符串。如果我们假设字符串仅由字母omit[+alpha]组成,则omit会丢弃文本,而+会确保至少有一个字母。

您需要将这三个解析器放在alternative parser中,记住每个案例中实际使用的解析器将是第一个成功的解析器:

sym | omit[+alpha] >> attr(4) | attr(1)

可能出现的问题:

  • 如果您的not-in-symbol-table字符串可能更复杂,则需要相应地更改+alpha
  • 如果您使用的是船长,则可能需要使用omit[ lexeme [+alpha]]来阻止贪婪的+

完整示例(Running on WandBox)

#include <iostream>
#include <string>

#include <boost/spirit/include/qi.hpp>


template <typename P, typename T>
void test_parser_attr(
    char const* input, P const& p, T& attr, bool full_match = true)
{
    using boost::spirit::qi::parse;

    char const* f(input);
    char const* l(f + strlen(f));
    if (parse(f, l, p, attr) && (!full_match || (f == l)))
        std::cout << "ok" << std::endl;
    else
        std::cout << "fail" << std::endl;
}

int main()
{
    using boost::spirit::qi::symbols;

    symbols<char, int> sym;
    sym.add
        ("Apple", 1)
        ("Banana", 2)
        ("Orange", 3)
    ;

    using boost::spirit::qi::attr; 
    using boost::spirit::qi::alpha;
    using boost::spirit::qi::omit;
    using boost::spirit::qi::lexeme;

    //if the text is in the symbol table return the associated value
    //else if the text is formed by letters (you could change this using for example `alnum`) and contains at least one, discard the text and return 4
    //else return 1
    boost::spirit::qi::rule<char const*,int()> symbols_with_defaults = sym | omit[+alpha] >> attr (4) | attr(1);


    int i;
    test_parser_attr("Banana", symbols_with_defaults, i);
    std::cout << i << std::endl;      // 2

    test_parser_attr("", symbols_with_defaults, i);     // Q1: key is "",
    std::cout << i << std::endl;      // would like it to be 1 as default

    test_parser_attr("XXXX", symbols_with_defaults, i); // Q2: key is other than "Apple"/"Banana"/"Orange",
    std::cout << i << std::endl;      // would like it to be 4

    std::vector<int> values;
    test_parser_attr("<Banana>,<>,<xxxx>", ('<' >> symbols_with_defaults >> '>')%',', values);
    for(int val : values)
        std::cout << val << " ";  // should be '2 1 4'
    std::cout << std::endl;

    return 0;
}