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;
}
运行截图


boost spirit ——编译器,语法解析器

使用spirit能很方便的解析自定义的语法规则,在他的文档中也说明了spirit与regex还有其他库的不同点。灵活,伸缩性好,可以用来搭建小的语法解析器也可以用来开发大型编译器等等。 boost:...
  • GW569453350game
  • GW569453350game
  • 2015年08月20日 14:13
  • 3731

boost之spirit学习

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

Boost.Spirit.Qi:玩转Actions

#include #include #include #include #include #include struct writer{ void print(int const& i) const ...
  • zwvista
  • zwvista
  • 2010年05月13日 21:59
  • 2352

Boost.Spirit x3学习笔记

为了能够在Visual Studio 2015 RC上运行,需要做如下修改 1、修改boost/spirit/home/x3/nonterminal/detail/rule.hpp中的has_on_e...
  • cqdjyy01234
  • cqdjyy01234
  • 2015年07月06日 21:09
  • 1187

Boost.Spirit.Karma 自定义directive

需求:给定一个参数,若它为1,则不输出;若为1,则输出且追加乘法运算符。 分析:这个需求是很容易满足的,一个if语句就可以了。即便是用karma,只需要eps + alternative。这里主要研究...
  • cqdjyy01234
  • cqdjyy01234
  • 2015年07月30日 17:14
  • 562

【转】Endnote X3破解版和教程

EndNote 中文文献导入方法2009-09-29 14:34http://hi.baidu.com/%CA%B3%C6%B7%BF%C6%D1%A7/blog/item/23fcc1bfe991b...
  • cuihao0532
  • cuihao0532
  • 2012年12月05日 17:21
  • 1165

Alien Skin Exposure X3 3.0 简体中文完美汉化 最好的胶片效果滤镜

AlienSkin Exposure X3 3.0 中文完美汉化版 最好的胶片效果调色滤镜        Alien Skin Exposure X3 是一款胶片滤镜...
  • best391
  • best391
  • 2017年10月10日 17:57
  • 3829

Performance: std::regex v.s. boost::regex v.s. boost::xpressive v.s. boost::spirit::qi

本文考虑匹配银行卡号时,各个库的速度
  • cqdjyy01234
  • cqdjyy01234
  • 2014年07月14日 10:44
  • 966

ROS讲座 关于ROS2和Gazebo C++ in Open Source Robotics

分享一个不错的介绍ROS2和Gazebo的视频讲座。 Gazebo中的云彩飘动起来了!!!! 超清视频分享网址:    http://v.youku.com/v_show/id_XMTcyMzY0Nz...
  • ZhangRelay
  • ZhangRelay
  • 2016年09月13日 12:05
  • 2549

会声会影x3模板

 http://www.corel.com/akdlm/6763/downloads/VideoStudio/Pro_X3/content/GetMore_Style_01.exehttp://www...
  • lyg105504
  • lyg105504
  • 2010年05月30日 14:25
  • 1819
内容举报
返回顶部
收藏助手
不良信息举报
您举报文章:Boost.Spirit x3学习笔记
举报原因:
原因补充:

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