码迷,mamicode.com
首页 > Windows程序 > 详细

6.7.3.1 在 C# 中实现 fold

时间:2014-11-19 15:58:53      阅读:264      评论:0      收藏:0      [点我收藏+]

标签:io   ar   使用   sp   for   on   art   cti   代码   

6.7.3.1 在 C# 中实现 fold


与 fold 有相同行为的操作,在 .NET 库中也有,但是,名字叫Aggregate(聚合)。通常,它是能够在任何集合类型上运行的扩展方法,我们也可以像 F# 函数一样使用它。清单 6.21 是我们用 C# 3.0 重写前面示例的代码。在 F# 中,我们用元组来保存在聚合过程中的状态。你也许还记得以前的几章中,我们曾提到过,C# 3.0 中的匿名类型有时也能用于这一目的。这是一个非常适合的示例:


var res =
  places.Aggregate(new { StartOfLine = true, Result = "" },
  (r, pl) => {
    var n = r.StartOfLine ? pl.Name.PadRight(20) : (pl.Name + "\n");
    return new { StartOfLine = !r.StartOfLine, Result = r.Result + n };
  }).Result;


在 C# 中,初始值由第一个参数值指定;创建的匿名类型,有一个标志 StartOfLine(用作临时值),和属性Result,用于保存连接的字符串;第二个参数值是 lambda 函数,功能同前面的 F# 示例,但返回的结果也是匿名类型,与初始值有同样的结构。为使代码更有效,我们还可以使用 StringBuilder 类代替连接字符串,但是,我们想让示例尽可能的最简单。
我们已经知道了如何在 C# 中使用函数,现在,应该看看它是如何实现的。在清单 6.24 中,可以看到两个实现,一个是典型的函数式方法,用于第三章的函数式列表,另一个是命令式方法,用于泛型的 .NET List 类型,在原理上,它与 .NET 库中聚合扩展方法相同。


清单 6.24 Fold 的函数式和命令式实现 (C#)


// Functional implementation using ‘cons list‘
R Fold<T, R>(this FuncList<T> list, Func<R, T, R> func, R init) {  [1]
  if (list.IsEmpty)
    return init;    [2]
  else {
    var state = func(init, list.Head)    | [3]
    return list.Tail.Fold(func, state);   |
  }
}


// Imperative implementation using ‘List<T>‘
R Fold<T, R>(this List<T> list, Func<R, T, R> func, R init) {  [4]
  R temp = init;
  foreach(var item in list)
    temp = func(temp, item);  [5]
  return temp;
}


除了使用不同的集合类型之外,这两个方法[1][4]的签名是一样的;它相当于前面 F# 的声明,虽然,我们必须显式地写出类型参数。两种情况下,列表都是作为第一个参数,实现了集合类型的扩展方法。
在函数式版本中,有两个分支。第一个处理空列表[2],第二个递归地处理 cons cell,并使用 fun(函数)参数[3]聚合结果。命令式版本,声明了一个局部可变值,保存聚合过程中的当前结果。通过遍历所有元素计算出聚合后的值,并在每次迭代[5]中更新这个值。
我们曾经提到过,实现其他操作的过程非常类似。在 map 和 filter 的函数式版本中,在[2]中应该返回空列表,在命令式版本中,使用可变列表作为临时值;其他改变在[4]和[5]两行。当执行映射时,只要调用给定的函数,而对于筛选,可能要决定是否追加当前元素。
有关高阶函数,我们结论是,需要重点理清处理列表的函数与处理选项值函数之间的关系。

6.7.3.1 在 C# 中实现 fold

标签:io   ar   使用   sp   for   on   art   cti   代码   

原文地址:http://blog.csdn.net/hadstj/article/details/41282991

(0)
(0)
   
举报
评论 一句话评论(0
登录后才能评论!
© 2014 mamicode.com 版权所有  联系我们:gaon5@hotmail.com
迷上了代码!