Lambda表达式

    在C#2.0中引入了匿名方法，允许在期望出现委托的时候以“内联”的代码替代之。尽管匿名方法提供了函数式编程语言中的很多表达能力，但匿名方法的语法实在是太罗嗦了，并且很不自然。Lambda表达式为书写匿名方法提供了一种更加简单、更加函数化的语法。

    实际上Lambda表达式的本质是匿名方法，也即是当编译我们的程序代码时，编译器会自动帮我们将Lambda表达式转换为匿名方法。

创建Lambda表达式

Lambda表达式的书写方式是一个参数列表后跟“=>”记号，然后跟一个表达式或一个语句块，即Lambda表达式的语法格式为：

参数列 => 语句或语句块

Lambda表达式例子如下所示：

delegate int del(int i);

 ...

 del myDelegate = x => x * x;

 int j = myDelegate(5); //j = 25

关于“参数列”，Lambda表达式的参数列可以具有显式的或隐式的类型。在一个具有显式类型的参数列表中，每个参数的类型都是显式声明的。在一个具有隐式类型的参数列表中，参数的类型是从Lambda表达式出现的上下文中推断出来的——具体来说，是当Lambda表达式被转换为一个兼容的委托类型时，该委托类型提供了参数的类型。

当Lambda表达式只有一个具有隐式类型的参数时，参数列表中的括号可以省略。即：

(param) => expr

可以简写为：

param => expr

最后，参数列中可包含任意个参数（与委托对应），如果参数列中有0个或1个以上参数，则必须使用括号括住参数列，如下：

() => Console.Write("0个参数");

 i => Console.Write("1个参数时参数列中可省略括号，值为：{0}", i);

 (x, y) => Console.Write("包含2个参数，值为：{0}：{1}", x, y);

而“语句或语句块”中如果只有一条语句，则可以不用大括号括住，否则则必须使用大括号，如下所示：

 i => Console.Write("只有一条语句");

 i => { Console.Write("使用大括号的表达式"); };

 //两条语句时必须要大括号

i => { i++; Console.Write("两条语句的情况"); };

如果“语句或语句块”有返回值时，如果只有一条语句则可以不写“return”语句，编译器会自动处理，否则必须加上，如下示例：

class Test

    {

        delegate int AddHandler(int x, int y);

        static void Print(AddHandler add)

        {

            Console.Write(add(1, 3));

        }

        static void Main()

        {

            Print((x, y) => x + y);

            Print((x, y) => { int v = x * 10; return y + v; });

            Console.Read();

        }

    }

Lambda表达式是委托的实现方法，所以必须遵循以下规则：

l         Lambda表达式的参数数量必须和委托的参数数量相同；

l         如果委托的参数中包括有ref或out修饰符，则Lambda表达式的参数列中也必须包括有修饰符；

我们来看如下例子：

class Test

    {

        delegate void OutHandler(out int x);

        static void Print(OutHandler test)

        {

            int i;

            test(out i);

            Console.Write(i);

        }

        static void Main()

        {

            Print((out int x) => x = 3);

            Console.Read();

        }

    }

l         如果委托有返回类型，则Lambda表达式的语句或语句块中也必须返回相同类型的数据；

l         如果委托有几种数据类型格式而在Lambda表达式中编译器无法推断具体数据类型时，则必须手动明确数据类型。

由上面可见，C# 2.0规范中提到的匿名方法规范同样适用于Lambda表达式。Lambda表达式是匿名方法在功能行上的超集，提供了下列附加的功能：

l         Lambda表达式允许省略参数类型并对其进行推断，而匿名方法要求参数类型必须显式地声明。

l         Lambda表达式体可以是表达式或语句块，而匿名方法体只能是语句块。

l         在类型参数推导和方法重载抉择时，Lambda表达式可以被作为参数传递。

l         以一个表达式作为表达式体的Lambda表达式可以被转换为表达式树。