C#运行时生成结构体实现委托优化的性能问题排查

针对你遇到的运行时生成结构体因虚方法无法触发常量优化导致性能极差的问题，以下是几个可行的优化方案：

1. 直接生成带常量逻辑的静态方法/委托，放弃接口依赖 #

核心思路是绕开接口的虚调用，把运行时确定的size直接硬编码到生成的方法逻辑中，让JIT编译时将其视为常量，触发和编译期写死size一样的优化：

• 使用System.Reflection.Emit或DynamicMethod创建方法，在IL代码中直接加载size常量，执行input mod size操作；
• 将生成的方法转换为Func<int, int>委托，调用时委托的开销远低于虚方法，且JIT能对方法内的常量取模做深度优化（比如把mod替换为乘法+移位，这是编译期常量size的典型优化手段）。

示例代码（用DynamicMethod实现）：

int runtimeSize = 运行时获取的Size值;
// 创建动态方法：输入int，输出int
DynamicMethod hashModMethod = new DynamicMethod(
    "RuntimeHashMod", 
    typeof(int), 
    new[] { typeof(int) }, 
    typeof(YourContainingType).Module);

ILGenerator il = hashModMethod.GetILGenerator();
il.Emit(OpCodes.Ldarg_0);       // 加载输入参数input
il.Emit(OpCodes.Ldc_I4, runtimeSize); // 加载常量size
il.Emit(OpCodes.Rem);           // 执行input % size
il.Emit(OpCodes.Ret);           // 返回结果

// 转换为委托，直接调用即可
Func<int, int> hashModFunc = (Func<int, int>)hashModMethod.CreateDelegate(typeof(Func<int, int>));

这个方案的性能基本和编译期写死size的DivideExact持平。

2. 利用C# 11+静态抽象接口实现无虚调用的泛型优化（.NET 7+） #

如果必须保留结构体的形式，可以借助C# 11的静态抽象接口成员特性，避免虚方法调用：

1. 定义带静态抽象方法的接口：

public interface IHashMod
{
    static abstract int HashMod(int input);
}

2. 运行时生成结构体时，实现这个接口的静态抽象方法，方法内部直接用常量size做取模；
3. 通过泛型约束调用静态方法，JIT会对泛型方法进行单态化优化，将size作为常量嵌入到泛型实例的方法中，消除虚调用开销并触发常量优化。

注意：该方案需要.NET 7及以上版本支持，且生成结构体时要正确实现静态抽象成员。

3. 放弃运行时生成结构体，复用表达式树方案 #

你之前用表达式树已经解决了问题，其实表达式树的本质就是在运行时构建可被JIT优化的代码逻辑——它会把size作为常量嵌入到表达式中，编译后的委托同样能触发常量取模优化。如果运行时生成结构体的方案没有特殊需求，复用表达式树是最省心的选择，性能和编译期代码一致。

为什么原方案性能差？ #

你推测的原因是对的：

• 实现IConstant接口的GetValue()是虚方法，每次调用都要做虚表查找，带来额外开销；
• 更关键的是，JIT无法将虚方法返回的size视为不可变常量（因为虚方法的返回值理论上可能在运行时变化），所以无法对input mod size做编译期级别的常量优化，只能执行普通的取模操作，性能差距由此产生。

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