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)

Select

Выражение запроса вида

from x in e select v

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

(e). Select (x => v)

за исключением случая, когда v является идентификатором x, тогда перевод имеет вид просто

(e)

Например

from c in customers.Where(c => c.City == “London”)
select c

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

customers.Where(c => c.City == “London”)