- c - 在位数组中找到第一个零
- linux - Unix 显示有关匹配两种模式之一的文件的信息
- 正则表达式替换多个文件
- linux - 隐藏来自 xtrace 的命令
我想了解 boost::spirit::qi 的幕后究竟发生了什么。假设我们有一个简单的解析器来解析和计算由数字和加/减操作组成的表达式:
int main()
{
std::string INPUT_DATA = "12e-1 + 3.4 - .67";
typedef std::string::iterator iterator_type;
iterator_type begin = std::begin(INPUT_DATA);
iterator_type end = std::end(INPUT_DATA);
namespace qi = boost::spirit::qi;
namespace ascii = boost::spirit::qi::ascii;
auto parser = qi::double_[qi::_val = qi::_1] // (1)
>> *(
(qi::lit('+') >> qi::double_[qi::_val += qi::_1]) // (2)
|
(qi::lit('-') >> qi::double_[qi::_val -= qi::_1]) // (3)
);
double result;
bool ok = qi::phrase_parse(begin, end, parser, ascii::space, result);
if ( ok && begin == end)
{
std::cout << "parsed, result = " << result << std::endl;
}
else
{
std::cout << "not parsed" << std::endl;
}
return 0;
}
qi::_val
为什么会出现在 (1)
、(2)
和 (3)
引用相同的值?如何在不使用 boost::phoenix 的情况下获得相同的结果?
我想我必须编写一堆仿函数来接收来自 qi::double_
的解析值,但我应该用它做什么?如何访问解析器的合成值?
最佳答案
除了评论中提供的精美低级信息外,让我向您展示Spirit的方式。
当然,我将以不使用语义操作的演示结束。是的,它涉及更多代码,但它也将解析 与评估 分离。这在更复杂的情况下很有用(想想回溯的解析器)。
从稍微简化您的代码开始:step 1
auto parser =
double_ [_val = _1] // (1)
>> *( (lit('+') >> double_[_val += _1]) // (2)
| (lit('-') >> double_[_val -= _1]) // (3)
);
当然,您可以使用常规绑定(bind)函数:step 2
void add_operand(double& lhs, double rhs) { lhs += rhs; }
void sub_operand(double& lhs, double rhs) { lhs -= rhs; }
auto parser =
double_ [_val = _1]
>> *( (lit('+') >> double_[bind(add_operand, _val, _1)])
| (lit('-') >> double_[bind(sub_operand, _val, _1)])
);
现在,使用 BOOST_PHOENIX_ADAPT_FUNCTION 使它稍微漂亮一些:step 3
BOOST_PHOENIX_ADAPT_FUNCTION(void, add_, add_operand, 2)
BOOST_PHOENIX_ADAPT_FUNCTION(void, sub_, sub_operand, 2)
double_ [_val = _1]
>> *( (lit('+') >> double_[add_(_val, _1)])
| (lit('-') >> double_[sub_(_val, _1)])
);
或者您可以使用仿函数:step 4
struct add_operand {
template<typename...> struct result { typedef void type; };
template<typename L, typename R>
void operator()(L& lhs, R rhs) const { lhs += rhs; }
};
struct sub_operand {
template<typename...> struct result { typedef void type; };
template<typename L, typename R>
void operator()(L& lhs, R rhs) const { lhs -= rhs; }
};
auto parser =
double_ [_val = _1]
>> *( (lit('+') >> double_[bind(add_operand(), _val, _1)])
| (lit('-') >> double_[bind(sub_operand(), _val, _1)])
);
哎呀,漂亮到此为止。
但是,不用担心,您也可以调整这些:step 5
phx::function<add_operand> add_;
phx::function<sub_operand> sub_;
auto parser =
double_ [_val = _1]
>> *( (lit('+') >> double_[add_(_val, _1)])
| (lit('-') >> double_[sub_(_val, _1)])
);
最后,您可以通过使用简单的 AST 完全不需要任何语义操作来完成此操作:
rule<iterator_type, term<add>() , ascii::space_type> add_term;
rule<iterator_type, term<subtract>(), ascii::space_type> sub_term;
rule<iterator_type, expression() , ascii::space_type> parser;
add_term = '+' >> double_;
sub_term = '-' >> double_;
parser = double_ >> *(add_term|sub_term);
现在我们解析成一个表达式 AST:
expression result;
ok = phrase_parse(begin, end, parser, ascii::space, result);
然后我们使用 eval
函数打印结果:
std::cout << "parsed, result = " << eval(result) << std::endl;
它是如何工作的?自己看看:
#define BOOST_SPIRIT_USE_PHOENIX_V3
#include <boost/fusion/adapted/struct.hpp>
#include <boost/spirit/include/qi.hpp>
/////////////////
// AST
template <typename> struct term {
term(double value=0) : value(value) {}
double value;
};
using operation = boost::variant<term<struct add>, term<struct subtract> >;
struct expression
{
double initial;
std::vector<operation> operations;
};
BOOST_FUSION_ADAPT_STRUCT(expression, (double, initial)(std::vector<operation>,operations))
// End of AST
/////////////////
double eval(expression const& e)
{
double result = e.initial;
struct visitor : boost::static_visitor<> {
double& _v; visitor(double& ref) : _v(ref) {}
void operator()(term<add> const& rhs) const { _v += rhs.value; }
void operator()(term<subtract> const& rhs) const { _v -= rhs.value; }
};
for(auto& o : e.operations)
boost::apply_visitor(visitor(result), o);
return result;
}
int main()
{
const std::string INPUT_DATA = "12e-1 + 3.4 - .67";
typedef std::string::const_iterator iterator_type;
iterator_type begin = std::begin(INPUT_DATA);
iterator_type end = std::end(INPUT_DATA);
namespace qi = boost::spirit::qi;
namespace ascii = boost::spirit::qi::ascii;
bool ok;
expression result;
{
using namespace qi;
rule<iterator_type, term<add>() , ascii::space_type> add_term;
rule<iterator_type, term<subtract>(), ascii::space_type> sub_term;
rule<iterator_type, expression() , ascii::space_type> parser;
add_term = '+' >> double_;
sub_term = '-' >> double_;
parser = double_ >> *(add_term|sub_term);
ok = phrase_parse(begin, end, parser, ascii::space, result);
}
if (ok && begin == end)
std::cout << "parsed, result = " << eval(result) << std::endl;
else
std::cout << "not parsed" << std::endl;
}
关于c++ - 从语义 Action 更新综合属性值,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/18585255/
#include using namespace std; class C{ private: int value; public: C(){ value = 0;
这个问题已经有答案了: What is the difference between char a[] = ?string?; and char *p = ?string?;? (8 个回答) 已关闭
关闭。此题需要details or clarity 。目前不接受答案。 想要改进这个问题吗?通过 editing this post 添加详细信息并澄清问题. 已关闭 7 年前。 此帖子已于 8 个月
除了调试之外,是否有任何针对 c、c++ 或 c# 的测试工具,其工作原理类似于将独立函数复制粘贴到某个文本框,然后在其他文本框中输入参数? 最佳答案 也许您会考虑单元测试。我推荐你谷歌测试和谷歌模拟
我想在第二台显示器中移动一个窗口 (HWND)。问题是我尝试了很多方法,例如将分辨率加倍或输入负值,但它永远无法将窗口放在我的第二台显示器上。 关于如何在 C/C++/c# 中执行此操作的任何线索 最
我正在寻找 C/C++/C## 中不同类型 DES 的现有实现。我的运行平台是Windows XP/Vista/7。 我正在尝试编写一个 C# 程序,它将使用 DES 算法进行加密和解密。我需要一些实
很难说出这里要问什么。这个问题模棱两可、含糊不清、不完整、过于宽泛或夸夸其谈,无法以目前的形式得到合理的回答。如需帮助澄清此问题以便重新打开,visit the help center . 关闭 1
有没有办法强制将另一个 窗口置于顶部? 不是应用程序的窗口,而是另一个已经在系统上运行的窗口。 (Windows, C/C++/C#) 最佳答案 SetWindowPos(that_window_ha
假设您可以在 C/C++ 或 Csharp 之间做出选择,并且您打算在 Windows 和 Linux 服务器上运行同一服务器的多个实例,那么构建套接字服务器应用程序的最明智选择是什么? 最佳答案 如
你们能告诉我它们之间的区别吗? 顺便问一下,有什么叫C++库或C库的吗? 最佳答案 C++ 标准库 和 C 标准库 是 C++ 和 C 标准定义的库,提供给 C++ 和 C 程序使用。那是那些词的共同
下面的测试代码,我将输出信息放在注释中。我使用的是 gcc 4.8.5 和 Centos 7.2。 #include #include class C { public:
很难说出这里问的是什么。这个问题是含糊的、模糊的、不完整的、过于宽泛的或修辞性的,无法以目前的形式得到合理的回答。如需帮助澄清此问题以便重新打开它,visit the help center 。 已关
我的客户将使用名为 annoucement 的结构/类与客户通信。我想我会用 C++ 编写服务器。会有很多不同的类继承annoucement。我的问题是通过网络将这些类发送给客户端 我想也许我应该使用
我在 C# 中有以下函数: public Matrix ConcatDescriptors(IList> descriptors) { int cols = descriptors[0].Co
我有一个项目要编写一个函数来对某些数据执行某些操作。我可以用 C/C++ 编写代码,但我不想与雇主共享该函数的代码。相反,我只想让他有权在他自己的代码中调用该函数。是否可以?我想到了这两种方法 - 在
我使用的是编写糟糕的第 3 方 (C/C++) Api。我从托管代码(C++/CLI)中使用它。有时会出现“访问冲突错误”。这使整个应用程序崩溃。我知道我无法处理这些错误[如果指针访问非法内存位置等,
关闭。这个问题不符合Stack Overflow guidelines .它目前不接受答案。 我们不允许提问寻求书籍、工具、软件库等的推荐。您可以编辑问题,以便用事实和引用来回答。 关闭 7 年前。
已关闭。此问题不符合Stack Overflow guidelines 。目前不接受答案。 要求我们推荐或查找工具、库或最喜欢的场外资源的问题对于 Stack Overflow 来说是偏离主题的,因为
我有一些 C 代码,将使用 P/Invoke 从 C# 调用。我正在尝试为这个 C 函数定义一个 C# 等效项。 SomeData* DoSomething(); struct SomeData {
这个问题已经有答案了: Why are these constructs using pre and post-increment undefined behavior? (14 个回答) 已关闭 6
我是一名优秀的程序员,十分优秀!