.NET运行时中类型参数如何传递给泛型函数？

解释器模式下的处理方式 #

• CoreCLR的解释器会维护一个泛型上下文，专门用来跟踪当前执行的泛型方法实例化信息。
• 当调用PrintT<int>()这类具体的泛型实例时，解释器会把int对应的RuntimeTypeHandle存入这个上下文里。
• 执行CIL指令ldtoken !!T时，解释器直接从泛型上下文中取出T的类型句柄压栈，后续调用Type.GetTypeFromHandle就能拿到对应的System.Type对象。
• 这种方式不需要把类型参数当成普通方法参数传递，全程由解释器内部的上下文机制处理。

RyuJIT编译模式下的处理方式 #

• RyuJIT会给每个泛型方法的实例化版本生成专属的原生代码，如果方法需要访问类型参数，会自动追加一个隐藏的RuntimeTypeHandle参数。
• 比如编译PrintT<int>()时，生成的原生方法签名会在你定义的参数列表最后加一个RuntimeTypeHandle类型的参数，对应int的类型句柄。
• 调用这个实例化方法时，调用方会自动把目标类型的RuntimeTypeHandle作为隐藏参数传进去。
• 执行ldtoken !!T指令时，JIT生成的原生代码会直接读取这个隐藏参数的值压栈，供后续逻辑使用。

调用约定的差异 #

• JIT编译代码：隐藏参数遵循当前平台的原生调用约定（比如Windows用thiscall/fastcall，Linux/macOS用System V AMD64约定），但这个参数对用户代码完全透明，不会出现在你写的方法签名里。
• 解释器：不依赖原生平台的调用约定，完全靠内部的泛型上下文传递类型参数信息，所有逻辑都在解释器自己的执行框架里完成。

你的C#代码里，typeof(T)触发了对类型参数的访问，对应的CIL指令ldtoken !!T就是运行时获取类型句柄的入口，上面的机制就是这个指令背后的具体实现逻辑。

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