Boost Spirit Qi Symbols默认值和NULL值

Question

Boost Spirit qi::symbols实现键值对映射：给一个字符串的键，它可以return某个值。我的问题是：

1) 对于一个空字符串，是否可以return一个默认值？（代码中的 Q1）

2) 对于非空字符串或键值对映射中列出的键的字符串，是否可以return 表示该键无效的值？（代码中的 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;
}

Answer 1

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

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

如果字符串在符号 table return 中它的关联值 ->just use sym
如果字符串为空 return 1 -> 只需使用 attr(1)
如果字符串不在符号 table return 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;
}

Boost Spirit Qi Symbols默认值和NULL值

Boost Spirit Qi Symbols default value and NULL value

c++

boost-spirit-qi