在 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<t></t>或直接用指针操作:
unsafe struct Packet
{
public fixed byte Header[8];
public int PayloadLength;
}
<p>// 使用示例:
var pkt = new Packet();
fixed (byte* p = pkt.Header)
{
p[0] = 0xFF;
p[1] = 0x00;
// ...
}
// 或更现代写法(.NET Core 3.0+):
Span<byte> header = pkt.Header.AsSpan();
header[0] = 0xFF;
header.Slice(1, 4).Fill(0);
AsSpan()是推荐方式,安全、高效、无需显式
fixed块(编译器自动处理生命周期)。
注意事项和常见坑
固定大小缓冲区不是“普通字段”,有几点容易忽略:
结构体必须标记为unsafe,且编译需启用
/unsafe不能作为类成员(只允许在
struct中) 不能用于泛型结构体(除非泛型约束为 unmanaged,且缓冲区类型确定) 默认初始化时整个缓冲区内容为零(类似栈变量),但不会调用构造函数 结构体大小 = 所有字段大小之和(包括缓冲区),对齐按最大成员对齐(可能插入填充)
如果只是需要小数组又不想用 unsafe,可考虑
Span<t></t>+ 栈分配(
stackalloc)或
ArrayPool<t></t>,但它们不提供结构体内联语义。
基本上就这些。fixed-size buffers 是个窄但锋利的工具——用对了能省 GC、提性能、简化 interop;滥用则增加 unsafe 代码风险和维护成本。
