如何使用Qi :: Hold []解析器指令.(带有boost ::交换的属性类型的问题)

我有一个解析器，可以解析为 boost::variant<int, double, std::string>

namespace qi = boost::spirit::qi;
namespace ascii = boost::spirit::ascii;
using namespace std;
typedef map<string,  boost::variant<int, double, string> > namevalue;
typedef pair<string, boost::variant<int, double, string> > namevaluepair;
template <typename Iterator>
struct keys_and_values2
    :   grammar<Iterator, namevalue(), ascii::blank_type>
{
    keys_and_values2()
        :   keys_and_values2::base_type(start)
    {
        start %= query >> qi::eoi;
        query =  +pair;
        value =  qi::int_ | qi::double_ | qi::lexeme[+(qi::char_ - qi::eol)] ;
        pair  =  key >> qi::lit(':') >> value >> qi::eol;
        key   =  qi::char_("a-zA-Z_") >> *qi::char_("a-zA-Z_0-9");
    }
    qi::rule<Iterator, namevalue(), ascii::blank_type> start;
    qi::rule<Iterator, namevalue(), ascii::blank_type> query;
    qi::rule<Iterator, namevaluepair(), ascii::blank_type> pair;
    qi::rule<Iterator, std::string(), ascii::blank_type> key;
    qi::rule<Iterator, boost::variant<int, double, string>(), ascii::blank_type> value;
};

解析的输入在这里：

Sarai    :    52.731199473801
Jamiya   :    Jelly Drop
Clara    :    -92.408605869885
Janelle  :    132349223
Briley   :    -40.905352495602

这在第一行" sarai"上失败。如果我扭转了双重解析和int的解析：

value =  qi::double_ | qi::int_ | qi::lexeme[+(qi::char_ - qi::eol)] ;

它工作正常，但是" Janelle"的整数值被解析为双重。遵循提升常见问题解答和增强文档，我想使用Qi :: hold []像这样：

value =  qi::hold[qi::int_] | qi::hold[qi::double_] | qi::lexeme[+(qi::char_ - qi::eol)] ;

但是，我收到有关缺少函数的消息：swap()。实际上，这是在Boost文档（注）中记录的。但是解释是非常简短的。我找不到此交换函数的正确属性类型。有人可以在这里提供帮助吗？

编译器消息在这里：

E:Boostboost_1_58_0boost/spirit/home/support/attributes.hpp(1036) : error C2784: 'void boost::spirit::swap(boost::spirit::multi_pass<T,Policies> &,boost::spirit::multi_pass<T,Policies> &)' : could not deduce template argument for 'boost::spirit::multi_pass<T,Policies> &' from 'int'

更新
SEHE的答案与上述数据一起使用。但是，如果我将输入更改为以下内容：

Sarai    :    52.731199473801
Jamiya   :    Jelly Drop
Clara    :    -92.408605869885
Rebekah  :    240ad9beb53bbfafcd5
Janelle  :    132349223
Cloe     :    456ABCabvc
Briley   :    -40.905352495602

我将对" rebekah"价值有问题。我还看到评估值的顺序很重要。这次，问题不再具有double值，而是在int和string之间。我想实施这样的事情：（策略？）

所有只有数字的东西，可选的减符号并包含一个点是 double
所有只有数字和可选的减号的所有内容都是int
其他一切都是std::string

解决方案
有时，了解问题比问题更重要。

问题不是解析器政策，而是我对解析规则的定义（请参见上文）。规则3"其他所有内容"实际上包括：" ELAVE EOL的所有内容"。因此，value规则中的所有三个替代方案都必须与此匹配：

value =   strict_double >> qi::eol
        | qi::int_ >> qi::eol
        | qi::lexeme[+(qi::char_ - qi::eol)] >> qi::eol;

随着这种更改，Sehe的答案就像魅力一样工作！

保持不使用。

考虑一下：它将有什么帮助？它不会使整数分支不匹配，因此它仍然无法解析，并且hold不会恢复任何内容。

hold[]主要对容器属性¹非常有用，其中部分解析可以修改属性。容器通常已经实现了交换。你在这里吠叫错误的树

¹包括字符串，请参见例如
_{•了解boost.spirit的字符串解析器
•boost :: Spirit :: Qi在输出上重复解析
•增强精神恢复解析
•增强精神可选解析器和回溯}

解决问题：

您可以使用严格的实际策略将实际值仅解析为double。

value =  strict_double | qi::int_ | qi::lexeme[+(qi::char_ - qi::eol)] ;
// with
qi::real_parser<double, qi::strict_real_policies<double> > strict_double;

另请参阅某些单位测试的Boost Spirit（最长_D），请参见分析或双重分析

活在coliru

#define BOOST_SPIRIT_DEBUG
#include <boost/fusion/adapted/std_pair.hpp>
#include <boost/spirit/include/qi.hpp>
#include <map>
namespace qi    = boost::spirit::qi;
namespace ascii = boost::spirit::ascii;
typedef boost::variant<int, double, std::string> value_t;
typedef std::map<std::string, value_t> namevalue;
typedef std::pair<std::string, value_t> namevaluepair;
template <typename Iterator>
struct keys_and_values2
    :   qi::grammar<Iterator, namevalue(), ascii::blank_type>
{
    keys_and_values2() : keys_and_values2::base_type(start)
    {
        start %= query >> qi::eoi;
        query =  +pair;
        value =  strict_double | qi::int_ | qi::lexeme[+(qi::char_ - qi::eol)] ;
        pair  =  key >> qi::lit(':') >> value >> qi::eol;
        key   =  qi::char_("a-zA-Z_") >> *qi::char_("a-zA-Z_0-9");
        BOOST_SPIRIT_DEBUG_NODES((start)(query)(value)(pair)(key))
    }
  private:
    qi::real_parser<double, qi::strict_real_policies<double> > strict_double;
    qi::rule<Iterator, namevalue(),     ascii::blank_type> start;
    qi::rule<Iterator, namevalue(),     ascii::blank_type> query;
    qi::rule<Iterator, namevaluepair(), ascii::blank_type> pair;
    qi::rule<Iterator, std::string(),   ascii::blank_type> key;
    qi::rule<Iterator, value_t(),       ascii::blank_type> value;
};
int main() {
    typedef boost::spirit::istream_iterator It;
    It f(std::cin >> std::noskipws), l;
    keys_and_values2<It> g;
    namevalue data;
    bool ok = qi::phrase_parse(f,l,g,ascii::blank,data);
    if (ok) {
        std::cout << "Parse succeeded:n";
        for(auto& p : data)
            std::cout << "t'" << p.first << "'t-> " << p.second << "n";
    } else
        std::cout << "Parse failedn";
    if (f!=l)
        std::cout << "Remaining unparsed: '" << std::string(f,l) << "'n";
}

打印

Parse succeeded:
    'Briley'    -> -40.9054
    'Clara' -> -92.4086
    'Jamiya'    -> Jelly Drop
    'Janelle'   -> 132349223
    'Sarai' -> 52.7312

和调试信息（如果已启用）

<start>
<try>Sarai    :    52.731</try>
<query>
    <try>Sarai    :    52.731</try>
    <pair>
    <try>Sarai    :    52.731</try>
    <key>
        <try>Sarai    :    52.731</try>
        <success>:    52.731199473801</success>
        <attributes>[[S, a, r, a, i]]</attributes>
    </key>
    <value>
        <try>    52.731199473801n</try>
        <success>nJamiya   :    Jelly</success>
        <attributes>[52.7312]</attributes>
    </value>
    <success>Jamiya   :    Jelly </success>
    <attributes>[[[S, a, r, a, i], 52.7312]]</attributes>
    </pair>
    <pair>
    <try>Jamiya   :    Jelly </try>
    <key>
        <try>Jamiya   :    Jelly </try>
        <success>:    Jelly DropnClar</success>
        <attributes>[[J, a, m, i, y, a]]</attributes>
    </key>
    <value>
        <try>    Jelly DropnClara</try>
        <success>nClara    :    -92.4</success>
        <attributes>[[J, e, l, l, y,  , D, r, o, p]]</attributes>
    </value>
    <success>Clara    :    -92.40</success>
    <attributes>[[[J, a, m, i, y, a], [J, e, l, l, y,  , D, r, o, p]]]</attributes>
    </pair>
    <pair>
    <try>Clara    :    -92.40</try>
    <key>
        <try>Clara    :    -92.40</try>
        <success>:    -92.40860586988</success>
        <attributes>[[C, l, a, r, a]]</attributes>
    </key>
    <value>
        <try>    -92.408605869885</try>
        <success>nJanelle  :    13234</success>
        <attributes>[-92.4086]</attributes>
    </value>
    <success>Janelle  :    132349</success>
    <attributes>[[[C, l, a, r, a], -92.4086]]</attributes>
    </pair>
    <pair>
    <try>Janelle  :    132349</try>
    <key>
        <try>Janelle  :    132349</try>
        <success>:    132349223nBrile</success>
        <attributes>[[J, a, n, e, l, l, e]]</attributes>
    </key>
    <value>
        <try>    132349223nBriley</try>
        <success>nBriley   :    -40.9</success>
        <attributes>[132349223]</attributes>
    </value>
    <success>Briley   :    -40.90</success>
    <attributes>[[[J, a, n, e, l, l, e], 132349223]]</attributes>
    </pair>
    <pair>
    <try>Briley   :    -40.90</try>
    <key>
        <try>Briley   :    -40.90</try>
        <success>:    -40.90535249560</success>
        <attributes>[[B, r, i, l, e, y]]</attributes>
    </key>
    <value>
        <try>    -40.905352495602</try>
        <success>n</success>
        <attributes>[-40.9054]</attributes>
    </value>
    <success></success>
    <attributes>[[[B, r, i, l, e, y], -40.9054]]</attributes>
    </pair>
    <pair>
    <try></try>
    <key>
        <try></try>
        <fail/>
    </key>
    <fail/>
    </pair>
    <success></success>
    <attributes>[[[[B, r, i, l, e, y], -40.9054], [[C, l, a, r, a], -92.4086], [[J, a, m, i, y, a], [J, e, l, l, y,  , D, r, o, p]], [[J, a, n, e, l, l, e], 132349223], [[S, a, r, a, i], 52.7312]]]</attributes>
</query>
<success></success>
<attributes>[[[[B, r, i, l, e, y], -40.9054], [[C, l, a, r, a], -92.4086], [[J, a, m, i, y, a], [J, e, l, l, y,  , D, r, o, p]], [[J, a, n, e, l, l, e], 132349223], [[S, a, r, a, i], 52.7312]]]</attributes>
</start>

解决问题：

相关内容

最新更新

热门标签：