C#.NET ref struct 深度解析：语义、限制与最佳实践

简介

在C# 7.2中，有一种特殊的结构体类型，叫做ref struct。它和普通的struct有一个很大的不同，那就是它的分配位置是被严格限制的：

ref struct 只能分配在栈（stack）上，不能分配在堆（heap）上。

⚡ 设计初衷

• 提高性能：栈分配比堆分配快，并且无需 GC 回收。

• 提供安全的内存访问：保证生命周期受控，防止内存泄漏和悬空引用。

• 在需要直接操作内存的场景中适用，比如 Span、ReadOnlySpan这些情况。

关键特性

• 只能分配在栈上，不能分配在堆上

• 不能作为类的字段

• 不能实现接口

• 不能装箱

• 不能作为异步方法或迭代器的局部变量

基本语法

public ref struct MyStruct
{
    public int X;
    public int Y;

    public void Print() => Console.WriteLine($"{X}, {Y}");
}

与普通 struct 的区别

ref struct 的限制确保它 不会被错误地提升到堆中，保证其生命周期安全。

使用场景

ref struct 非常适合以下 高性能、低开销 的场景：

典型示例

Span：最常见的 ref struct

Span 是一个表示连续内存区域的类型：

Spanint> numbers = stackalloc int[5] { 1, 2, 3, 4, 5 };
numbers[2] = 99;

foreach (var n in numbers)
    Console.Write($"{n} "); // 输出: 1 2 99 4 5

• stackalloc 在栈上分配内存。

• Span 只能存在于当前方法栈中，离开作用域自动回收。

自定义 ref struct

public ref struct Point
{
    public int X;
    public int Y;

    public double Length => Math.Sqrt(X * X + Y * Y);
}

void Demo()
{
    var p = new Point { X = 3, Y = 4 };
    Console.WriteLine(p.Length); // 5
}

与 stackalloc 配合

public static Spanbyte> CreateBuffer()
{
    Spanbyte> buffer = stackalloc byte[1024]; // 栈上分配 1KB
    buffer[0] = 42;
    return buffer; // ❌ 错误：不能返回 ref struct
}

返回 Span 会导致栈内存逃逸，因此编译器会报错。

编译器施加的约束

ref struct 的安全限制主要有以下几点：

不能装箱

ref struct MyStruct { }
object o = new MyStruct(); // ❌ 编译错误

因为装箱会将值类型复制到堆上。

不能实现接口

ref struct MyStruct : IDisposable { } // ❌ 编译错误

接口调用可能导致提升到堆，破坏生命周期安全。

不能作为类字段

class MyClass
{
    public Spanint> SpanField; // ❌ 编译错误
}

因为类实例在堆上，而 ref struct 只能存在栈上。

不能用作泛型参数

Listint>> list = new(); // ❌ 编译错误

不能捕获到闭包

Spanint> span = stackalloc int[10];
Action action = () => Console.WriteLine(span[0]); // ❌ 编译错误

闭包会将变量提升到堆中，破坏生命周期。

不能用于异步方法/迭代器

async Task Demo()
{
    Spanint> span = stackalloc int[10]; // ❌ 编译错误
    await Task.Delay(1000);
}

异步状态机会导致变量在堆上存储。

与其他类型对比

性能优势

实战示例：高性能字符串切片

public static int ParseDigits(ReadOnlySpanchar> span)
{
    int value = 0;
    foreach (var c in span)
    {
        if (!char.IsDigit(c)) break;
        value = value * 10 + (c - '0');
    }
    return value;
}

void Demo()
{
    string input = "12345abc";
    var slice = input.AsSpan(0, 5); // 直接操作原字符串内存
    Console.WriteLine(ParseDigits(slice)); // 输出 12345
}

优势：

• 不会产生 Substring 带来的额外堆分配。

• 内存安全且性能接近指针操作。

总结