Почему мы не можем использовать массивы в запросах Entity Framework?

Question

Я знаю, что запросы Entity Framework не могут содержать массивы. Например, это будет терпеть неудачу:

var myRow = DbContext.myTable.Single(d => d.Property1 == myArray[0].Property1); 

Но если я задаю этот элемент в переменную первой, как это:

var property1 = myArray[0].Property1; 
var myRow = DbContext.myTable.Single(d => d.Property1 == property1); 

Затем он работает. Почему компилятор не может сделать это для нас? Он уже делает оптимизацию и дает нам ярлыки через синтаксический сахар во многих других обстоятельствах. Есть ли источник неоднозначности, который мешает компилятору копировать элемент массива во временную переменную в фоновом режиме? Или какая-то другая причина?

Answer 1

Linq-to-objects может справиться с этим просто отлично - это linq-to-EF (или Linq-to-SQL), который попытается преобразовать выражение в SQL. Помещение значения в переменную сообщает провайдеру, что вы хотите использовать это значение, а не оценивать выражение.

Почему компилятор не может это сделать для нас?

Поскольку компилятор не был запрограммирован для различения выражений, которые должны быть переведены на SQL, и тех, которые должны быть оценены до компиляции запроса.

Linq запросы используют отложенное выполнение, а это означает, что запрос не является на самом деле выполняется, пока вы не попросите результаты. До тех пор это просто запрос, состоящий из отдельных выражений, которые составляют фильтры, проекции, группировки, агрегации и т. Д. Когда он оценивает выражение d => d.Property1 == myArray[0].Property1, не оценивает выражение в это время, поэтому, когда провайдер добирается до него , он пытается преобразовать его в SQL, чего он не может сделать.