如何高效的写和检查 unsafe 代码？

我读了这个，https://www.ralfj.de/blog/2018/11/16/stacked-borrows-implementation.html 感觉难以理解... 请教下大家，在写 unsafe 代码之前，是不是要先了解 stacked borrow 和 miri 的使用啊？ 如果不是的话，那要怎么高效的写和检查 unsafe 代码？

该文讨论了实现堆栈借用和Miri的使用，但作者认为难以理解。询问是否在编写不安全代码之前需要了解这些内容，以及如何高效编写和检查不安全代码。

Miri 不安全代码 堆栈借用 检查 编写
原文中文，约200字，阅读约需1分钟。发表于：。
阅读原文
分享给好友