泛型如何实现？

从编译器内部角度来看，这是一个问题。

我对泛型感兴趣，而不是模板（C ++），所以我用C＃标记了问题。不是Java，因为AFAIK两种语言的泛型在实现上有所不同。

当我查看不带泛型的语言时，它非常简单，您可以验证类定义，将其添加到层次结构中就可以了。

但是如何处理泛型类，更重要的是如何处理对它的引用？如何确保每个实例的静态字段都是奇异的（即每次解析通用参数时）。

假设我看到一个电话：

var x = new Foo<Bar>();

是否将新Foo_Bar类添加到层次结构？

更新：到目前为止，我仅找到2条相关的帖子，但是即使它们在“如何自己做”的意义上也没有涉及太多细节：

• http://www.jprl.com/Blog/archive/development/2007/Aug-31.html
• http://www.artima.com/intv/generics2.html

如何确保每个实例的静态字段都是奇异的（即每次解析通用参数时）。

每个通用实例都有其自己的（易名）MethodTable副本，该副本存储在静态字段中。

假设我看到一个电话：

var x = new Foo<Bar>();

是否将新Foo_Bar类添加到层次结构？

我不确定将类层次结构视为运行时实际存在的某种结构是否有用，它更像是一种逻辑构造。

但是，如果考虑使用MethodTables（每个方法表都有一个指向其基类的间接指针）来形成此层次结构，那么是的，这会将新类添加到层次结构中。

我在那里看到两个实际的具体问题。您可能想问其他相关问题（作为单独的问题，带有指向此问题的链接）以得到全面的了解。

如何为每个通用实例给静态字段单独的实例？

好吧，对于与泛型类型参数无关的静态成员，这非常简单（使用从泛型参数映射到值的字典）。

与类型参数相关的成员（静态的或非静态的）可以通过类型擦除来处理。只需使用最严格的约束（通常是System.Object）即可。由于在编译器类型检查之后会擦除类型信息，因此这意味着将不需要运行时类型检查（尽管在运行时可能仍然存在接口强制类型转换）。

每个泛型实例是否在类型层次结构中分别出现？

不在.NET泛型中。决定从类型参数中排除继承，因此事实证明，泛型的所有实例都在类型层次结构中占据相同的位置。

这可能是一个不错的决定，因为如果无法从基类中查找名称，将令人惊讶。

但是如何处理泛型类，更重要的是如何处理对它的引用？

编译器前端的一般方法是具有两种类型实例，即泛型类型（List<T>）和绑定泛型类型（List<Foo>）。泛型类型定义了存在的功能，哪些字段以及在何处T使用泛型类型引用。绑定的泛型类型包含对泛型类型的引用以及一组类型参数。那里有足够的信息供您生成具体类型，然后用Foo或任何类型参数替换通用类型引用。当您进行类型推断并且需要推断List<T>vs 时，这种区别非常重要List<Foo>。

与其考虑泛型之类的模板（直接构建各种实现），不如将它们视为功能语言类型的构造函数（泛型参数就像是赋予您类型的函数中的参数），可能会有所帮助。

至于后端，我真的不知道。我所有与泛型有关的工作都以CIL为后端，因此我可以将它们编译为受支持的泛型。