C#中stackalloc与固定大小缓冲区（fixed sized buffer）的区别是什么？

• 存储位置逻辑不同
  • 固定大小缓冲区是结构体的内置成员，存储位置完全跟随所属结构体：如果结构体是方法内的局部变量，缓冲区就在栈上；如果结构体是引用类型的字段，缓冲区就随结构体分配在托管堆上。
  • stackalloc是方法级的栈内存分配指令，分配的内存100%属于当前方法的调用栈帧，方法返回时直接随栈帧销毁，不可能存在于堆上。
• 长度规则不同
  • 固定大小缓冲区的长度必须是编译期常量，定义时就需要写死，不支持运行期动态指定长度。
  • stackalloc从C# 7.2开始支持运行期变量作为长度，只要栈空间足够就可以动态分配对应大小的内存。
• 访问要求不同
  • 固定大小缓冲区必须在unsafe上下文中使用，访问元素时要么直接用指针操作，如果所属结构体分配在堆上，还需要用fixed语句固定住内存地址，避免GC移动对象导致指针失效。
  • stackalloc分配的内存可以直接包装为Span<T>，不需要unsafe上下文就能安全访问，栈内存不受GC管控，也不需要额外固定操作。
• 生命周期不同
  • 固定大小缓冲区的生命周期和所属结构体实例完全绑定，只要结构体实例没有被GC回收，缓冲区就一直有效。
  • stackalloc分配的内存生命周期仅局限于当前方法内部，一旦方法返回，对应的栈空间就会被回收，哪怕把对应的Span<T>传到方法外，访问时也会触发内存错误。
• 内存占用限制不同
  • 固定大小缓冲区如果随结构体分配在堆上，就不会占用栈空间，哪怕定义的长度稍大也不会有栈溢出风险。
  • stackalloc直接占用方法栈空间，默认.NET的线程栈大小只有1MB左右，分配的内存过大很容易触发栈溢出。

固定大小缓冲区的核心作用是在结构体内部嵌入一段连续、固定长度的内存块，完全取消额外的数组对象分配开销。
在已有stackalloc的前提下，需要用固定大小缓冲区的典型场景包括：

• 你需要把数组作为结构体的一部分、和结构体同生命周期传递使用。比如定义网络报文头、数据协议结构体时，报文里的固定长度标识、地址段必须作为结构体成员存在，不可能每次使用都临时在方法里stackalloc再拷贝。
• 需要极致降低托管分配开销的场景。如果不用固定大小缓冲区，结构体里要带数组只能声明为引用类型的数组字段，这时候数组本身要单独在堆上分配，结构体里仅存一个指针，不仅多了一次分配开销，访问元素还要多一次指针跳转。用固定大小缓冲区的话，数组直接嵌在结构体的内存块里，没有额外分配，访问速度也更快，这就是性能提升的核心来源。
• 不需要动态长度的小容量数组场景。固定大小缓冲区长度编译期固定，没有stackalloc的栈溢出风险，也不需要运行期检查长度，代码更稳定。

固定大小缓冲区最常用的场景就是和原生代码（C/C++、Rust等）跨平台互操作。原生代码的结构体经常会包含固定长度的数组成员，比如C侧定义的结构体：

typedef struct {
    int user_id;
    char username[32];
    int recent_scores[8];
} NativeUser;

如果要在C#侧定义和它内存布局完全一致的结构体，用来直接接收原生函数返回值、或者传给原生函数作为参数，就必须用固定大小缓冲区：

unsafe struct NativeUser
{
    public int user_id;
    public fixed char username[32];
    public fixed int recent_scores[8];
}

如果不用固定大小缓冲区，而是写成public char[] username;，C#的结构体里只会存一个指向堆上数组的指针，和原生侧的连续内存布局完全不匹配，互操作时内存拷贝会直接乱序，要么读不到正确数据，要么触发访问冲突。用固定大小缓冲区定义的结构体不需要任何序列化/反序列化操作，直接传递指针就能和原生代码交互，性能极高。

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