17370845950

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 代码风险和维护成本。