标签：c templates boost boost-spirit
我正在使用boost精神,为了简化多个解析器组件的测试,我想有一个像这样的辅助函数(它不起作用)
namespace qi = boost::spirit::qi;
namespace tests {
template <typename P, typename Attr>
Attr parse(P const& p, const string& input)
{
string::const_iterator f = input.begin();
string::const_iterator l = input.end();
Attr parsed;
qi::phrase_parse(f, l, p, boost::spirit::ascii::space, parsed);
return parsed;
}
}
然后像这样称呼它
BOOST_CHECK_EQUAL(parse(qi::int_, "23" ), 23);
编译器错误是这样的
template<class P, class Attr> Attr tests::parse(const P&, const string&)
template argument deduction/substitution failed:
couldn't deduce template parameter ‘Attr’
一种解决方案是更改函数解析,以便它通过引用返回参数中的解析值.但我想知道是否还有其他方法.
也许P和Attr是相关的,我在文档中找不到它(因为Attr是解析器P返回的类型),所以这可能只是一种类型的模板？
我可以将定义保留原样,并将调用更改为
BOOST_CHECK_EQUAL(parse<X,Y>(qi::int_, "23" ), 23);
但那么,X型是什么？
解决方法:
您可以使用来自here的Hartmut Kaiser的attribute_of_qi_component元函数.这内部使用了ildjarn为单个解析器建议的内容,除此之外,还可以使用qi :: int_>>等表达式. qi :: lexeme [qi :: as_string [qi :: char_]]如下.
#define BOOST_TEST_MODULE attr_of_qi_parsers
#include <boost/test/included/unit_test.hpp>
#include <boost/spirit/include/qi.hpp>
#include <string>
#include <utility>
#include <boost/fusion/include/adapted.hpp>
namespace qi = boost::spirit::qi;
typedef std::pair<int,int> pair_type;
typedef boost::fusion::vector2<int,std::string> vector_int_string;
struct data
{
data(){}
data(int m1, int m2): member1(m1), member2(m2) {}
int member1;
int member2;
};
std::ostream& operator<<(std::ostream& os, const data& d)
{
os << "{ 1st: " << d.member1 << ", 2nd: " << d.member2 << " }";
return os;
}
bool operator==(const data& lhs, const data& rhs)
{
return lhs.member1 == rhs.member1 && lhs.member2 == rhs.member2;
}
BOOST_FUSION_ADAPT_STRUCT(data,
(int, member1)
(int, member2)
)
//BOOST_CHECK_EQUAL requires that the arguments have defined operator<<
//You can either use in the global namespace
BOOST_TEST_DONT_PRINT_LOG_VALUE(pair_type);
//or define operator<< in the namespace std. This is technically illegal but it works
//namespace std
//{
// std::ostream& operator<<(std::ostream& os, const std::pair<int,int>& p)
// {
// os << "<" << p.first << "," << p.second << ">";
// return os;
// }
//}
namespace tests {
template <typename Expr, typename Iterator = boost::spirit::unused_type>
struct attribute_of_qi_component
{
typedef typename boost::spirit::result_of::compile<
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 P>
typename attribute_of_qi_component<P>::type parse(P const& p, const std::string& input)
{
std::string::const_iterator f = input.begin();
std::string::const_iterator l = input.end();
typename attribute_of_qi_component<P>::type parsed;
qi::phrase_parse(f, l, p, boost::spirit::ascii::space, parsed);
return parsed;
}
BOOST_AUTO_TEST_CASE(int_parser) {
BOOST_CHECK_EQUAL(parse(qi::int_, "23" ), 23);
}
BOOST_AUTO_TEST_CASE(int_and_string_parser) {
BOOST_CHECK_EQUAL(parse(qi::int_ >> qi::lexeme[ qi::as_string[+qi::char_] ], "23 is a number"), vector_int_string(23,"is a number"));
}
BOOST_AUTO_TEST_CASE(pair_rule_parser){
qi::rule<std::string::const_iterator,pair_type(),boost::spirit::ascii::space_type> pair_rule = qi::int_ >> ',' >> qi::int_;
BOOST_CHECK_EQUAL(parse(pair_rule,"1, 2"), std::make_pair(1,2));
}
BOOST_AUTO_TEST_CASE(data_rule_parser){
qi::rule<std::string::const_iterator,data(),boost::spirit::ascii::space_type> data_rule = qi::int_ >> ',' >> qi::int_;
BOOST_CHECK_EQUAL(parse(data_rule,"2, 4"), data(2,4));
}
}//end of tests namespace
标签：c,templates,boost,boost-spirit 来源： https://codeday.me/bug/20190901/1783457.html
本站声明： 1. iCode9 技术分享网（下文简称本站）提供的所有内容，仅供技术学习、探讨和分享； 2. 关于本站的所有留言、评论、转载及引用，纯属内容发起人的个人观点，与本站观点和立场无关； 3. 关于本站的所有言论和文字，纯属内容发起人的个人观点，与本站观点和立场无关； 4. 本站文章均是网友提供，不完全保证技术分享内容的完整性、准确性、时效性、风险性和版权归属；如您发现该文章侵犯了您的权益，可联系我们第一时间进行删除； 5. 本站为非盈利性的个人网站，所有内容不会用来进行牟利，也不会利用任何形式的广告来间接获益，纯粹是为了广大技术爱好者提供技术内容和技术思想的分享性交流网站。