OldJiang.com

浩毛的博客

OldJiang.com
posts - 14, comments - 81, trackbacks - 0, articles - 0
  C++博客 :: 首页 :: 新随笔 :: 联系 :: 聚合  :: 管理

Boost.Program_options中的一个函数式编程的例子

Posted on 2010-07-05 23:08 浩毛 阅读(1758) 评论(2)  编辑 收藏 引用 所属分类: C & C++
    boost里的program_options提供程序员一种方便的命令行和配置文件进行程序选项设置的方法。
    其文档例子中有如下代码:
   
1 using namespace boost::program_options;
2 //声明需要的选项
3 options_description desc("Allowed options");
4 desc.add_options()
5         ("help,h""produce help message")
6         ("person,p", value<string>()->default_value("world"), "who");

    看第4到6行,是不是感觉很怪?这种方式体现了函数式编程中最大的特点:函数是一类值,引用资料来说,所谓“函数是一类值(First Class Value)”指的是函数和值是同等的概念,一个函数可以作为另外一个函数的参数,也可以作为值使用。如果函数可以作为一类值使用,那么我们就可以写出一些函数,使得这些函数接受其它函数作为参数并返回另外一个函数。比如定义了f和g两个函数,用compose(f,g)的风格就可以生成另外一个函数,使得这个函数执行f(g(x))的操作,则可称compose为高阶函数(Higher-order Function)。

    program_options里的这种方式是怎么实现的呢?通过分析boost的源代码,我们自己来写个类似的实现看看:
     test.h   
 1 #pragma once
 2 
 3 #include <iostream>
 4 using namespace std;
 5 
 6 class Test;
 7 
 8 class Test_easy_init
 9 {
10 public:
11     Test_easy_init(Test* owner):m_owner(owner){}
12 
13     Test_easy_init & operator () (const char* name);
14     Test_easy_init & operator () (const char* name,int id);
15 private:
16     Test* m_owner;
17 };
18 
19 
20 class Test
21 {
22 public:
23     void add(const char* name);
24     void add(const char* name,int id);
25 
26     Test_easy_init add_some();
27 
28 };

test.cpp
 1 #include "test.h"
 2 
 3 Test_easy_init & Test_easy_init::operator () (const char* name,int id)
 4 {
 5 
 6     m_owner->add(name,id);
 7     return *this;
 8 }
 9 
10 
11 Test_easy_init & Test_easy_init::operator () (const char* name)
12 {
13 
14     m_owner->add(name);
15     return *this;
16 }
17 
18 Test_easy_init Test::add_some()
19 {
20     return Test_easy_init(this);
21 }
22 
23 
24 void Test::add(const char* name)
25 {
26     cout<<"add:"<<name<<endl;
27 }
28 
29 void Test::add(const char* name,int id)
30 {
31     cout<<"add:"<<name<<"-"<<id<<endl;
32 }

使用方式:
1 Test t1;
2 
3 t1.add_some()
4     ("hello",1)
5     ("no id")
6     ("hello2",2);

是不是很有意思。add_some()方法返回一个Test_easy_init类的对象,Test_easy_init类重载了操作符(),操作符()方法返回Test_easy_init类对象自身的引用。。

Feedback

# re: Boost.Program_options中的一个函数式编程的例子  回复  更多评论   

2010-07-06 13:58 by 陈梓瀚(vczh)
这是声明式编程(Declarative Programming),跟函数式还是两回事。

# re: Boost.Program_options中的一个函数式编程的例子  回复  更多评论   

2010-07-06 22:46 by 飞鸽传书
Boost 这个库确实很强大,不过用的人很少,技术文档中文的基本上很少。楼主继续介绍,我们继续关注。

只有注册用户登录后才能发表评论。
网站导航: 博客园   IT新闻   BlogJava   知识库   博问   管理


OldJiang.com