ref 结构(即 ref struct)在 C# 中主要用于高性能场景,比如避免堆分配、提升内存访问效率。最常见的例子是 Span
不能装箱或继承
ref struct 本质上是栈分配的结构体,不能被装箱到堆上,也不能作为类的字段或实现接口。这意味着:
不能将 ref struct 赋值给 object 或 interface 类型 不能从 ref struct 派生其他类型 ref struct 本身也不能声明为可被继承这是为了防止它逃逸到堆中,破坏其生命周期管理。
不能跨异步方法边界使用
ref struct 不能用在 async 方法的状态机中,也就是说:
不能将 ref struct 作为局部变量在 await 后继续使用 不能作为 lambda 或迭代器中的捕获变量因为异步状态机会被堆分配,而 ref struct 必须严格限定在当前栈帧内。
不能作为泛型类型参数
你不能把 ref struct 当作泛型参数传递给普通泛型方法或类:
例如,不能写 List> 不能作为 T 传入形如 void Process这是因为泛型实例可能涉及堆分配或不确定的生命周期,违背了 ref struct 的设计原则。
只能在栈上声明和使用
ref struct 只能作为:
局部变量 方法参数 临时表达式结果不能作为类的字段、静态变量、数组元素等长期存储的位置。这确保了它的生命周期不会超出当前方法调用栈。
基本上就这些。虽然限制多,但正是这些限制让 ref struct 在处理内存密集型任务时既高效又安全。使用时要清楚它的边界,尤其在高性能库开发中更要谨慎设计数据流。不复杂但容易忽略。
