必须启用AllowUnsafeBlocks并用fixed固定托管内存，否则unsafe代码无法编译或运行崩溃；stackalloc需严控大小且禁用于async；推荐优先使用System.Runtime.CompilerServices.Unsafe替代裸指针。
不启用 AllowUnsafeBlocks，写再多 unsafe 块也编译不过；不加 fixed 就对托管数组取地址，运行时大概率读到错乱内存或直接崩溃。
编译前必须配 AllowUnsafeBlocks
这是硬性前提，缺一不可。VS 里勾选“允许不安全代码”只是图形化操作，底层仍是改 .csproj 文件。
- 在项目文件中添加：
<PropertyGroup> <AllowUnsafeBlocks>true</AllowUnsafeBlocks> </PropertyGroup>
- 命令行构建时需显式传参：
dotnet build /p:AllowUnsafeBlocks=true - 若用 MSBuild 直接调用，必须带
/unsafe参数，否则报CS0227: Unsafe code may only appear if compiling with /unsafe - SDK 风格项目（.NET 5+）只认
<allowunsafeblocks></allowunsafeblocks>，老式项目可能需额外设<compilewithunsafe>true</compilewithunsafe>
fixed 不是可选项，是保命语句
托管堆上的数组、字符串、对象字段，地址随时会被 GC 移动。fixed 的唯一作用就是告诉 GC：“这块内存别动”，它生成的指针才真正可用。
- 错误示范：
byte[] data = new byte[1024]; byte* ptr = data; // 编译直接失败 - 正确写法：
byte[] data = new byte[1024]; fixed (byte* ptr = data) { *ptr = 1; // 此时 ptr 才有效 } - 切勿把
ptr存到类字段、传给异步任务或返回出去——fixed块一结束，指针立刻悬空 - 对
string使用fixed时注意：默认是 UTF-16，char*指向的是char序列，不是byte
别碰 stackalloc 超过几 KB
stackalloc 在栈上分配内存，快但极危险：超出线程栈默认大小（通常 1MB）就静默栈溢出，不抛异常，进程直接终止。
- 安全阈值建议 ≤ 8 KB，尤其在递归或深度调用链中要更保守
-
stackalloc int[1000000]看似只占 4 MB，但实际可能触发栈探针失败，上线后随机崩 - 不能在
async方法里用stackalloc—— 栈帧会随 await 消失，指针立即失效 - 替代方案：用
Marshal.AllocHGlobal分配非托管堆内存，用完必须Marshal.FreeHGlobal
用 System.Runtime.CompilerServices.Unsafe 替代裸指针
这个静态类提供类型安全的内存操作原语，无需 unsafe 上下文，且 JIT 能优化成单条 CPU 指令，性能几乎等同指针，却规避了大部分风险。
- 替代
*(int*)ptr：Unsafe.Read<int>(ptr)</int> - 替代
ptr[i]：Unsafe.Add(ref array[0], i) - 替代结构体字段偏移：
Unsafe.OffsetOf<mystruct>(nameof(MyStruct.Field))</mystruct> - 关键优势：支持泛型、无运行时开销、被 .NET NativeAOT 完全支持，而裸指针在 AOT 下常被拦截或降级
最易被忽略的点：所有指针操作都绕过了 CLR 类型系统和边界检查，哪怕一个 i 忘写，结果不是异常而是静默覆写相邻内存——这种 bug 往往只在特定数据、特定负载、特定 GC 时间点才暴露，复现成本极高。
