‘new T()’与‘typeof(T)’的编译过程是怎样的？

虽然我对IL、CLR和JIT编译器的底层细节不算特别深入，但根据我了解的内容，泛型代码的处理流程大概是这样的：

• 首先，泛型代码在编译阶段会被转换成泛型IL——这时候代码还没有绑定到具体的类型，只是保留了类型参数的占位符。
• 真正的“具体化”操作是由JIT编译器在运行时完成的：当程序第一次调用带有具体类型参数的泛型方法/类时，JIT会根据传入的类型参数，把泛型IL实例化成针对该类型的本地机器码。

至于为什么有些泛型代码会存在多个版本，这其实是合理的，因为不同类型对应的内存表示完全不一样：

• 对于值类型（比如int、自定义struct）以及它们的集合（比如List<int>），每个值类型都会生成一个独立的实例版本。这是因为值类型的大小各不相同，JIT需要为每种值类型生成适配其内存布局的机器码。
• 而所有引用类型的集合（比如List<string>、List<MyCustomClass>）会共享同一个实例版本。原因很简单：所有引用类型的引用在内存中都是固定大小的（比如32位系统是4字节，64位是8字节），JIT生成的机器码可以复用这部分逻辑。

内容的提问来源于stack exchange，提问作者domin