ラムダ式っていうのが分かりません

Question

c#は古いバージョンしか分からないです。2005とか。
というより、いまc#を勉強しています。

ラムダ式というのが分かりません。
いろいろサイトを見ていたんですが、書いていることが難しくて。

ラムダ式って参照というものではないのでしょうか？

初心者にもわかりやすく教えてもらえないでしょうか？

よろしくお願いします。

Comments

[Zuishin]

初心者にもわかりやすく教えました。あなたにわかりやすいかどうかまでは、何も返事がないのでわかりません。

[Zuishin]

初心者にもわかりやすく教えました。あなたにわかりやすいかどうかまでは、何も返事がないのでわかりません。

[Zuishin]

初心者にもわかりやすく教えました。あなたにわかりやすいかどうかまでは、何も返事がないのでわかりません。

Answer 1

次のコードを見てください。
(1)～(5)はすべて同じことをします。

using System;

namespace ConsoleApp1
{
	class Program
	{
		static void Main(string[] args)
		{
			// (1)
			Console.WriteLine(Add(2, 3));

			// (2)
			Func<int, int, int> add = Add;
			Console.WriteLine(add(2, 3));

			// (3)
			add = (int a, int b) => { return a + b; };
			Console.WriteLine(add(2, 3));

			// (4)
			add = (a, b) => { return a + b; };
			Console.WriteLine(add(2, 3));

			// (5)
			add = (a, b) => a + b;
			Console.WriteLine(add(2, 3));

			Console.ReadKey();
		}

		static int Add(int a, int b)
		{
			return a + b;
		}
	}
}

(1)
この後に定義された static int Add(int a, int b) メソッドを呼び出し、その戻り値をコンソールに出力しています。

(2)
Func<int, int, int> はデリゲート型と呼ばれる型の一つで、デリゲート型はメソッドを代入することができます。
Func<int, int, int> add = Add; と書くことで、デリゲート型の変数 add にメソッド Add を代入しています。
代入されたのは、メソッドを呼び出して得られた戻り値ではなく、メソッドそのものです。
ですので、この後 add(2, 3) と書いて Add(2, 3) を呼び出すことができます。

(3)
デリゲート型の add を再利用していますが、今度はメソッドではなくラムダ式を代入しています。
ラムダ式はデリゲート型に代入することでメソッドとしてコンパイルされ、呼び出すことができるようになります。
static int Add(int a, int b) とこのラムダ式を比較してください。
戻り値の型とメソッド名が省略され、引数と中身が ラムダ演算子(=>) で結ばれていますが、表記はメソッドそのものです。

// ラムダ式
Func<int, int, int> add = (int a, int b) => { return a + b; };

// メソッド
int Add(int a, int b) { return a + b; }

(4)
add は Func<int, int, int> 型の変数なので、ここで引数の型が宣言されています。
なので、引数の型を省略することができます。
(3) のラムダ式から引数の型を省略したのがこれです。
また、引数が一つの場合は () も省略できます。

// 引数が一つの場合
Func<int, int> Increment = a => { return a + 1; }

(5)
処理内容が一つの式に収まる場合は、{} と ; と return を省略することができます。
(4) のラムダ式から省略したのがこれです。

#まとめ

• デリゲートはメソッドを代入できる型である
• ラムダ式はデリゲートにキャストすることでメソッドになる
• デリゲートにキャストされるラムダ式は簡単に書けるよう多くの省略が許可されている

#余談:デリゲートでないラムダ式
ラムダ式が使われるのはデリゲートだけではありません。
例えば LINQ to SQL ではラムダ式をメソッドではなく SQL(つまり文字列)にコンパイルします。
ラムダ式は本来は式木と呼ばれるデータ構造を表現するためのものでアルゴリズムをデータとして表現するもので(C# の場合です。数学のラムダ式とは違います)、デリゲートや LINQ とは別の概念として理解してください。
LINQ で多用されるのがデリゲートで、デリゲートを簡単に記述するのがラムダ式です。

Comments

[asm]

式木にできないラムダ式があるので
> ラムダ式は本来は式木と呼ばれるデータ構造を表現するためのもの
はどうなんでしょうか

[Zuishin]

確かに「本来」は言い過ぎでしたね。修正します。

Answer 2

こんにちは。

ラムダ式というもののを一言で表すのは、知識レベルにもよるため難しいですが、C#の文法としてのラムダ式を簡単に説明するなら、

• 変数に入れたり引数に渡したりできる「メソッド」を表現したもの

というのが理解しやすいかと思います。

ラムダ式はメソッドそのものであると考えてよく、=>の左側がメソッドの引数、右側がメソッドの内部処理に相当するものです。
ラムダ式の用途は「手続きそのものをメソッドの引数に渡したい」という場面で役立ちます。
例えば、Linqに関連してよくラムダ式の解説が登場しますが、Linqの各メソッドは「どのような処理をするのかは決まっていない」ので、その実処理をラムダ式として書いて引数に渡しているのです。

その他の細かいアレコレについては、上記をしっかり理解してからで良いでしょう。この内容が理解できなければ、その他の内容は高度すぎます。

Answer 3

基本的には匿名メソッドを作るときの構文を簡略化したものです。

名前のないメソッドを作成し、それを渡します。