C#中固定大小缓冲区是在unsafe struct内嵌入栈上分配的原生类型数组,用于高性能互操作和精确内存布局;语法为fixed T[N],仅限非托管类型且长度须为编译期常量。

在 C# 中,固定大小缓冲区(fixed-size buffers)是一种特殊的语法特性,允许你在 unsafe 上下文中,在结构体(struct)内部直接嵌入一块**栈上分配的、长度固定的原生类型数组**。它不是普通的托管数组(T[]),不涉及堆分配、GC 管理或长度检查,而是像 C 语言中的内联数组一样,成为结构体内存布局的一部分。
为什么需要 fixed-size buffers?
主要用于高性能互操作(interop)、底层数据解析(如网络协议包、二进制文件格式)、或需精确控制内存布局的场景。例如:
- 对接 C/C++ 的 struct(含内联数组,如
char name[32];) - 避免频繁堆分配小数组(如 16 字节 ID、32 字节哈希)
- 实现零拷贝的 Span
或指针访问(配合 fixed关键字)
基本语法和限制
声明方式为:fixed 类型[长度];,必须出现在 unsafe struct 中,且只能是以下类型之一:
-
bool,byte,sbyte -
char,short,ushort -
int,uint,long,ulong -
float,double - 其他
unsafe允许的非托管值类型(如自定义的无引用字段 struct)
不能是引用类型(string, object, 类等),也不能是泛型类型参数。长度必须是编译期常量。
如何使用和访问
声明后,该字段名本身是一个“固定指针”,可通过 fixed 语句获取其地址,并转为 Span 或直接用指针操作:
unsafe struct Packet
{
public fixed byte Header[8];
public int PayloadLength;
}
// 使用示例:
var pkt = new Packet();
fixed (byte* p = pkt.Header)
{
p[0] = 0xFF;
p[1] = 0x00;
// ...
}
// 或更现代写法(.NET Core 3.0+):
Span header = pkt.Header.AsSpan();
header[0] = 0xFF;
header.Slice(1, 4).Fill(0);
AsSpan() 是推荐方式,安全、高效、无需显式 fixed 块(编译器自动处理生命周期)。
注意事项和常见坑
固定大小缓冲区不是“普通字段”,有几点容易忽略:
- 结构体必须标记为
unsafe,且编译需启用/unsafe - 不能作为类成员(只允许在
struct中) - 不能用于泛型结构体(除非泛型约束为 unmanaged,且缓冲区类型确定)
- 默认初始化时整个缓冲区内容为零(类似栈变量),但不会调用构造函数
- 结构体大小 = 所有字段大小之和(包括缓冲区),对齐按最大成员对齐(可能插入填充)
如果只是需要小数组又不想用 unsafe,可考虑 Span + 栈分配(stackalloc)或 ArrayPool,但它们不提供结构体内联语义。
基本上就这些。fixed-size buffers 是个窄但锋利的工具——用对了能省 GC、提性能、简化 interop;滥用则增加 unsafe 代码风险和维护成本。








