1

在Rust 编程语言中关于所有权的部分中，Strings 表示为具有 3 个字段的结构（3 个字段之一是指向实际字节向量的指针）。有一个例子：

let s1 = String::from("hello");
let s2 = s1;

这本书将其解释为复制包含在s1to中的 3 字段结构s2（但不是字节向量），然后将包含在其中的结构标记s1为“无效”（图 4-4）。

为什么它以这种方式呈现，而不是呈现s2为指向相同的顶级结构s1，然后标记s1为“无效”？

这种替代呈现是否会导致语义上的明显差异（或者甚至会导致问题）？如果不是，是不是因为它更好地反映了底层实现？如果是这样，为什么实现会进行这样的复制操作？

4

1 回答 1

5

为什么会这样呈现

因为这是对 Rust 的所有权和移动语义进行建模的一种非常接近（如果不准确的话）的方式。

这种替代呈现是否会导致语义上的明显差异

是的。Rust 当前的语义表明，当一个变量被移动时，不能保证它保持在同一个地址。您的替代演示文稿会向读者建议地址保证是相同的（“因为图片告诉我！”）。

不可能每一步都是如此，因此不值得教人们误导语义。很难确定具体细节，但我预计价值移动的可能性更高：

  • 跨线程传输它们
  • 从函数返回值——尽管（命名的）返回值优化可以防止这种情况。
  • 当值“非常小”时——复制它比取消引用内存更便宜。

为什么实现会进行这样的复制操作？

实现不一定要复制。虽然语义不能保证地址保持不变，但它们也不强制它必须更改。事实上，优化器会花时间尝试尽可能减少各种不必要的副本。所讨论的特定示例极有可能不涉及任何副本。

于 2018-04-18T22:15:31.767 回答