定义一个符号，该符号可能是boost精神中文字功能的一部分

Defining a symbol which may be part of a literal function in boost spirit

本文关键字：符号 boost 中文 文字 一部分 功能 一个 定义      更新时间：2023-10-16

我正在尝试读取一个数学函数，该函数依赖于带有boost:：spirit的符号t。

在下面的示例中，我尝试评估t=1.2中的函数"tan(t)"。而不是

Exit: 1, value = 2.5721

我得到

Exit: 1, value = 1.2

我知道，当我尝试读取函数"tan(t)"时，不是计算t的切线，而是将t的值分配给单词tan中的第一个字母。是否可以在不更改符号t的情况下规避这种行为？此外，解析不应该失败吗？

#include <string>
#include <boost/spirit/include/phoenix_core.hpp>
#include <boost/config/warning_disable.hpp>
#include <boost/spirit/include/qi.hpp>
#include <boost/spirit/include/phoenix.hpp>
#include <boost/spirit/include/qi_symbols.hpp>
#include <boost/phoenix/stl/cmath.hpp>
namespace qi = boost::spirit::qi;
namespace ascii=boost::spirit::ascii;
using boost::spirit::ascii::space;
using boost::spirit::qi::symbols;

template< typename Iterator >
struct Grammar : public qi::grammar<  Iterator, double(), ascii::space_type >
{
    Grammar() : Grammar::base_type(expression)
    {
        using qi::double_;
        using qi::_val;
        using qi::_1;
        expression = double_                   [_val = _1]
                    | symbol                   [_val = _1]
                    | function                 [_val = _1]
                    | group                    [_val = _1];
        function =  qi::lit("tan")  >> group   [_val = boost::phoenix::tan(_1)];
        group = '(' >> expression   [_val = _1] >> ')' ;
  }
    qi::rule<Iterator, double(), ascii::space_type> expression, function, group;
    qi::symbols<char, double > symbol;
};

int main()
{
    typedef std::string::iterator iterator;
    Grammar<iterator> grammar;
    std::string function = "tan(t)"; //it would work if function = "tan(x)"
    grammar.symbol.add("t",1.2);     // and add("x",1.2)
    double value;
    bool r = qi::phrase_parse(function.begin(), function.end(), grammar, space, value);
    std::cout << "Exit: " << r << ", value = " << value << std::endl;
    return 0;
}

您必须重新排序规则。你的符号（t）正在吞噬tan的第一个字母。所以，您实际上根本没有解析所有输入！

如果启用调试，您会看到以下输出：

<expression>
<try>tan(t)</try>
<success>an(t)</success>
<attributes>[1.2]</attributes>
</expression>
Exit: 1, value = 1.2

解决这个问题的"皇家方法"是使用Spirit Repository中的Qi Distinct Keyword指令：boost:：Spirit:：Qi关键字和标识符

在Coliru上直播

#define BOOST_SPIRIT_DEBUG
#define BOOST_SPIRIT_USE_PHOENIX_V3
#include <boost/spirit/include/phoenix_core.hpp>
#include <boost/config/warning_disable.hpp>
#include <boost/spirit/include/qi.hpp>
#include <boost/spirit/include/phoenix.hpp>
#include <boost/spirit/include/qi_symbols.hpp>
#include <boost/spirit/repository/include/qi_distinct.hpp>
#include <boost/phoenix/stl/cmath.hpp>
namespace qi = boost::spirit::qi;
namespace ascii=boost::spirit::ascii;
using boost::spirit::ascii::space;
using boost::spirit::qi::symbols;

template< typename Iterator >
struct Grammar : public qi::grammar<  Iterator, double(), ascii::space_type >
{
    Grammar() : Grammar::base_type(expression)
    {
        using qi::double_;
        using qi::_val;
        using qi::_1;
        using boost::spirit::repository::qi::distinct;
        expression = double_
                   | distinct(qi::char_("a-zAZ09_")) [ symbol ]
                   | function
                   | group;
        function =  "tan"  >> group [_val = boost::phoenix::tan(_1)];
        group = '(' >> expression >> ')' ;
        BOOST_SPIRIT_DEBUG_NODES((expression)(function)(group));
  }
    qi::rule<Iterator, double(), ascii::space_type> expression, function, group;
    qi::symbols<char, double > symbol;
};

int main()
{
    typedef std::string::iterator iterator;
    Grammar<iterator> grammar;
    std::string function = "tan(t)";
    grammar.symbol.add("t",1.2);
    double value;
    bool r = qi::phrase_parse(function.begin(), function.end(), grammar, space, value);
    std::cout << "Exit: " << r << ", value = " << value << std::endl;
    return 0;
}

带有调试信息的输出为：

<expression>
  <try>tan(t)</try>
  <function>
    <try>tan(t)</try>
    <group>
      <try>(t)</try>
      <expression>
        <try>t)</try>
        <success>)</success>
        <attributes>[1.2]</attributes>
      </expression>
      <success></success>
      <attributes>[1.2]</attributes>
    </group>
    <success></success>
    <attributes>[2.57215]</attributes>
  </function>
  <success></success>
  <attributes>[2.57215]</attributes>
</expression>
Exit: 1, value = 2.57215
相关文章：