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

0xe994a4 发表于 2023-05-25 15:10

我读了这个，https://www.ralfj.de/blog/2018/11/16/stacked-borrows-implementation.html 感觉难以理解...

请教下大家，在写 unsafe 代码之前，是不是要先了解 stacked borrow 和 miri 的使用啊？如果不是的话，那要怎么高效的写和检查 unsafe 代码？

写评论

作者 0xe994a4 2023-05-25 17:15

我在看链表实现的时候确实有这种感觉：从 reference、smart pointer 切换到 raw pointer，就是放弃安全规则，反之就是接受安全规则。但是，我没有确定的思路，我也没有 c、cpp 的背景。:-(

--
👇
wangbyby: 个人看法 raw-pointer与智能指针转换时候要注意其他的c、cpp应该有很多实践了

wangbyby 2023-05-25 17:07

个人看法 raw-pointer与智能指针转换时候要注意其他的c、cpp应该有很多实践了

廴壬吉 2023-05-25 16:23

windows-rs全是unsafe，是不是不安全呢

1 共 3 条评论, 1 页