【C#】LINQについての質問です。

質問

【C#】LINQについての質問です。

今、プログラミングLINQ(日経BP)の本を読んでいるのですが、わからないところがありましたので、お分かりの方に教えていただきたいです。

問題の場所は、P87のリスト3-43で、以下のコードです。
わからないのは、このコードの中で、ラムダ式のtとsが何にを指しているのかということです。
お分かりになる方、よろしくお願いいたします。

var expr = from c in customers
join o in
(from c in customers
from o in c.Orders
join p in products on o.IdProduct equals p.IdProduct
select new { c.Name, o.IdProduct, o.Month, OrderAmount = o.Quantity * p.Price })
on c.Name equals o.Name into orders
select new
{
c.Name,
MaxOrder = orders
.Aggregate( new { Amount = 0m, Month = String.Empty },
(t, s) => t.Amount > s.OrderAmount
? t
: new { Amount = s.OrderAmount, Month = s.Month })
};

回答No.1

AKARI0418 · ベストアンサー

>tとsが何にを指しているのかということです。

その部分は引数の数を指しているに過ぎませんよ。

この部分を理解するには、
orders.Aggregate()のとる引数に注目することが必要です。

たぶん、
第２パラメータがFunc(x,y)のような感じになっていませんか？

これはデリゲートが引数になっているのです。

要するに、引数として

(t, s) => t.Amount > s.OrderAmount
? t
: new { Amount = s.OrderAmount, Month = s.Month }

という式を渡してあげているのです。

そのため、
tとsにはその式内での仮名に過ぎませんので、
意味は特にないですね。
hogeとかでも識別できればよいことになります。

お礼

申し訳ございません、理解いたしました。
デリゲートのFunc<>だと、引数の型指定もされている事を忘れていました。
申し訳ございません。

解決しましたので閉じさせていただきます。

補足

早速の回答ありがとうございます。
おっしゃっている内容はわかるのですが、本にはAggregateについて以下のように書いてあります。

public static TAccumulate Aggregate<TSource,TAccumulate>(
this IEnumerable<TSource> source,
TAccumulate seed,
Func<TAccumulate,TSource,TAccumulate> func);

上のはオーバーロードの一例ですが、私がわからないのは、上ではfuncの引数に対して何にも語られていません。
ということは、なぜ、

(t, s) => t.Amount > s.OrderAmount
? t
: new { Amount = s.OrderAmount, Month = s.Month }

で、tが何になり、sが何になるのかはどうやって決まるのかという事がわからないのです。
そういうものだとして、受け入れればいいのかもしれませんが、自分で書くときに、理解していないと書けないと思い質問させていただきました。

そのあたりについて何かおわかりの事がありましたらよろしくお願いいたします。