C#语言结构体函数调用性能优化实战：从内存分配到执行效率

1次阅读

共计 2338 个字符，预计需要花费 6 分钟才能阅读完成。

去年参与一个 2D 物理引擎项目时，遇到一个典型性能问题：当场景中超过 300 个碰撞体同时运动时，帧率从 60FPS 骤降到 22FPS。通过性能分析工具抓取调用栈，发现 80% 的时间消耗在 PhysicsSystem.Update() 方法中处理碰撞检测的结构体参数传递上。

进一步分析发现：

每个碰撞体信息被定义为 Collider 结构体（包含位置、形状等字段）
检测方法签名为bool CheckCollision(Collider a, Collider b)
每次调用都在堆栈上产生完整的结构体拷贝（每个 Collider 占 32 字节）

通过 ILSpy 反编译可以看到核心区别：

内存分配方式
类：在堆上分配，传递对象引用（固定 4 / 8 字节）
结构体：默认在栈上分配，传值时完整拷贝

方法调用成本

// 类方法调用示例
class MyClass {public void Foo() {}}

// 结构体方法调用示例
struct MyStruct {public void Foo() {}}

类方法调用：通过方法表指针间接调用
结构体方法：静态绑定的 call 指令
参数传递机制
类对象始终按引用传递
结构体默认按值传递（产生完整拷贝）

装箱操作在结构体方法调用中尤为隐蔽：

interface IFoo {void Bar(); }
struct BadStruct : IFoo {public void Bar() {}
    // 隐式装箱点
    public override string ToString() => base.ToString(); 
}

// 优化方案：struct GoodStruct : IFoo {void IFoo.Bar() {} // 显式实现
    public override string ToString() => $"GoodStruct";}

关键要点：

避免结构体实现包含虚方法的接口
重写 ToString() 等 Object 方法时不要调用基类实现
使用泛型约束 where T : struct 替代接口约束

修饰符	作用	适用场景
ref	双向传递，可修改原值	需要修改结构体内容的场景
in	只读传递（C#7.2 引入）	仅读取大尺寸结构体的场景
out	必须初始化，用于返回值	需要返回多个值的场景

实战示例：

// 优化前：每次调用拷贝约 40 字节
Vector3 CalculateForce(Vector3 position, Vector3 velocity);

// 优化后：零拷贝
void CalculateForce(ref Vector3 position, in Vector3 velocity, out Vector3 result);

纯函数模式

public readonly struct ImmutablePoint {
    public readonly float X, Y;
    public float DistanceTo(in ImmutablePoint other) => 
        MathF.Sqrt((X-other.X)*(X-other.X) + (Y-other.Y)*(Y-other.Y));
}

Builder 模式

ref struct ParticleBuilder {
    private Particle _particle;
    public ParticleBuilder WithPosition(Vector3 pos) {_particle.Pos = pos; return this;}
    public Particle Build() => _particle;}

使用 BenchmarkDotNet 测试不同调用方式（测试结构体尺寸 =32 字节）：

[MemoryDiagnoser]
public class StructCallBenchmark {private readonly MyStruct _struct = new MyStruct(/*...*/);

    [Benchmark(Baseline = true)]
    public int DefaultCall() => _struct.DefaultMethod();

    [Benchmark]
    public int RefCall() => _struct.RefMethod(ref this);

    [Benchmark]
    public int InCall() => _struct.InMethod(in this);
}

测试结果（i7-11800H）：