为了能够在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
/*=============================================================================
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;
}
运行截图