Boost.Spirit x3学习笔记

原创 2015年07月06日 21:09:12

为了能够在Visual Studio 2015 RC上运行,需要做如下修改

1、修改boost/spirit/home/x3/nonterminal/detail/rule.hpp中的has_on_error和has_on_success的定义为:

	template <typename ID, typename Iterator, typename Context>
	struct do_has_on_error	{
		template<typename U> static auto test(int) -> decltype(sizeof(declval<U>().on_error(
			  std::declval<Iterator&>()
			, std::declval<Iterator>()
			, std::declval<expectation_failure<Iterator>>()
			, std::declval<Context>()
			)) >= 0, mpl::true_());
		template<typename> static mpl::false_ test(...);

		using type = decltype(test<ID>(0));
	};
	template <typename ID, typename Iterator, typename Context>
	using has_on_error = typename do_has_on_error<ID, Iterator, Context>::type;

	template <typename ID, typename Iterator, typename Attribute, typename Context>
	struct do_has_on_success {
		template<typename U> static auto test(int) -> decltype(sizeof(declval<U>().on_success(
			  std::declval<Iterator&>()
			, std::declval<Iterator>()
			, std::declval<Attribute&>()
			, std::declval<Context>()
			)) >= 0, mpl::true_());
		template<typename> static mpl::false_ test(...);

		using type = decltype(test<ID>(0));
	};
	template<typename ID, typename Iterator, typename Attribute, typename Context>
	using has_on_success = typename do_has_on_success<ID, Iterator, Attribute, Context>::type;

2、修改boost/spirit/home/x3/nonterminal/rule.hpp中BOOST_SPIRIT_DEFINE_的定义为:

#define BOOST_SPIRIT_DEFINE_(r, data, rule_name)                                \
    using BOOST_PP_CAT(rule_name, _t) = decltype(rule_name);                    \
    template <typename Iterator, typename Context, typename Attribute>          \
    inline bool parse_rule(                                                     \
        BOOST_PP_CAT(rule_name, _t) rule_                                       \
      , Iterator& first, Iterator const& last                                   \
      , Context const& context, Attribute& attr)                                \
    {                                                                           \
        using boost::spirit::x3::unused;                                        \
        static auto const def_ = (rule_name = BOOST_PP_CAT(rule_name, _def));   \
        return def_.parse(first, last, context, unused, attr);                  \
    }                                                                           \
    /***/

接口的区别

phrase_parse 自动跳过空格

parse 不自动跳过空格

定义Rule

1、提供Rule的名称

rule<ID, Attribute> const r = "some-name";
注:ID不需要定义。

2、提供Rule的定义,

auto const r_def = double_ >> *(',' >> double_);
注:必须是“名称_def”的形式。

3、定义parse_rule函数

BOOST_SPIRIT_DEFINE(r);
4、使用r

Spirit x3设计者提供的示例

/*=============================================================================
Copyright (c) 2001-2015 Joel de Guzman
Copyright (c) 2015 Ahmed Charles

Distributed under the Boost Software License, Version 1.0. (See accompanying
file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
=============================================================================*/
///////////////////////////////////////////////////////////////////////////////
//
//  A Roman Numerals Parser (demonstrating the symbol table). This is
//  discussed in the "Symbols" chapter in the Spirit User's Guide.
//
//  [ JDG August 22, 2002 ] spirit1
//  [ JDG March 13, 2007 ]  spirit2
//  [ JDG May 13, 2015 ]    spirit X3
//
///////////////////////////////////////////////////////////////////////////////

#include <boost/config/warning_disable.hpp>
#include <boost/spirit/home/x3.hpp>

#include <iostream>
#include <string>

namespace client
{
	namespace x3 = boost::spirit::x3;
	namespace ascii = boost::spirit::x3::ascii;

	///////////////////////////////////////////////////////////////////////////////
	//  Parse roman hundreds (100..900) numerals using the symbol table.
	//  Notice that the data associated with each slot is the parser's attribute
	//  (which is passed to attached semantic actions).
	///////////////////////////////////////////////////////////////////////////////
	struct hundreds_ : x3::symbols<unsigned>
	{
		hundreds_()
		{
			add
				("C", 100)
				("CC", 200)
				("CCC", 300)
				("CD", 400)
				("D", 500)
				("DC", 600)
				("DCC", 700)
				("DCCC", 800)
				("CM", 900)
				;
		}

	} hundreds;

	///////////////////////////////////////////////////////////////////////////////
	//  Parse roman tens (10..90) numerals using the symbol table.
	///////////////////////////////////////////////////////////////////////////////
	struct tens_ : x3::symbols<unsigned>
	{
		tens_()
		{
			add
				("X", 10)
				("XX", 20)
				("XXX", 30)
				("XL", 40)
				("L", 50)
				("LX", 60)
				("LXX", 70)
				("LXXX", 80)
				("XC", 90)
				;
		}

	} tens;

	///////////////////////////////////////////////////////////////////////////////
	//  Parse roman ones (1..9) numerals using the symbol table.
	///////////////////////////////////////////////////////////////////////////////
	struct ones_ : x3::symbols<unsigned>
	{
		ones_()
		{
			add
				("I", 1)
				("II", 2)
				("III", 3)
				("IV", 4)
				("V", 5)
				("VI", 6)
				("VII", 7)
				("VIII", 8)
				("IX", 9)
				;
		}

	} ones;

	///////////////////////////////////////////////////////////////////////////////
	//  roman (numerals) grammar
	//
	//      Note the use of the || operator. The expression
	//      a || b reads match a or b and in sequence. Try
	//      defining the roman numerals grammar in YACC or
	//      PCCTS. Spirit rules! :-)
	///////////////////////////////////////////////////////////////////////////////
	namespace parser
	{
		using x3::eps;
		using x3::lit;
		using x3::_val;
		using x3::_attr;
		using ascii::char_;

		auto set_zero = [](auto& ctx) { _val(ctx) = 0; };
		auto add1000 = [](auto& ctx) { _val(ctx) += 1000; };
		auto add = [](auto& ctx) { _val(ctx) += _attr(ctx); };

		x3::rule<class roman, unsigned> const roman = "roman";

		auto const roman_def =
			eps[set_zero]
			>>
			(
				-(+lit('M')[add1000])
				>> -hundreds[add]
				>> -tens[add]
				>> -ones[add]
				)
			;

		BOOST_SPIRIT_DEFINE(roman);
	}
}

///////////////////////////////////////////////////////////////////////////////
//  Main program
///////////////////////////////////////////////////////////////////////////////
int
main()
{
	std::cout << "/////////////////////////////////////////////////////////\n\n";
	std::cout << "\t\tRoman Numerals Parser\n\n";
	std::cout << "/////////////////////////////////////////////////////////\n\n";
	std::cout << "Type a Roman Numeral ...or [q or Q] to quit\n\n";

	typedef std::string::const_iterator iterator_type;
	using client::parser::roman; // Our parser

	std::string str;
	unsigned result;
	while (std::getline(std::cin, str))
	{
		if (str.empty() || str[0] == 'q' || str[0] == 'Q')
			break;

		std::string::const_iterator iter = str.begin();
		std::string::const_iterator end = str.end();
		bool r = parse(iter, end, roman, result);

		if (r && iter == end)
		{
			std::cout << "-------------------------\n";
			std::cout << "Parsing succeeded\n";
			std::cout << "result = " << result << std::endl;
			std::cout << "-------------------------\n";
		}
		else
		{
			std::string rest(iter, end);
			std::cout << "-------------------------\n";
			std::cout << "Parsing failed\n";
			std::cout << "stopped at: \": " << rest << "\"\n";
			std::cout << "-------------------------\n";
		}
	}

	std::cout << "Bye... :-) \n\n";
	return 0;
}
运行截图


在msvc中使用Boost.Spirit.X3

http://www.cnblogs.com/IndignangAngel/p/5026269.html Preface “Examples of designs that meet ...

boost之spirit学习-mini_c(3)

前一章分析完了main.cpp,了解了mini_c的主流程。现在来看看抽象语法树的定义:ast.hpp 首先,为一些对象打上id,方便编译错误时由对象的id查找到出错的位置(这个是由anno...
  • jjparch
  • jjparch
  • 2012年03月23日 00:55
  • 918

Cocos2D-X2.2.3学习笔记3(内存管理)

  • 2014年05月07日 17:17
  • 2.08MB
  • 下载

boost之spirit学习-mini_c(2)

main.cpp就一个main函数,倒是直接明了 main函数大概的流程: 读代码文件 使用spirit将代码解析成抽象语法树 使用compiler把语法树编译成字节码 从编译后...
  • jjparch
  • jjparch
  • 2012年03月22日 19:50
  • 393

boost之spirit学习-mini_c(4)

今天看看error_handler.hpp,先把这些周边的东西搞清楚。 /////////////////////////////////////////////////////////...
  • jjparch
  • jjparch
  • 2012年03月28日 00:21
  • 358

boost之spirit学习

最近一段时间对boost比较着迷。看了一些boost代码后惊叹C++居然可以写成这样。 C++强大的模板、运算符重载让C++拥有强大的灵活性,可以模仿很多其它语言的语法,在解决某个具体问题时可以...
  • jjparch
  • jjparch
  • 2012年03月22日 19:48
  • 531

boost之spirit学习-mini_c(5)

继续看看周边的小东西,从易到难。今天是annotation.hpp annotation.hpp里定义了一个类:annotation。 顾名思义,它是给抽象语法树里的对象做标注的。标注什么呢?...
  • jjparch
  • jjparch
  • 2012年03月29日 21:53
  • 298

Boost学习笔记

  • 2013年03月22日 14:54
  • 307KB
  • 下载

Spring学习笔记 关于spring 2.x中dependency-check标签与Spring3中的实现方式

在Bean被创建时Bean的属性(property)如果在配置文件Bean的定义中没有进行初始化赋值,默认情况下Spring对于没有进行初始化的属性(property)是不做检查的。但是很多情况下会要...
内容举报
返回顶部
收藏助手
不良信息举报
您举报文章:Boost.Spirit x3学习笔记
举报原因:
原因补充:

(最多只允许输入30个字)