在 Rust 的元组中传递多个引用

Question

我有一个具有某种关联类型的特征，它的一些函数将该类型的引用作为输入：

trait Trait {
    type Value;

    fn do_something(&self, value: &Self::Value);
}

在一个实现此特征的结构中，Value 是一个元组，因为我需要将多个值传递给do_something：

struct Struct {}

impl Trait for Struct {
    type Value = (i64, String);

    fn do_something(&self, (a, b): &(i64, String)) {
        println!("{} {}", a, b);
    }
}

但是，当我在实践中使用Struct 时，我碰壁了。要么我这样做：

fn main() {
    let a = 10;
    let b = "foo".to_owned();
    let s = Struct {};

    s.do_something(&(a, b));  // This works...
    println!("{}", b);  // ...but the borrow checker complains here
}

但是我失去了元组中任何非Copy 类型的所有权。或者，我可以这样做：

fn main() {
    let a = 10;
    let b = "foo".to_owned();
    let s = Struct {};

    let t = (a, b);
    s.do_something(&t);
    let (a, b) = t;
    println!("{}", b);
}

可行，但语法非常繁重。

有没有人知道如何以更简洁的方式完成我想要的事情？我试图让Struct::Value 的类型为(&i64, &String)，但是借用检查器抱怨这些引用需要一个生命周期，如果可能的话我想避免这种情况。

我尝试的另一种选择是使用类型参数（即Trait<Value>）而不是关联类型。在这种情况下，我可以让Struct 实现Trait<(&i64, &String)>，而不会出现关联类型的生命周期问题。它可以工作，但在我的项目中，Struct 拥有多个 Trait 的实现是没有意义的，所以我更喜欢使用关联类型。

感谢您的宝贵时间 :-)

Answer 1

我试图让Struct::Value 成为(&i64, &String) 类型，但借用检查器抱怨这些引用需要生命周期，如果可能的话我想避免这种情况。

无法避免生命周期。所有引用都有生命周期，其中一些是编译器可以为你推断的，而其中一些你必须自己显式注释。注意：编译器并不总是正确的，所以有时你必须明确地注释生命周期，尽管编译器的推论。

在这种情况下，我可以让 Struct 实现 Trait<(&i64, &String)> 而不会出现关联类型的生命周期问题。

是的，因为编译器为这些引用推断出的生命周期恰好有效，但您不必害怕在需要时自己显式注释它们。

它有效，但在我的项目中，Struct 拥有多个 Trait 的实现是没有意义的，所以我更喜欢使用关联类型。

好吧，那么让我们使用关联类型。这是包含所有必要生命周期注释的代码：

trait Trait<'a> {
    type Value;

    fn do_something(&self, value: Self::Value);
}

struct Struct {}

impl<'a> Trait<'a> for Struct {
    type Value = (&'a i64, &'a String);

    fn do_something(&self, (a, b): Self::Value) {
        println!("{} {}", a, b);
    }
}

fn main() {
    let a = 10;
    let b = "foo".to_owned();
    let s = Struct {};

    s.do_something((&a, &b)); // compiles
    println!("{}", b); // compiles
}

playground