Lambda 表达式（二）-码住

在上一篇Lambda 表达式（一）中，简单介绍了Lambda 表达式这种方式。在这一篇会详细介绍它的一些用法。

六 带有标准查询运算符的 lambda

许多标准查询运算符都具有输入参数，其类型是泛型委托系列 Func

public delegate TResult Func<TArg0, TResult>(TArg0 arg0)

可以将委托实例化为 Func int,bool> myFunc。其中 int 是输入参数，bool 是返回值。 返回值始终在最后一个类型参数中指定。 Func

Func<int, bool> myFunc = x => x == 5;
bool result = myFunc(4); // returns false of course

当参数类型为 Expression 时，你也可以提供 Lambda 表达式，例如在 System.Linq.Queryable 内定义的标准查询运算符中。 如果指定Expression 参数，lambda 将编译为表达式目录树。
此处显示了一个标准查询运算符，Count 方法：

int[] numbers = { 5, 4, 1, 3, 9, 8, 6, 7, 2, 0 };
int oddNumbers = numbers.Count(n => n % 2 == 1);

编译器可以推断输入参数的类型，或者你也可以显式指定该类型。 这个特殊 lambda 表达式将计算那些除以 2 时余数为 1 的整数的数量 (n)。
下面一行代码将生成一个序列，其中包含 numbers 数组中在 9 左侧的所有元素，因为它是序列中第一个不满足条件的数字：

var firstNumbersLessThan6 = numbers.TakeWhile(n => n < 6);

此示例展示了如何通过将输入参数括在括号中来指定多个输入参数。 该方法将返回数字数组中的所有元素，直至遇到一个值小于其位置的数字为止。不要将 lambda 运算符 (=>) 与大于等于运算符 (>=) 混淆。

var firstSmallNumbers = numbers.TakeWhile((n, index) => n >= index);

七 Lambda 中的类型推理

在编写 lambda 时，通常不必为输入参数指定类型，因为编译器可以根据 lambda 主体、参数的委托类型以及 C# 语言规范中描述的其他因素来推断类型。 对于大多数标准查询运算符，第一个输入是源序列中的元素类型。 因此，如果要查询 IEnumerable，则输入变量将被推断为Customer 对象，这意味着你可以访问其方法和属性：

customers.Where(c => c.City == "London");

Lambda 的一般规则如下：

• Lambda 包含的参数数量必须与委托类型包含的参数数量相同。
• Lambda 中的每个输入参数必须都能够隐式转换为其对应的委托参数。
• Lambda 的返回值（如果有）必须能够隐式转换为委托的返回类型。

请注意，lambda 表达式本身没有类型，因为常规类型系统没有“Lambda 表达式”这一内部概念。 但是，有时以一种非正式的方式谈论 lambda 表达式的“类型”会很方便。 在这些情况下，类型是指委托类型或 lambda 表达式所转换到的 Expression 类型。

八 Lambda 表达式中的变量范围

在定义 lambda 函数的方法内或包含 lambda 表达式的类型内，Lambda 可以引用范围内的外部变量（请参阅匿名方法（C# 编程指南））。 以这种方式捕获的变量将进行存储以备在 lambda 表达式中使用，即使在其他情况下，这些变量将超出范围并进行垃圾回收。 必须明确地分配外部变量，然后才能在 lambda 表达式中使用该变量。 下面的示例演示这些规则：

delegate bool D();
delegate bool D2(int i);
class Test
{
    D del;
    D2 del2;
    public void TestMethod(int input)
    {
        int j = 0;
        // Initialize the delegates with lambda expressions.
        // Note access to 2 outer variables.
        // del will be invoked within this method.
        del = () => { j = 10;  return j > input; };
// del2 will be invoked after TestMethod goes out of scope.
        del2 = (x) => {return x == j; };
// Demonstrate value of j:
        // Output: j = 0 
        // The delegate has not been invoked yet.
        Console.WriteLine("j = {0}", j);        // Invoke the delegate.
        bool boolResult = del();
// Output: j = 10 b = True
        Console.WriteLine("j = {0}. b = {1}", j, boolResult);
    }
static void Main()
    {
        Test test = new Test();
        test.TestMethod(5);
// Prove that del2 still has a copy of
        // local variable j from TestMethod.
        bool result = test.del2(10);
// Output: True
        Console.WriteLine(result);
Console.ReadKey();
    }
}

下列规则适用于 lambda 表达式中的变量范围：
• 捕获的变量将不会被作为垃圾回收，直至引用变量的委托符合垃圾回收的条件。
• 在外部方法中看不到 lambda 表达式内引入的变量。
• Lambda 表达式无法从封闭方法中直接捕获 ref 或 out 参数。
• Lambda 表达式中的返回语句不会导致封闭方法返回。
• 如果跳转语句的目标在块外部，则 lambda 表达式不能包含位于 lambda 函数内部的 goto 语句、break 语句或 continue 语句。 同样，如果目标在块内部，则在 lambda 函数块外部使用跳转语句也是错误的。