Boost Phoenix 入门 (1)

Phoenix 可以看作是对 Boost Lambda Library 的重新实现。它是作为 Boost.Spirit 的一部分的，但是我们完全可以把它作为单独的库来使用，以达到一些非常酷和方便的效果。

 

基本上，Phoenix 大大方便了在 C++ 中进行 functional programming。当然，由于 C++ 不是函数式语言，我们没有可能进行严格的 functional programming，库的作用也只是让这种风格得到更方便的实现。在 STL 里，我们已经在进行一些 FP，例如对 functor 的利用使得算法的重用性大大提高，而 Phoenix 则让编写 functor 更加自然和简便。

 

val

在下面的代码中，val(3) 和 val("Hello Phoenix") 都是 functor，它们的作用就是返回它们的参数。而且，它们是 lazily evaluated 的。

 

#include <iostream>#include <boost/spirit/include/phoenix_core.hpp>using namespace std;using namespace boost::phoenix;int main(){ cout << val(3)() << endl; cout << val("Hello Phoenix")() << endl; return 0;}  

输出：

3
Hello Phoenix

 

ref

val 返回的是对参数的复制，但有时候我们需要返回的是引用，这时可以使用 ref：

 

#include <iostream>#include <boost/spirit/include/phoenix_core.hpp>using namespace boost::phoenix;using namespace std;int main(){ int i = 3; char const* s = "Hello Phoenix"; cout << ref(i)() << endl; cout << ref(s)() << endl; return 0;} 

输出与上面相同。

 

使用 lazy functor

这两个例子显得有点太无趣了，lazy evalution 的好处在于，一个 functor 可以被保存起来以后再用，因此也可以“插入”到已有的算法当中。所以，如果你写了一个 print 算法，那这些 functor 就有用了：

 

#include <iostream>#include <boost/spirit/include/phoenix_core.hpp>using namespace std;using namespace boost::phoenix;template <typename F>void print(F f){ cout << f() << endl;}int main(){ print(val(3)); print(val("Hello Phoenix")); return 0;}  

输出结果与上面相同。

 

arg

在 Boost Lambda Library 中， 有几个叫做 _1, _2, _3... 之类的好东西，它们可以代替第 n 个参数，例如 _2 就返回第2个参数。Phoenix 原本也是这么命名的，但是现在改成了 arg1, arg2, arg3...，它们都位于 boost::phoenix::arg_names 命名空间。看下面程序：

 

#include <iostream>#include <boost/spirit/include/phoenix_core.hpp>using namespace boost::phoenix;using namespace boost::phoenix::arg_names;using namespace std;int main(){ int i = 3; char const* s = "Hello Phoenix"; cout << arg1(i) << endl; cout << arg2(i, s) << endl; return 0;} 

输出仍然和上面相同。

 

来点有用的

下面这个例子比较有用，它去掉一个 vector 中所有的奇数，并且把结果打印出来。其中 remove_if 和 for_each 都是 STL 算法，它们都接受 functor，可以看到 Phoenix 让编写这些 functor 变得非常容易且直观。

 

#include <vector>#include <algorithm>#include <iostream>#include <boost/spirit/include/phoenix_core.hpp>#include <boost/spirit/include/phoenix_operator.hpp>using namespace boost::phoenix;using namespace boost::phoenix::arg_names;using namespace std;int main(){ int init[] = {2, 10, 4, 5, 6, 1, 3, 9, 8, 7}; vector<int> c(init, init + 10); typedef vector<int>::iterator iterator; iterator cend = remove_if(c.begin(), c.end(), arg1 % 2 == 1); for_each(c.begin(), cend, cout << arg1 << " "); return 0;} 

输出：

2 10 4 6 8