关于借用的一个小问题

刚看完 rust 官方教程，感觉非常新鲜，上手就写了一个 two sum 的题（ leetcode 居然支持 rust 了）。写的过程中发现一个不解之处，在对Vector和列表中的元素进行引用的时候一般会写let x = &vec[0];，不过如果直接写let x = vec[0]同样是可以使用的，只是x的类型不同，如果vec里的元素都是i32的话，不加&的写法输出的x会是i32类型。而且，在let x = vec[0]之后，vec[0]仍然可以访问，也就是说并没有失去所有权，于是怀疑这里做了克隆。继续进行测试：

#[derive(Debug)]
struct Val {
    val: i32,
}

fn main() {
    let vec = vec![Val{ val: 0 }, Val{ val: 1 }, Val{ val: 2 }];
    let x = vec[0];
    println!("x: {:?}", x);
}

在let x = vec[0]处会提示cannot move out of borrowed content错误，反而let x = &vec[0]是可行的，给Val结构添加#[derive(Clone)]标注依然会有错误，所以好像这也并不是在做克隆。rust book 上没有关于这两者区别的讨论，只是写了借用的做法。希望有人可以指教一下这两者的区别～

quinoa42

2019-01-15 10:35:25 +08:00

let x = vec[0]; 是 move，move 之后 ownership 交给了 x
rust 里 trait 分 Copy 和 Clone，这俩的区别就是 Copy 默认不需要很耗时的调用而 Clone 默认需要，所以 Copy 会自动调用而 Clone 不会（而 scalar，比如 i32，都实现了 Copy ）

换个角度:
```rust
#[derive(Debug, Clone, Copy)]
struct Val {
val: i32,
}

fn main() {
let vec = vec![Val{ val: 0 }, Val{ val: 1 }, Val{ val: 2 }];
let x = vec[0];
println!("x: {:?}", x);
}
```
这样就不会报错，因为 let x = vec[0]自动调用了 Copy::clone()

更进一步的理解首先需要参考 Index::index():
https://doc.rust-lang.org/std/vec/struct.Vec.html#impl-Index%3CI%3E
但是仔细看会发现，index()返回的是个 reference …………不能直接 let x = vec[0]的原因是，
如果用了[]这个语法糖，rust 会在调用 index()之后再调用一次 deref
所以直接调用 index()也能编译：
```rust
use std::ops::Index;
#[derive(Debug)]
struct Val {
val: i32,
}

fn main() {
let vec = vec![Val{ val: 0 }, Val{ val: 1 }, Val{ val: 2 }];
let x = vec.index(0);
println!("x: {:?}", x);
}
```

quinoa42

2019-01-15 16:35:56 +08:00

@dangoron
比方说 as_mut 的 type 是 fn as_ref(&self) -> &T，也就是说 as_mut 和 as_ref 的返回的 reference 包含的类型不一定要和 self 的类型一致
书里唯一一次提到 as_ref （ https://doc.rust-lang.org/1.30.0/book/2018-edition/ch17-03-oo-design-patterns.html?highlight=as_ref#adding-the--approve--method-that-changes-the-behavior-of--content ）是 Option::as_ref,效果是从 Option<T>变成 Option<&T>,但其实 Option 貌似没实现 AsRef trait...（毕竟和要求的 signature 不一样）
https://doc.rust-lang.org/std/option/enum.Option.html#method.as_ref
但 Arc::as_ref 可以作为一个典型例子：
https://doc.rust-lang.org/src/alloc/sync.rs.html#1946-1948