Rust.cc

Rust.cc -

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

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

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

Miri 不安全代码 堆栈借用 检查 编写

相关推荐 去reddit讨论

热榜 Top10

eolink
eolink
LigaAI
LigaAI
观测云
观测云
Dify.AI
Dify.AI

推荐或自荐