ラムダ式 (=>) 演算子でラムダ式を定義する

=> トークンは、ラムダ演算子として、およびメンバー名の区切り記号として、および式本体定義のメンバー実装の 2 つの形式でサポートされます。

ラムダ演算子

ラムダ式では、ラムダ演算子=>は、左側の入力パラメーターと右側のラムダ本体を分離します。

次の例では、 LINQ 機能とメソッド構文を使用して、ラムダ式の使用方法を示します。

string[] words = { "bot", "apple", "apricot" };
int minimalLength = words
  .Where(w => w.StartsWith("a"))
  .Min(w => w.Length);
Console.WriteLine(minimalLength);   // output: 5

int[] numbers = { 4, 7, 10 };
int product = numbers.Aggregate(1, (interim, next) => interim * next);
Console.WriteLine(product);   // output: 280

ラムダ式の入力パラメーターは、コンパイル時に厳密に型指定されます。 前の例のように、コンパイラが入力パラメーターの型を推論できる場合は、型宣言を省略できます。 入力パラメーターの種類を指定する必要がある場合は、次の例に示すように、各パラメーターに対してこれを行う必要があります。

int[] numbers = { 4, 7, 10 };
int product = numbers.Aggregate(1, (int interim, int next) => interim * next);
Console.WriteLine(product);   // output: 280

次の例は、入力パラメーターなしでラムダ式を定義する方法を示しています。

Func<string> greet = () => "Hello, World!";
Console.WriteLine(greet());

詳細については、「 ラムダ式」を参照してください。

式本体の定義

式本体の定義には、次の一般的な構文があります。

member => expression;

ここで、 expression は有効な式です。 expressionの戻り値の型は、メンバーの戻り値の型に暗黙的に変換できる必要があります。 メンバーが次の場合:

• 戻り値の型が void であるか、または
• 以下のいずれかである:
  • コンストラクター
  • ファイナライザー
  • プロパティまたはインデクサー set アクセサー

expression は ステートメント式である必要があります。 式の結果は破棄されるため、その式の戻り値の型は任意の型にすることができます。

次の例は、 Person.ToString メソッドの式本体の定義を示しています。

public override string ToString() => $"{fname} {lname}".Trim();

これは、次のメソッド定義の短縮版です。

public override string ToString()
{
   return $"{fname} {lname}".Trim();
}

メソッド、演算子、読み取り専用プロパティ、コンストラクター、ファイナライザー、およびプロパティアクセサーとインデクサー アクセサーの式本体定義を作成できます。 詳細については、「式形式のメンバー」を参照してください。

演算子のオーバーロード可能性

=>演算子はオーバーロードできません。

C# 言語仕様

ラムダ演算子の詳細については、C# 言語仕様の「匿名関数式」セクションを参照してください。

こちらもご覧ください

• C# の演算子と式