c++ 条件变量（c++ 条件变量signal）



作者简介： 祁宇，武汉烽火云创软件技术有限公司研发中心技术总监，《深入应用C++11》作者，C++开源社区purecpp.org创始人，致力于C++11的应用、研究和推广。乐于研究和分享技术，爱好C++，爱好开源。

导读： 本文作者从介绍函数式编程的概念入手，分析了函数式编程的表现形式和特性，最终通过现代C++的新特性以及一些模板云技巧实现了一个非常灵活的pipeline，展示了现代C++实现函数式编程的方法和技巧，同时也体现了现代C++的强大威力和无限可能。

函数式编程是一种编程范式，它有下面的一些特征：

• 函数是一等公民，可以像数据一样传来传去。
• 高阶函数
• 递归
• pipeline
• 惰性求值
• 柯里化
• 偏应用函数

C++98/03中的函数对象，和C++11中的Lambda表达式、std::function和std::bind让C++的函数式编程变得容易。我们可以利用C++11/14里的新特性来实现高阶函数、链式调用、惰性求值和柯理化等函数式编程特性。本文将通过一些典型示例来讲解如何使用现代C++来实现函数式编程。

高阶函数就是参数为函数或返回值为函数的函数，经典的高阶函数就是map、filter、fold和compose函数，比如Scala中高阶函数：

• map

  对列表中的每个元素应用一个函数，返回应用后的元素所组成的列表。

• filter

  移除任何对传入函数计算结果为false的元素。

• fold

  将一个初始值和一个二元函数的结果累加起来。

• compose

  组合其它函数形成一个新函数f(g(x))。

上面的例子中，有的是参数为函数，有的是参数和返回值都是函数。高阶函数不仅语义上更加抽象泛化，还能实现“函数是一等公民”，将函数像data一样传来传去或者组合，非常灵活。其中，compose还可以实现惰性求值，compose的返回结果是一个函数，我们可以保存起来，在后面需要的时候调用。

用法和Unix Shell的管道操作比较像，|前面的数据或函数作为|后面函数的输入，顺序执行直到最后一个函数。

这种管道方式的函数调用让逻辑看起来更加清晰明了，也非常灵活，允许你将多个高阶函数自由组合成一个链条，同时还可以保存起来实现惰性求值。现代C++实现这种pipeline也是比较容易的，下面来讲解如何充分借助C++11/14的新特性来实现这些高阶函数和pipeline。

根据前面介绍的pipeline表现形式，可以把pipeline分解为几部分：高阶函数，惰性求值，运算符|、柯里化和pipeline，把这几部分实现之后就可以组成一个完整的pipeline了。下面来分别介绍它们的实现技术。

函数式编程的核心就是函数，它是一等公民，最灵活的函数就是高阶函数，现代C++的算法中已经有很多高阶函数了，比如for_each, transform：

这些高阶函数不仅可以接受Lambda表达式，还能接受std::function、函数对象、普通的全局函数，很灵活。需要注意的是，普通的全局函数在pipeline时存在局限性，因为它不像函数对象一样可以保存起来延迟调用，所以我们需要一个方法将普通的函数转换为函数对象。std::bind也可以将函数转化为函数对象，但是bind不够通用，使用的时候它只能绑定有限的参数，如果函数本身就是可变参数的就无法bind了，所以，这个函数对象必须是泛化的，类似于这样：

上面的函数对象内部包装了一个普通函数的调用，当函数调用的时候实际上会调用普通函数globle_func，但是这个代码不通用，它无法用于其他的函数。为了让这个转换变得通用，我们可以借助一个宏来实现function到functor的转换。

我们先定义了一个宏，这个宏根据参数来生成一个可变参数的函数对象，这个函数对象的类型名为tfn_加普通函数的函数名，之所以要加一个前缀tfn_，是为了避免类型名和函数名重名。define_functor_type宏只是定义了一个函数对象的类型，用起来略感不便，还可以再简化一下，让使用更方便。我们可以再定义一个宏来生成转换后的函数对象：

make_globle_functor生成了一个可以直接使用的全局函数对象，使用起来更方便了。用这个方法就可以将普通函数转成pipeline中的函数对象了。接下来我们来探讨实现惰性求值的关键技术。

惰性求值是将求值运算延迟到需要值时候进行，通常的做法是将函数或函数的参数保存起来，在需要的时候才调用函数或者将保存的参数传入函数实现调用。现代C++里已经提供可以保存起来的函数对象和lambda表达式，因此需要解决的问题是如何将参数保存起来，然后在需要的时候传给函数实现调用。我们可以借助std::tuple、type_traits和可变模版参数来实现目标。

上面的测试代码中，我们先把参数保存到一个tuple中，然后在需要的时候将参数和函数f传入tuple_apply，最终实现了f函数的调用。tuple_apply实现了一个“魔法”将tuple变成了函数的参数，来看看这个“魔法”具体是怎么实现的。

tuple_apply_impl实现的关键是在于可变模版参数的展开，可变模版参数的展开又借助了std::index_sequence

pipeline的一个主要表现形式是通过运算符|来将data和函数分隔开或者将函数和函数组成一个链条，比如像下面的unix shell命令：

C++实现类似的调用可以通过重载运算符来实现，下面是data和函数通过|连接的实现代码：

除了data和函数通过|连接之外，还需要实现函数和函数通过|连接，我们通过可变参数来实现：

其中fn_chain是一个可以接受任意个函数的函数对象，它的实现将在后面介绍。通过|运算符重载我们可以实现类似于unix shell的pipeline表现形式。

函数式编程中比较灵活的一个地方就是柯里化(currying)，柯里化是把多个参数的函数变换成单参数的函数，并返回一个新函数，这个新函数处理剩下的参数。以Scala的柯里化为例：

• 未柯里化的函数

• 柯里化之后

currying之后add(1)(2)等价于add(1,2)，这种currying默认是从左到右的，如果希望从右到左呢，然而大部分编程语言没有实现更灵活的curring。C++11里面的std::bind可以实现currying，但要实现向左或向右灵活的currying比较困难，可以借助tuple和前面介绍的tuple_apply来实现一个更灵活的currying函数对象。

从测试代码中可以看到这个currying函数对象，既可以从左边currying又可以从右边currying，非常灵活。不过使用上还不太方便，没有fn(1)(2)(3)这样方便，我们可以通过运算符重载来简化书写，由于C++标准中不允许重载全局的operater()符，并且operater()符无法区分到底是从左边还是从右边currying，所以我们选择重载<<和>>操作符来分别表示从左至右currying和从右至左currying。

有了这两个重载运算符，测试代码可以写得更简洁了。

curry_functor利用了tuple的特性，内部有两个空的tuple，一个用来保存left currying的参数，一个用来保存right currying的参数，不断地currying时，通过tuple_cat把新currying的参数保存到tuple中，最后调用的时候将tuple成员和参数组成一个最终的tuple，然后通过tuple_apply实现调用。有了前面这些基础设施之后我们实现pipeline也是水到渠成。

通过运算符|重载，我们可以实现一个简单的pipeline：

这个简单的pipeline虽然可以实现管道方式的链式计算，但是它只是将data和函数通过|连接起来了，还没有实现函数和函数的连接，并且是立即计算的，没有实现延迟计算。因此我们还需要实现通过|连接函数，从而实现灵活的pipeline。我们可以通过一个function chain来接受任意个函数并组成一个函数链。利用可变模版参数、tuple和type_traits就可以实现了。

测试代码中用一个fn_chain和运算符|将所有的函数组合成了一个函数链，在需要的时候调用，从而实现了惰性求值。

fn_chain的实现思路是这样的：内部有一个std::tuple

在调用call_impl的过程中，将std::index_sequence不断展开，先从tuple中获取第I个function，然后调用获得第I个function的执行结果，将这个执行结果作为下次调用的参数，不断地递归调用，直到最后一个函数完成调用为止，返回最终的链式调用的结果。

至此我们实现具备惰性求值、高阶函数和currying特性的完整的pipeline，有了这个pipeline，我们可以实现经典的流式计算和AOP，接下来我们来看看如何利用pipeline来实现流式的mapreduce和灵活的AOP。

前面的pipeline已经可以实现链式调用了，要实现pipeline形式的mapreduce关键就是实现map、filter和reduce等高阶函数。下面是它们的具体实现：

这些高阶函数还需要转换成支持currying的functor，前面我们已经定义了一个普通的函数对象转换为柯里化的函数对象的方法：

通过下面这个宏让currying functor用起来更简洁：

我们定义了map、reduce和filter支持柯里化的三个全局函数对象，接下来我们就可以把它们组成一个pipeline了。

上面的例子实现了pipeline的mapreduce，这个pipeline支持currying还可以任意组合，非常方便和灵活。

有了这个pipeline，实现灵活的AOP也是很容易的：

上面的测试例子中，核心逻辑是func函数，我们可以在func之前或之后插入切面逻辑，切面逻辑可以不断地加到链条前面或者后面，实现很巧妙，使用很常灵活。

本文通过介绍函数式编程的概念入手，分析了函数式编程的表现形式和特性，最终通过现代C++的新特性和一些模版元技巧实现了一个非常灵活的pipeline，展示了现代C++实现函数式编程的方法和技巧，同时也提现了现代C++的强大威力和无限的可能性。文中完整的代码可以从我的GitHub（https://github.com/qicosmos/cosmos/blob/master/modern_functor.hpp）上查看。

本文的代码和思路参考和借鉴了http://vitiy.info/templates-as-first-class-citizens-in-cpp11/，在此表示感谢。

2016 年 9 月 23-24 日，由 CSDN 和创新工场联合主办的“MDCC 2016 移动开发者大会• 中国”（Mobile Developer Conference China）将在北京• 国家会议中心召开，来自 iOS、Android、跨平台开发、产品设计、VR 开发、移动直播、人工智能、物联网、硬件开发、信息无障碍10个领域的技术专家将分享他们在各自行业的真知灼见。

从 8 月 8 日起至 9 月 4 日，MDCC 大会门票处于 6.8 折优惠票价阶段，五人以上团购更有特惠，限量供应（票务详情链接，6.8折优惠，欲购从速！）

版权声明：

本文来自互联网用户投稿，该文观点仅代表作者本人，不代表本站立场。本站仅提供信息存储空间服务，不拥有所有权，不承担相关法律责任。
如若内容造成侵权、违法违规、事实不符，请将相关资料发送至xkadmin@xkablog.com进行投诉反馈，一经查实，立即处理！

转载请注明出处，原文链接：https://www.xkablog.com/cjjbc/48470.html