Boost.Spirit X3 解析器"no type named type in(...)"

Boost.Spirit X3 parser "no type named type in(...)"

本文关键字:type named in Spirit no Boost X3      更新时间:2023-10-16


当我遇到一个我无法理解的错误时,我正在玩Boost.Spirit X3计算器示例。
我最小化了程序以降低复杂性,但仍会抛出相同的错误。 假设我想将输入解析为语句(字符串(列表,后跟分隔符(';')。

这是我的结构:


namespace client { namespace ast
{    
struct program
{
std::list<std::string> stmts;
};
}}
BOOST_FUSION_ADAPT_STRUCT(client::ast::program,
(std::list<std::string>, stmts)
)

语法如下:

namespace client
{ 
namespace grammar
{
x3::rule<class program, ast::program> const program("program");
auto const program_def =
*((*char_) > ';')
;
BOOST_SPIRIT_DEFINE(
program
);
auto calculator = program;
}
using grammar::calculator;

}

调用


int
main()
{
std::cout <<"///////////////////////////////////////////nn";
std::cout << "Expression parser...nn";
std::cout << //////////////////////////////////////////////////nn";
std::cout << "Type an expression...or [q or Q] to quitnn";
typedef std::string::const_iterator iterator_type;
typedef client::ast::program ast_program;
std::string str;
while (std::getline(std::cin, str))
{
if (str.empty() || str[0] == 'q' || str[0] == 'Q')
break;
auto& calc = client::calculator;    // Our grammar
ast_program program;                // Our program (AST)
iterator_type iter = str.begin();
iterator_type end = str.end();
boost::spirit::x3::ascii::space_type space;
bool r = phrase_parse(iter, end, calc, space, program);
if (r && iter == end)
{
std::cout << "-------------------------n";
std::cout << "Parsing succeededn";
std::cout<< 'n';
std::cout << "-------------------------n";
}
else
{
std::cout << "-------------------------n";
std::cout << "Parsing failedn";
std::cout << "-------------------------n";
}
}
std::cout << "Bye... :-) nn";
return 0;
}

我得到的错误是

/opt/boost_1_66_0/boost/spirit/home/x3/support/traits/container_traits.hpp: In instantiation of ‘struct boost::spirit::x3::traits::container_value<client::ast::program, void>’:
.
.
.
/opt/boost_1_66_0/boost/spirit/home/x3/support/traits/container_traits.hpp:76:12: error: no type named ‘value_type’ in ‘struct client::ast::program’
struct container_value
/opt/boost_1_66_0/boost/spirit/home/x3/operator/detail/sequence.hpp:497:72: error: no type named ‘type’ in ‘struct boost::spirit::x3::traits::container_value<client::ast::program, void>’
, typename traits::is_substitute<attribute_type, value_type>::type());
  ^~~~~~

我尝试过的事情:


关注 获得提升::精神::qi 使用 stl 容器
即使它使用 Qi,我仍然尝试:

namespace boost{namespace spirit{ namespace traits{
template<>
struct container_value<client::ast::program> 
//also with struct container<client::ast::program, void>
{
typedef std::list<std::string> type;
};
}}}

你看我有点蒙在鼓里,所以预料到无济于事。

parser2.cpp:41:8: error: ‘container_value’ is not a class template
struct container_value<client::ast::program>
^~~~~~~~~~~~~~~

在同一个 SO 问题中,我作者说
:"不过,有一个已知的限制,当您尝试使用具有单个元素的结构时,该元素也是容器编译失败,除非您添加 qi::eps>>......按照你的规则。

我确实尝试添加虚拟 eps 也没有成功。

请帮我破译这个错误的含义。

是的。这看起来像是涉及单元素序列时自动传播属性的另一个限制。

我可能会咬紧牙关,将规则定义从它是什么(以及你期望的工作(更改为:

x3::rule<class program_, std::vector<std::string> >

这消除了混乱的根源。

其他注意事项:

  • 你有char_也吃';'所以语法永远不会成功,因为没有';'会遵循"语句"。

  • 您的
  • 语句不是词法,因此空格被丢弃(这是您的意思吗?请参阅提升精神船长问题(

  • 您的语句可能为空,这意味着解析将始终在输入结束时失败(它始终读取空状态,然后发现缺少预期的';'(。通过在接受语句之前至少要求 1 个字符来修复它。

有一些简化/样式更改:

住在科里鲁

#include <boost/fusion/adapted.hpp>
#include <boost/spirit/home/x3.hpp>
#include <list>
namespace x3 = boost::spirit::x3;
namespace ast {
using statement = std::string;
struct program {
std::list<statement> stmts;
};
} 
BOOST_FUSION_ADAPT_STRUCT(ast::program, stmts)
namespace grammar {
auto statement 
= x3::rule<class statement_, ast::statement> {"statement"}
= +~x3::char_(';');
auto program 
= x3::rule<class program_, std::list<ast::statement> > {"program"}
= *(statement >> ';');
} 
#include <iostream>
#include <iomanip>
int main() {
std::cout << "Type an expression...or [q or Q] to quitnn";
using It = std::string::const_iterator;
for (std::string str; std::getline(std::cin, str);) {
if (str.empty() || str[0] == 'q' || str[0] == 'Q')
break;
auto &parser = grammar::program;
ast::program program; // Our program (AST)
It iter = str.begin(), end = str.end();
if (phrase_parse(iter, end, parser, x3::space, program)) {
std::cout << "Parsing succeededn";
for (auto& s : program.stmts) {
std::cout << "Statement: " << std::quoted(s, ''') << "n";
}
}
else
std::cout << "Parsing failedn";
if (iter != end)
std::cout << "Remaining unparsed: " << std::quoted(std::string(iter, end), ''') << "n";
}
}

其中用于输入"a;b;c;d;" 打印:

Parsing succeeded
Statement: 'a'
Statement: 'b'
Statement: 'c'
Statement: 'd'