C# 高性能内存优化：全面理解 Span 与 stackalloc

最新推荐文章于 2026-07-27 12:35:31 发布

原创最新推荐文章于 2026-07-27 12:35:31 发布 · 1.2k 阅读

18 ·

本内容遵循CC 4.0 BY-SA版权协议

GEO检测

C# 高性能内存优化：全面理解 Span 与 stackalloc

在 .NET / Unity 开发中，GC（垃圾回收）常常是性能瓶颈。
从 C# 7.2 开始，微软引入了 Span<T> 和 stackalloc，为开发者提供了 零 GC、高性能的内存操作工具。

本文将系统总结 Span 与 stackalloc 的概念、规则、注意事项与常见应用。

1. Span 是什么？

Span<T> 是一个 轻量级切片结构（ref struct），用于操作连续内存。
它本身不分配堆内存，只存储 指针 + 长度，因此避免了 GC 压力。

1.1 特点

✅ 零 GC：不创建新对象
✅ 高效切片：无需复制数组即可获取子范围
✅ 安全：不像指针，依旧受类型系统保护
⚠️ 作用域受限：Span<T> 是 ref struct，不能存到普通 class 的字段里

1.2 示例

int[] arr = {1,2,3,4,5};
Span<int> slice = arr.AsSpan(1,3); // [2,3,4]
slice[0] = 99;

Console.WriteLine(arr[1]); // 输出 99

2. Span 的字段限制

由于 Span<T> 是 ref struct，它有严格的使用规则：

❌ 不能装箱（boxing）
❌ 不能作为 普通 class 的字段
✅ 可以作为 ref struct 的字段
✅ 可以作为方法局部变量、参数、返回值

ref struct MyBuffer
{
    public Span<int> Data; // ✅ 合法
}

class Foo
{
    public Span<int> Data; // ❌ 编译报错
}

👉 原因：普通类在堆上存活时间更长，可能导致 Span 引用的栈内存已失效，产生悬空引用。

3. stackalloc：栈上分配内存

stackalloc 用于在 栈上分配一块连续内存。
它的生命周期与方法相同，方法返回时自动销毁。

3.1 示例

Span<int> buffer = stackalloc int[100]; // 栈上分配
for (int i = 0; i < buffer.Length; i++)
    buffer[i] = i * 2;

Console.WriteLine(buffer[10]); // 输出 20

3.2 特点

✅ 极快：栈分配开销极低
✅ 零 GC：不进入托管堆
⚠️ 大小受限：栈空间有限（不能分配太大）
⚠️ 生命周期短：随方法退出自动销毁

4. stackalloc ≠ 必须配合 Span

stackalloc 最早在 C# 1.0 就存在，最初用于指针：

unsafe
{
    int* arr = stackalloc int[100];
    arr[0] = 42;
}

从 C# 7.2 开始，可以直接与 Span<T> 配合使用：

Span<int> arr = stackalloc int[100];

👉 推荐现代写法：stackalloc + Span<T>，安全高效。

5. stackalloc 分配的内存未初始化

⚠️ 这是一个容易忽视的坑点：

new int[100] → 自动初始化为 0
stackalloc int[100] → 未初始化，里面可能是栈上的垃圾数据

示例：

Span<int> buffer = stackalloc int[5];
for (int i = 0; i < buffer.Length; i++)
    Console.WriteLine(buffer[i]); // 输出随机垃圾值

// 如果需要初始化为0
buffer.Clear();

6. Span 作为方法参数

在高性能 API 中，Span<T> 常作为方法参数出现，典型模式是 TryParse / TryFormat：

6.1 TryFormat 示例

Span<char> buffer = stackalloc char[16];

if (12345.TryFormat(buffer, out int written))
{
    Console.WriteLine(buffer.Slice(0, written).ToString()); // "12345"
}