本系列学习在.NET中的并发并行编程模式,实战技巧
函数式编程和面向过程编程POP(procedure oriented Programming)面向对象编程OOP(object oriented programming)一样也是一种编程思维。函数式编程FP(functional programming)和面向过程比较类似,但它更加抽象。
举个栗子
五子棋,用面向过程编程开发流程就是: ①开始游戏->②黑子先走->③绘制局势->④判断输赢->⑤轮到白子->⑥绘制局势->⑦判断输赢->⑧返回步骤②->⑨输出结果,每一步骤写成单独的函数就是面向过程的编程思维。优点逻辑很清晰,较少的抽象。
面向对象编程可以从另外一个角度来解决这个问题,本质就是按功能角色划分,将不同的函数封装到不同的对象中。黑白双方一个对象,棋盘对象用于绘制棋盘局势,规则对象用于判断输赢是否五子连心。各个对象之间互相通知,互相协调。优点维护修改方便,如果换成围棋,直接修改规则对象判断棋子是否还有“气”,或者通过面向对象特性去扩展一个对象。理解起来可能比较困难,实际代码执行可能分散到太多分支上。
面向函数编程呢?函数也是一个独立的存在,它可以像变量一样在任何地方出现。因为在面向过程中,不需要将函数做当方法来调用,直接在过程中调用,像Lambda表达式,对一个集合进行快速处理,不需要额外增加方法,调用出编写一个临时函数即可。
函数先思考一个问题,函数一定要当做方法放在一个对象中吗?答案是否定的,函数并不属于对象,它是独立的。在函数式编程思维里,函数可以通过变量,参数等方式传递到任何地方,可以在任何地方被调用,它和基本数据类型的待遇一样。函数式语言一直以来都比较低调,直到并发计算编程瓶颈的出现。
实现并发并发容易造成什么问题?从单线程到多线程中,共享状态的变化容易不受控制。传统的解决方案就是同步对资源的访问,避免线程之间的争用。这样也不是万全之策,同步访问互斥锁容易出现竞态和死锁。根本的解决方案应该是不依赖于这些变量,既然是变量,就不能依赖于它的状态。
FP在并发编程上的优势
不可变性。在FP中没有变量赋值的概念。对象一旦确定值就不可更改,这在线程之间可以安全的传输。
纯函数。函数不会修改函数体之外的任何类型的输入或数据,也就是纯函数,没有副作用(副作用就是相同的输入可能产生不同的输出)。输出取决于输出,相同的参数传递给纯函数,输出只会是相同的值,产生一致的预期行为。
延迟计算。在FP中按需检索函数的结果,或将大数据流的分析推迟到需要时。
可组合性。组合函数创建更高级的抽象,有利用解决复杂问题。
NULL值的错误高级语言一般都有NULL值类型。Tony Hoare在1965年设计ALGOL面向对象语言时引入了null引用。大约44年后,他为发明他道歉,称它是10亿美元的错误。
我无法抗拒引入null引用的诱惑,因为它非常容易实现。这导致了无数的错误、漏洞和系统崩溃。
F#是.NET语言的一部分,是一种函数式编程语言。它就强烈反对null值,鼓励使用不可变的数据结构,天生适用于并发。C#是在.NET3.5之后也引入函数式范式,增加了诸如lambda表达式和LINQ之类的列表解析功能。因为都在.NET平台上,F#和C#可以互操作,互相调用,有些复杂场景用F#可以用更简易的方式实现。
to be contiued!
下集:并发函数式编程技术
写给普通:
人一旦得到一样东西
就会忘记当初趴在橱窗看它的感觉