Rust ARC中的元组是如何通过引用进行分解的？_Rust_Tuples_Destructuring_Reference Counting

Rust ARC中的元组是如何通过引用进行分解的？

rust

Rust ARC中的元组是如何通过引用进行分解的？,rust,tuples,destructuring,reference-counting,Rust,Tuples,Destructuring,Reference Counting,我正在查看，很好奇元组对和对是如何被分解的： let pair=Arc:：new（（Mutex:：new（false），Condvar:：new（））；让pair2=pair.clone（）； // ... 线程：：生成（移动| |{ let&（ref lock，ref cvar）=&*pair2； // ... } Arc是否返回对内部数据的引用？但是从pair2中删除&： let&（ref-lock，ref-cvar）=*pair2；给出一个编译器错误： 11 | let&（ref

我正在查看，很好奇元组

对

和

对

是如何被分解的：

let pair=Arc:：new（（Mutex:：new（false），Condvar:：new（））；
让pair2=pair.clone（）；
// ...
线程：：生成（移动| |{
let&（ref lock，ref cvar）=&*pair2；
// ...
}

Arc

是否返回对内部数据的引用？但是从

pair2

中删除

：

let&（ref-lock，ref-cvar）=*pair2；

给出一个编译器错误：

11 | let&（ref lock，ref cvar）=*pair2；
|^^^^^^^^^^^^^^^^^^^^^^^^^^^所需的元组，已找到引用
|
=注意：应为类型“”（std:：sync:：Mutex，std:：sync:：Condvar）`
找到类型`&_`

这似乎意味着

*pair2

返回一个元组而不是一个引用。

简短的回答是肯定的，

Deref

返回一个引用，但该引用仍然被

取消引用

在破译

和*pair

之前，首先详细查看

*pair

Arc

实现了

Deref

特性，因此Rust编译器本质上转换：

*对

进入

*（pair.deref（））

Arc:：deref（）

确实返回一个引用，但它将被

取消引用，从而生成一个元组

Condvar

示例添加了一个前导的

，因为它只需要借用

*pair

产生的元组

另见：

在
```
Deref:：Deref
```
这个