From, let, where, join и orderby

Выражение запроса с вторым предложением from, за которым следует предложение select,

from x₁ in e₁
from x₂ in e₂
select v

переводится в

( e₁ ) . SelectMany( x₁ => e₂ , ( x₁ , x₂ ) => v )

Выражение запроса с вторым предложением from, за которым следует предложение, отличное от select,

from x₁ in e₁
from x₂ in e₂
…

переводится в

from * in ( e₁ ) . SelectMany( x₁ => e₂ , ( x₁ , x₂ ) => new { x₁ , x₂ } )
…

Выражение запроса с продолжением let

from x in e
let y = f
…

переводится в

from * in ( e ) . Select ( x => new { x , y = f } )
…

Выражение запроса с продолжением where

from x in e
where f
…

переводится в

from x in ( e ) . Where ( x => f )
…

Выражение запроса с предложением join без into, за которым следует предложение select,

from x₁ in e₁
join x₂ in e₂ on k₁ equals k₂
select v

переводится в

( e₁ ) . Join( e₂ , x₁ => k₁ , x₂ => k₂ , ( x₁ , x₂ ) => v )

Выражение запроса с предложением join без into, за которым следуем предложение, отличное от select,

from x₁ in e₁
join x₂ in e₂ on k₁ equals k₂
…

переводится в

from * in ( e₁ ) . Join(
e₂ , x₁ => k₁ , x₂ => k₂ , ( x₁ , x₂ ) => new { x₁ , x₂ })
…

Выражение запроса с предложением join и с предложением into, за которым следует предложение select,

from x₁ in e₁
join x₂ in e₂ on k₁ equals k₂ into g
select v

переводится в

( e₁ ) . GroupJoin( e₂ , x₁ => k₁ , x₂ => k₂ , ( x₁ , g ) => v )

Выражение запроса с предложением join и с предложением into, за которым следует предложение, отличное от select,

from x₁ in e₁
join x₂ in e₂ on k₁ equals k₂ into g
…

переводится в

from * in ( e₁ ) . GroupJoin(
e₂ , x₁ => k₁ , x₂ => k₂ , ( x₁ , g ) => new { x₁ , g })
…

Выражение запроса с продолжением orderby

from x in e
orderby k₁ , k₂ , … , k_n…

переводится в

from x in ( e ) .
OrderBy ( x => k₁ ) .
ThenBy ( x => k₂ ) .
… .
ThenBy ( x => k_n )
…

Если в предложении упорядочения указывается показатель направления descending, вместо него вызывается оператор OrderByDescending или ThenByDescending.

В следующих переводах предполагается, что в каждом выражении запроса нет предложений let, where, join и orderby, и есть не больше одного начального предложения from.

В примере

from c in customers
from o in c.Orders
select new { c.Name, o.OrderID, o.Total }

переводится в

customers.
SelectMany(c => c.Orders,
(c,o) => new { c.Name, o.OrderID, o.Total }
)

В примере

from c in customers
from o in c.Orders
orderby o.Total descending
select new { c.Name, o.OrderID, o.Total }

переводится в

from * in customers.
SelectMany(c => c.Orders, (c,o) => new { c, o })
orderby o.Total descending
select new { c.Name, o.OrderID, o.Total }

конечный перевод имеет вид

customers.
SelectMany(c => c.Orders, (c,o) => new { c, o }).
OrderByDescending(x => x.o.Total).
Select(x => new { x.c.Name, x.o.OrderID, x.o.Total })

где x — идентификатор, созданный компилятором, который в других условиях является невидимым и недоступным.

В примере

from o in orders
let t = o.Details.Sum(d => d.UnitPrice * d.Quantity)
where t >= 1000
select new { o.OrderID, Total = t }

переводится в

from * in orders.
Select(o => new { o, t = o.Details.Sum(d => d.UnitPrice * d.Quantity) })
where t >= 1000
select new { o.OrderID, Total = t }

конечный перевод имеет вид

orders.
Select(o => new { o, t = o.Details.Sum(d => d.UnitPrice * d.Quantity) }).
Where(x => x.t >= 1000).
Select(x => new { x.o.OrderID, Total = x.t })

где x — идентификатор, созданный компилятором, который в других условиях является невидимым и недоступным.

В примере

from c in customers
join o in orders on c.CustomerID equals o.CustomerID
select new { c.Name, o.OrderDate, o.Total }

переводится в

customers.Join(orders, c => c.CustomerID, o => o.CustomerID,
(c, o) => new { c.Name, o.OrderDate, o.Total })

В примере

from c in customers
join o in orders on c.CustomerID equals o.CustomerID into co
let n = co.Count()
where n >= 10
select new { c.Name, OrderCount = n }

переводится в

from * in customers.
GroupJoin(orders, c => c.CustomerID, o => o.CustomerID,
(c, co) => new { c, co })
let n = co.Count()
where n >= 10
select new { c.Name, OrderCount = n }

конечный перевод имеет вид

customers.
GroupJoin(orders, c => c.CustomerID, o => o.CustomerID,
(c, co) => new { c, co }).
Select(x => new { x, n = x.co.Count() }).
Where(y => y.n >= 10).
Select(y => new { y.x.c.Name, OrderCount = y.n)

где x и y — идентификаторы, созданные компилятором, которые в других условиях являются невидимыми и недоступными.

В примере

from o in orders
orderby o.Customer.Name, o.Total descending
select o

имеет конечный перевод

orders.
OrderBy(o => o.Customer.Name).
ThenByDescending(o => o.Total)