.NET并发编程之函数闭包

函数式编程

一个函数输出当做另一个函数输入。有时候一个复杂问题，我们拆分成很多个步骤函数，这些函数组合起来调用解决一个复杂问题。

在c#中不支持函数组合，但可以直接像这样调用b(a(n))，这也是函数组合，但这不利于阅读，人们习惯从左往右阅读，而不是相反的方向。通过创建扩展方法可以任何组合两个函数，像下面这样

 上述代码为泛型委托func<a,b>创建了一个扩展compose的扩展方法，以泛型委托func<b,c>为输入参数，返回组合后的函数func<a,c>。创建一个高阶函数compose把不利于阅读的隐藏起来。

在f#中就非常方便的使用函数组合。举个例子，将一个列表中数字增加4再乘以3，构建这两个步骤的函数（当然利用c#linq或f#map可以直接(x+4)*3，这里主要演示两个功能函数如何组合起来）。

以下载图片更新窗体picturebox控件为例：

因为是异步下载，updateimage方法返回后，图片还未下载完成，但picbox变量仍然可以使用。这就是变量捕获。lambda表达式捕获了局部变量image，因此它仍停留在作用域中。但捕获的变量值是在运行时确定的，而不是在捕获时，最后一句如果放开，将不能更新窗体。运行时picbox为null了，在f#中不存在null的概念，所以也不会出现此类错误。

多线程环境中的闭包使用。猜测下面的代码运行结果如何？

 不会按期望的那样打印1-9，因为他们共享变量i，调用时i的值可能已经被循环修改了。印证上面说的捕获的变量值是在运行时确定的。

这种情况就很难搞，给并行编程带来了头疼的问题，变量可变，这不废话吗，变量不会变就不叫变量了。在c#中解决此类问题的一个方法就是为每个任务创建创建和捕获一个新的临时变量，这样它就能保留捕获时的值。在f#中不存在这个问题，它的for循环每次创建一个新的不可变值。

记忆化函数缓存

一些函数会频繁的使用相同的参数去调用。我们可以将用相同的参数调用函数的结果存储起来，以便下次调用直接返回结果。例如对图片每个像素做处理，一张图片可能相同像素的会有很多，通过缓存可以直接返回上次计算结果。 

上述示例代码中有三个版本的函数记忆化。调用像下面这样

public static string greeting(string name)
{
  return $"warm greetings {name}, the time is {datetime.now.tostring("hh:mm:ss")}";
}

public static void rundemomemoization()
{
  var greetingmemoize = memoize<string, string>(greeting);
  console.writeline(greetingmemoize("richard"));
  console.writeline(greetingmemoize("paul"));
  console.writeline(greetingmemoize("richard"));
}