Как Linq работает (негласно)?

Трудно ответить на вопрос, потому что LINQ является таким количеством разных вещей. Например, придерживаясь C#, следующие вещи включены:

• Выражения запроса "предварительно обрабатываются" в "C# без выражений запроса", который затем обычно компилируется. Часть выражения запроса спецификации действительно коротка - это - в основном машинный перевод, который не предполагает, что что-либо о реальном значении запроса, вне "порядка переводится в OrderBy/ThenBy/etc".
• Делегаты используются для представления произвольных действий с конкретной подписью как исполняемый код.
• Деревья выражений используются для представления того же самого, но как данные (который может быть исследован и переведен в другую форму, например, SQL),
• Лямбда-выражения используются для преобразования исходного кода или в делегатов или в деревья выражений.
• Дополнительные методы привыкли большинством поставщиков LINQ к цепочке вместе вызовы статического метода. Это позволяет простой интерфейс (например. IEnumerable<T>) эффективно получать намного больше власти.
• Анонимные типы используются для проекций - где у Вас есть некоторый разрозненный набор данных, и Вы хотите биты каждого из аспектов тех данных, анонимный тип позволяет Вам собирать их.
• Неявно введенные локальные переменные (var) используются, прежде всего, при работе с анонимными типами, для поддержания статически типизированного языка, где Вы не можете "говорить" название типа явно.
• Блоки итератора обычно используются для реализации незавершенных запросов, например, для LINQ к Объектам.
• Вывод типа используется для создания всего этого намного более гладким - существует много общих методов в LINQ, и без вывода типа это было бы действительно болезненно.
• Генерация кода используется для превращения модели (например, DBML) в код
• Частичные типы используются для обеспечения расширяемости сгенерированному коду
• Атрибуты используются, чтобы предоставить метаданные поставщикам LINQ

Очевидно, многие из них не только используются LINQ, но различные технологии LINQ будут зависеть от них.

Если можно дать больше признака того, какими аспектами Вы интересуетесь, мы можем обеспечивать больше детали.

Если Вы интересуетесь эффективной реализацией LINQ к Объектам, Вы могли бы интересоваться докладом, который я сделал в DDD в Чтении несколько недель назад - в основном реализующий как можно больше LINQ к Объектам за час. Мы были совсем не завершены к концу его, но это должно дать довольно хорошую идею вида вещи, которую необходимо сделать (и буферизация/потоковая передача, блоки итератора, перевод выражения запроса и т.д.). Видео еще не (и я еще не поднял код для загрузки), но если Вы интересно, отбрасываете меня почта по skeet@pobox.com, и я сообщу, когда они произойдут. (Я буду, вероятно, вести блог об этом также.)