add a example to ownership.md

contents/appendix/rust-versions/1.59.md

@@ -92,6 +92,20 @@ strip = "debuginfo"
 
 以上配置会将 `release` 二进制文件中的 debug 信息移除。你也可以使用 `"symbols"` 或 `true` 选项来移除所有支持的 `symbol` 信息。
 
+根据 reddit 网友的测试，如果使用了 `strip = true`，那编译后的体积将大幅减少(50% 左右):
+
+- 先使用 `lto = true` : 4,397,320 bytes
+- 再使用 `strip = true` : 2,657,304 bytes
+- 最后 `opt-level = "z"` : 1,857,680 bytes
+
+如果是 WASM，还可以使用以下配置进一步减少体积:
+```toml
+[package.metadata.wasm-pack.profile.release]
+wasm-opt = ['-Os']
+```
+
+[github上一个开源仓库](https://github.com/rsadsb/adsb_deku/blob/master/CHANGELOG.md#unreleased)也证明了这一点，总体来看，这个配置的效果是非常显著的！
+
 ## 默认关闭增量编译
 1.59.0 版本默认关闭了增量编译的功能(你可以通过环境变量显式地启用：`RUSTC_FORCE_INCREMENTAL=1` )，这会降低已知bug [#94124](https://github.com/rust-lang/rust/issues/94124) 的影响，该 bug 会导致增量编译过程中的反序列化的误和 panic。
 

contents/basic/ownership/ownership.md

@@ -198,6 +198,21 @@ error[E0382]: use of moved value: `s1`
 这样就解决了我们之前的问题，`s1` 不再指向任何数据，只有 `s2` 是有效的，当 `s2` 离开作用域，它就会释放内存。 相信此刻，你应该明白了，为什么 Rust 称呼 `let a = b` 为**变量绑定**了吧？
 
 
+再来看一段代码:
+```rust
+fn main() {
+    let x: &str = "hello, world";
+    let y = x;
+    println!("{},{}",x,y);
+}
+```
+
+这段代码，大家觉得会否报错？如果参考之前的 `String` 所有权转移的例子，那这段代码也应该报错才是，但是实际上呢？
+
+这段代码和之前的 `String` 有一个本质上的区别：在 `String` 的例子中 `s1` 持有了通过`String::from("hello")` 创建的值的所有权，而这个例子中，`x` 只是引用了存储在二进制中的字符串 `"hello, world"`，并没有持有所有权。
+
+因此 `let y = x` 中，仅仅是对该引用进行了拷贝，此时 `y` 和 `x` 都引用了同一个字符串。**如果还不理解也没关系，当学习了下一章节 "引用与借用" 后，大家自然而言就会理解。**
+
 #### 克隆(深拷贝)
 
 首先，**Rust 永远也不会自动创建数据的 “深拷贝”**。因此，任何**自动**的复制都不是深拷贝，可以被认为对运行时性能影响较小。
@@ -233,7 +248,7 @@ println!("x = {}, y = {}", x, y);
 
 Rust 有一个叫做 `Copy` 的特征，可以用在类似整型这样在栈中存储的类型。如果一个类型拥有 `Copy` 特征，一个旧的变量在被赋值给其他变量后仍然可用。
 
-那么什么类型是可 `Copy` 的呢？可以查看给定类型的文档来确认，不过作为一个通用的规则：**任何基本类型的组合可以是 `Copy` 的，不需要分配内存或某种形式资源的类型是 `Copy` 的**。如下是一些 `Copy` 的类型：
+那么什么类型是可 `Copy` 的呢？可以查看给定类型的文档来确认，不过作为一个通用的规则：**保存在栈上的数据类型可以 `Copy`，任何基本类型的组合可以 `Copy` ，不需要分配内存或某种形式资源的类型是 `Copy` 的**。如下是一些 `Copy` 的类型：
 
 * 所有整数类型，比如 `u32`。
 * 布尔类型，`bool`，它的值是 `true` 和 `false`。