.NET 7中泛型接口实现在WebAssembly中为何性能低下？

我将一个简单的整数数组求和方法编译为WebAssembly（WASM）后，在浏览器中运行速度很快：

public static int SumInt(int[] vals)
{
    int sum = default;

    for (int i = 0; i < vals.Length; i++)
        sum += vals[i];

    return sum;
}

在计时测试中（调用100次，每次传入100万个数字），耗时约70毫秒。

为了支持float、double等其他数值类型，我用泛型+接口的方式重构了代码：

private static T Sum<T>(T[] vals, IAdder<T> adder) where T : struct
{
    T sum = default;

    for (int i = 0; i < vals.Length; i++)
        sum = adder.Add(sum, vals[i]);

    return sum;
}

public interface IAdder<T> where T : struct
{
    public T Add(T x, T y);
}

public class AdderInt : IAdder<int>
{
    public int Add(int x, int y) => x + y;
}

// 对外暴露的整数求和方法
public static int Sum(int[] vals) => Sum(vals, new AdderInt());

但同样的测试下，这个泛型实现耗时约1000毫秒，比原始版本慢14倍以上。而在常规.NET应用中，两个版本的耗时几乎一致。

性能差异的原因 #

核心问题在于WASM环境下的代码编译优化能力和桌面.NET不同：

• 桌面.NET的JIT编译器会对泛型方法进行具体化处理，为每个实际使用的泛型类型（比如int）生成单独的机器码，并且能轻松内联接口的虚方法调用，最终生成的代码和非泛型版本几乎无差别。
• 而WebAssembly的编译（比如Blazor WASM的AOT编译）对接口虚调用的内联支持有限，泛型方法的具体化优化也不如桌面JIT彻底。循环中每次调用adder.Add()都会触发一次虚方法表查找，对于百万级别的循环来说，累计的开销会被放大，导致性能急剧下降。

优化建议 #

1. 使用C# 11+静态抽象接口（最优方案） #

利用C# 11引入的静态抽象接口成员，可以直接在泛型约束中定义加法操作，让编译器能直接内联加法逻辑，完全消除虚调用开销：

public interface INumeric<T> where T : struct
{
    static abstract T operator +(T left, T right);
    static abstract T Zero { get; }
}

// 让int实现该接口（.NET 7+已内置类似接口，比如INumber<T>）
public struct IntNumeric : INumeric<int>
{
    public static int operator +(int left, int right) => left + right;
    public static int Zero => default;
}

private static T Sum<T>(T[] vals) where T : struct, INumeric<T>
{
    T sum = INumeric<T>.Zero;
    for (int i = 0; i < vals.Length; i++)
        sum += vals[i];
    return sum;
}

如果使用.NET 7及以上版本，直接用官方内置的INumber<T>接口即可，无需自己定义，代码会更简洁。这种方式生成的WASM代码和非泛型版本性能几乎一致。

2. 显式具体化泛型方法 #

手动为每个需要支持的数值类型编写具体的求和方法，避免泛型和接口的开销：

public static int Sum(int[] vals)
{
    int sum = default;
    for (int i = 0; i < vals.Length; i++)
        sum += vals[i];
    return sum;
}

public static float Sum(float[] vals)
{
    float sum = default;
    for (int i = 0; i < vals.Length; i++)
        sum += vals[i];
    return sum;
}

// double等其他类型同理

如果觉得重复代码麻烦，可以用T4模板或者源生成器自动生成这些方法，既避免手动重复，又能保证性能。

3. 使用值类型实现接口 #

将AdderInt从类改为结构体（值类型），可以减少虚调用的开销：

public struct AdderInt : IAdder<int>
{
    public int Add(int x, int y) => x + y;
}

值类型的接口调用在某些情况下会被编译器内联，虽然性能提升不如静态抽象接口明显，但也能缩小和原始版本的差距。

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