请解释在 C# 中，unsafe 代码块和指针在底层是如何运作的，包括它们与托管内存和垃圾回收的关系。
考察说明
考察对 C# unsafe 机制及指针底层原理的理解，涉及托管与非托管内存交互。
回答思路
- 【回答框架 1】unsafe 代码块是 C# 中允许使用指针等非安全操作的上下文。在底层，当编译器遇到 unsafe 块时，会生成包含指针操作的 IL 代码，并在程序集上标记 SkipLocalsInit 等属性，且需在项目配置中启用 AllowUnsafeBlocks。指针本质上是内存地址的变量，用于直接访问内存。
- 【回答框架 2】指针操作在底层通常对应 CPU 的寻址指令，如使用 LEA、MOV 等，配合固定缓冲区（fixed）将托管对象钉在内存中，防止 GC 移动。例如，fixed (int* p = &array[0]) 会调用 GCHandle 的固定机制，使对象内存地址在操作期间保持稳定，GC 不会移动它。
- 【回答框架 3】unsafe 上下文中的指针使代码进入非托管领域，GC 无法追踪指针指向的内存。因此，程序员需承担内存安全责任，避免悬垂指针、越界访问等。编译器默认禁止这些操作，但 unsafe 标记后允许，同时要求程序员使用 stackalloc 等时注意栈空间限制。
- 【回答框架 4】在底层，unsafe 代码块不改变托管执行模型，仍运行在 CLR 上，但通过指针绕过类型安全检查。性能提升源自减少边界检查和直接内存操作，但代价是失去 GC 保护，需手动管理生命周期。
- 【回答框架 5】实际应用中，unsafe 用于高性能场景，如图像处理、互操作和加密算法。推荐使用 Marshal 或 Span<T> 作为更安全的替代，仅当性能关键且能严格保证内存安全时才使用 unsafe。
- 【关键点 1】unsafe 代码块允许使用指针，但不改变 CLR 执行模型，仍受 GC 整体管理。
- 【关键点 2】fixed 语句通过 GCHandle 固定对象，防止 GC 移动，确保指针稳定。
- 【关键点 3】指针操作会绕过类型检查，需程序员保证内存安全，避免悬垂和越界。
- 【关键点 4】unsafe 适合高性能场景，但应优先考虑 Span、Marshal 等安全方案。
- 【易错点 1】认为 unsafe 代码完全不受 GC 影响，实际上托管对象移动问题必须用 fixed 解决。
- 【易错点 2】忽视 fixed 块的作用域，可能引发悬垂指针。
- 【易错点 3】滥用 stackalloc 导致栈溢出，或忘记检查指针算术边界。