Linq在幕后是如何工作的？

Mono （部分地？）实现了LINQ，并且是开源的。也许你可以研究一下他们的实现？

阅读本篇文章：

学习如何创建自定义的 LINQ 提供程序

因为 LINQ 包含了如此多的不同内容，所以很难回答这个问题。例如，仅考虑 C# 的话，以下是涉及到的一些内容：

• 查询表达式会被“预处理”为“没有查询表达式的 C#”，然后被正常编译。查询表达式的规范部分真的很短——它基本上是一个机械翻译，不会假设查询的实际含义，只是简单地将“order by”翻译成 OrderBy/ThenBy 等。
• 委托用于代表具有特定签名的任意操作，作为可执行代码。
• 表达式树也用于表示同样的内容，但是以数据的形式存在（可以被检查并转换为另一种形式，例如 SQL）。
• Lambda 表达式用于将源代码转换为委托或表达式树。
• 大多数 LINQ 提供程序都使用扩展方法来连接静态方法调用。这使得一个简单的接口（例如 IEnumerable <T>）可以获得更强大的功能。
• 匿名类型用于投影——当你有一些不同的数据集合，希望获取每个数据方面的一些内容时，匿名类型可以将它们聚集在一起。
• 隐式的局部变量（ var）主要用于处理匿名类型，以保持静态类型语言的类型确定性，当您无法显式“表达”该类型的名称时。
• 迭代块通常用于实现进程内查询，例如 LINQ to Objects。
• 类型推断用于使整个过程更加流畅——LINQ 中有很多泛型方法，如果没有类型推断，就会非常痛苦。
• 代码生成用于将模型（例如 DBML）转换为代码。
• 部分类用于为生成的代码提供可扩展性。
• 属性用于为 LINQ 提供程序提供元数据。

显然，其中许多并不仅仅用于 LINQ，但不同的 LINQ 技术将依赖于它们。

如果您能进一步说明您感兴趣的方面，我们可能能够提供更多细节。

如果您有兴趣有效地实现 LINQ to Objects，您可能会对我不久前在 DDD 读书会上的一个演讲感兴趣——基本上在一个小时内尽可能地实现 LINQ to Objects。我们最终并没有完全完成，但它应该可以给您一个相当好的想法（以及缓冲/流式传输、迭代块、查询表达式转换等）。视频还没有发布（我还没有发布可下载的代码），但如果您有兴趣，请通过 skeet@pobox.com 与我联系，我会告诉您何时发布（我可能也会在博客上发布相关内容）。

也许我的 LINQ for R6RS Scheme 可以提供一些见解。

它在语义上是100％的，语法上几乎与LINQ相同，但要注意使用“then”而不是“，”来使用附加排序参数。

一些规则/假设：

• 只处理列表，没有查询提供程序。
• 不是惰性的，而是热心的理解。
• 没有静态类型，因为Scheme不使用它们。

我的实现依赖于一些核心过程：

• map - 用于“Select”
• filter - 用于“Where”
• flatten - 用于“SelectMany”
• sort - 多键排序过程
• groupby - 用于分组结构

其余的结构都是使用宏构建的。

绑定存储在标记有绑定标识符的列表中，以确保卫生。绑定被提取并在出现表达式的地方本地重新绑定。

我在我的博客上跟踪了进展情况，可能会提供一些问题的见解。

Matt Warren 的博客包含所有的答案（还有一个样本 IQueryable 提供程序实现，让你快速入门）：

http://blogs.msdn.com/mattwar/

关于设计想法，可以看看 c omega，它是 Linq 诞生的研究项目。视角不同，Linq 可能是相对更实用或稀释的 C omega 版本。