Zig 的内存安全特性

[jiacai2050]

https://gencmurat.com/en/posts/memory-safety-features-in-zig/

1. Zig的设计理念以内存安全为基石，旨在通过安全机制防止常见的内存错误，同时保持手动内存管理的性能优势。
2. Zig通过消除隐式控制流，如C++的异常，使用try关键字显式处理错误，确保错误处理的可见性和可控性。
3. Zig采用强大的错误联合类型系统，强制开发者处理所有潜在的错误情况，防止错误被意外忽略，降低内存损坏的可能性。
4. Zig执行广泛的编译时分析，在运行时之前捕获内存问题，例如数组越界访问，提高程序安全性。
5. 对于无法在编译时验证的情况，Zig在安全构建模式下包含全面的运行时边界检查，防止缓冲区溢出和使用后释放等漏洞。
6. Zig的defer语句确保资源得到正确释放，防止内存泄漏，即使在复杂的控制流程中也能保证资源清理。
7. Zig使用可选类型显式表示可能不存在的值，从而消除空指针解引用，避免常见的错误和安全漏洞。
8. Zig提供多种构建模式，平衡安全性和性能，允许开发者在开发和测试期间保持安全性，并为部署提供性能优先的选项。
9. Zig通过对哨兵终止数组的一流支持，使字符串处理更安全，兼容C的空终止字符串模型，消除缓冲区溢出漏洞。
10. Zig通过要求传递分配器来明确内存分配，使内存所有权清晰，防止内存泄漏，并实现竞技场分配等高级模式以提高性能。

[jiacai2050]