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

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