在从引用中分配变量时,ref和&之间的区别是什么？

y就是这样&&Vec.

这让我们看到它let ref a = b;通常相当于let a = &b;,因此在这种情况下:let y = &&vec;.

ref是为了解构; 例如,如果你有:

let vec = Some(vec![1, 2, 3]);
if let Some(ref y) = vec {
    // use `y` here
}

即使这里有类型,你也可以ref在这里使用y,&Vec 无需移动即可绑定.实际上,目的是在解构期间在现有对象内部引用.vecOption>ref

一般而言,在let声明中,您不会使用ref.

而自Rust 1.26以来,ref推断出模式匹配; 看到匹配人体工程学的稳定性.

模式绑定可以得到一些使用;)

为了理解编译器的功能,您可以使用该let _: () = ...;技巧.通过分配类型变量(),可以强制编译器打印一条错误消息,为您提供为变量推断的类型.

在第一个例子中:

let vec = vec![1, 2, 3];
let &y = &vec;
let _: () = y;

我们得到:

error[E0308]: mismatched types
 --> src/lib.rs:4:13
  |
4 | let _: () = y;
  |             ^ expected (), found struct `std::vec::Vec`
  |
  = note: expected type `()`
             found type `std::vec::Vec<{integer}>`

let vec = vec![1, 2, 3];
let y = vec;

let vec = vec![1, 2, 3];
let ref y = &vec;
let _: () = y;

let vec = Some(vec![1, 2, 3]);
if let Some(ref y) = vec {
    // use `y` here
}