1

我正在尝试编写一个解析器，它读取带有变量声明和实例化的文本文件，并构造一个变量表，其中包含所有声明的变量及其相关值。

该文件如下所示：

 int a = 18, b = 1+a*5;
 float test = rand(a);

为此，我想使用 boost::spirit::qi 解析器库，它提供了一个动态符号表解析器，可以将符号与可变数据类型 T 相关联。提供的符号表解析器的缺点是，它可以仅将其符号与一种数据类型的值相关联。

我有以下代码：

 #include <boost/spirit/include/qi.hpp>
 #include <stdint.h>
 #include <string>
 template<typename VTYPE>
 struct VTable : boost::spirit::qi::symbols<char, VTYPE> {
      VTable() {} // empty
 };

 int main()
 {
      using boost::spirit::qi::rule;
      using boost::spirit::qi::space_type;

      VTable<int64_t> intDecs; VTable<double> floatDecs;
      rule<std::string::iterator, boost::variant<int64_t, double>() ,space_type> decs %= (!floatDecs >> intDecs) | floatDecs;
      return 0;
 }

问题在于 return 语句之前的一行。'%=' 左侧的属性显然与右侧的属性不兼容（因为 Visual Studio 正在抱怨该代码）。

我的问题是，为什么会这样？

当我阅读 Spirit::Qi 的文档时，它对解析器属性说了以下内容：

  • symbol<Char, T> 的
    属性类型为 T。 =>intDecs 的属性类型应为 int64_t()，floatDecs 的属性类型应为 double()
  • 解析器的属性类型 !a 未使用。
  • 如果解析器 X 的属性类型未使用且解析器 Y 的属性类型为 T，则解析器 (X >> Y) 的
    属性类型为 T。 => (!floatDecs >> intDecs) 的属性类型应为 int64_t()
  • 如果解析器 a 的属性类型为 A，解析器 b 的属性类型为 B，则解析器 (a | b) 的属性类型为 boost::variant()
    属性类型 (!floatDecs >> intDecs) | floatDecs) 应该是 boost::variant()
4

1 回答 1

1

我找到了一个来源，它提供了一种算法来显示精神解析器来源的属性：“http://boost-spirit.com/home/2010/01/31/what-is-the-attribute-type-exposed- by-a-parser/"

经过一些修改，我发现属性

  • (!floatDecs >> intDecs) 是 __int64 （我认为这并不奇怪！）
  • floatDecs 是双倍的（不足为奇）并且
  • (!floatDecs >> intDecs) | floatDecs 是类 boost::variant<_ int64,double,struct boost::detail::variant::void ,structboost::detail::variant::void_,struct boost::detail::variant::void_,struct boost ::detail::variant::void_,struct boost::detail::variant::void_,struct boost::detail::variant::void_,struct boost::detail::variant::void_,struct boost:: detail::variant::void_,struct boost::detail::variant::void_,struct boost::detail::variant::void_,struct boost::detail::variant::void_,struct boost::detail: :variant::void_,struct boost::detail::variant::void_,struct boost::detail::variant::void_,struct boost::detail::variant::void_,struct boost::detail::variant ::void_,struct boost::detail::variant::void_,struct boost::detail::variant::void_>

对于那些对算法感兴趣的人：

#include <boost/spirit/include/qi.hpp>
#include <stdint.h>
#include <iostream>
#include <string>

template<typename VTYPE>
struct VTable : boost::spirit::qi::symbols<char, VTYPE> {
    VTable() {} // empty
};

template <typename Expr, typename Iterator = std::string::iterator>
struct attribute_of_parser {
    typedef typename boost::spirit::result_of::compile<boost::spirit::qi::domain, Expr>::type parser_expression_type;
    typedef typename boost::spirit::traits::attribute_of<parser_expression_type, boost::spirit::unused_type, Iterator>::type type;
};

template <typename T>
void display_attribute_of_parser(T const&)
{
    typedef typename attribute_of_parser<T>::type attribute_type;
    std::cout << typeid(attribute_type).name() << std::endl;
}

int main()
{
    using boost::spirit::qi::eps;
    using boost::spirit::qi::rule;
    using boost::spirit::qi::space_type;

    VTable<int64_t> intDecs; VTable<double> floatDecs;
    display_attribute_of_parser((!floatDecs >> intDecs));
    display_attribute_of_parser(floatDecs);
    display_attribute_of_parser((!floatDecs >> intDecs) | floatDecs);

    return 0;
}
于 2013-01-13T22:54:46.657 回答