反应性编程和.NET反应性框架并不是新事物。它早已经为Cells(一种Common Lisp的数据流扩展),和支持高阶反应性编程的Python扩展Trellis所应用。在C#中,程序员在指定异步操作指定回调,或事件处理程序的时候使用反应性编程。在异步操作完成或者事件触发的时候,就会调用方法并作为对该事件的反应。
在.NET反应性框架中,LINQ to Object使用IEnumerable和IEnumerator两个接口来迭代数据集。枚举器的MoveNext()方法用于从前一个元素枚举到下一个元素,而Current属性则用于检索个别的元素。这种机制采取广泛使用的简洁易懂的“拉(pull)”过程。Erik还发现IEnumerable有对偶特性:一个是可以从集合中提取数据,同时可以把数据推进同样的集合。这意味着另一种反应性编程的方式。
理论上来说,IEnumerable接口可对集合添加对象,但是由于它的阻塞性所以不能在异步操作中进行。那就是为什么该团队引入了两个新的接口:IObservable和IObserver。人们可以把IObserver赋给数据集并把它作为IObservable订阅。当一项新的数据可用时,就可以通过传递IObservable来把它压进集合,接着再传给IObserver。微软展示平台控件小组的开发人员Jafar Husain解释IObserver模式的使用方法如下:
要遍历IObservable,你需要做的就是执行与IEnumerable相反的操作。创建IObserver,把它赋给IObservable,接着IObservable通过调用自身的方法来把数据压进IObserver。在IObservable对Observer调用OnUpdate方法的时候,就相当于IEnumerable方法使用关键字yield向IEnumerable传递信息。类似地,在IObservable对Observer调用OnCompleted方法的时候,就相当于IEnumerable使用关键字break来表示没有数据一样。
这样做的好处是什么呢?这种方法在处理事件的时候有着极大的优势。我们可以把IObserver附加到鼠标事件并对这些事件异步记录到一个集合当中。接着就可以使用LINQ来迭代数据,并进行相应的处理。要说明它在处理GUI事件的威力,Rx框架已经在Silverlight Toolkit单元测试中使用,并包含源代码,封装在System.Reactive.dll中。这也将会包含在.NET 4.0。
软件架构师和天文物理学家Brian Beckman在视频采访Erik Meijer时,证实了IObservable是连续的Monad,即IEnumerable Monad的对偶性。Erik也介绍了如何通过二元化IEnumerable来构建IObservable 接口。
在.NET反应性框架中实现LINQ就介绍到这里。
【编辑推荐】