Rust 双重参考值

Question

浏览 Rust 的 blurz 蓝牙库。

声明了一个变量，其值等于临时值的引用（？）。

这个值然后通过引用传递给另一个函数。

如何处理在单个语句中设置为引用值的变量的所有权，然后将该引用用作引用意味着什么？

例子：

let bt_session = &Session::create_session(None)?;
let adapter: Adapter = Adapter::init(bt_session)?;
adapter.set_powered(true)?;

let session = DiscoverySession::create_session(
    &bt_session,
    adapter.get_id()
)?;

查看变量bt_session。

Source code example link.

Answer 1

一个注释的例子来说明一些概念：

use rand;

#[derive(Debug)]
struct Struct {
    id: i32
}

impl Drop for Struct {
    fn drop(&mut self) {
        // print when struct is dropped
        println!("dropped {:?}", self);
    }
}

fn rand_struct() -> Struct {
    Struct { id: rand::random() }
}

/*
this does not compile:

fn rand_struct_ref<'a>() -> &'a Struct {
    &rand_struct()
    // struct dropped here so we can't return it to caller's scope
}
*/

fn takes_struct_ref(s: &Struct) {}

fn main() {
    // brings struct into scope and immediately creates ref to it
    // this is okay because the struct is not dropped until end of this scope
    let s = &rand_struct();
    
    println!("holding ref to {:?}", s);
    
    // all these work because of deref coercion
    takes_struct_ref(s);
    takes_struct_ref(&s);
    takes_struct_ref(&&s);
    
    // struct dropped here
}

playground

回答您的第一个问题：如果在函数末尾删除了基础值，则无法从函数返回引用，但可以立即引用返回的值，因为该值在其余部分都存在调用者的范围。如果您运行上面的示例，您可以看到这一点，因为holding ref to Struct { id: <id> } 将在dropped Struct { id: <id> } 之前打印。

回答您的第二个问题：您可以将&Struct 或&&Struct 或&&&Struct 等传递给只需要&Struct 的函数的原因是因为名为deref coercion 当变量用作函数参数或作为方法调用的一部分时，它会自动解除对变量的引用。在您的共享代码示例中看起来一个引用的引用被传递给函数但实际上它只是在自动解除引用强制发生后传递一个引用。 p>

另见

• Why is it legal to borrow a temporary?
• What are Rust's exact auto-dereferencing rules?