对多个参数使用相同的生命周期有什么好处？答案

【问题标题】：What is the advantage of using the same lifetime for multiple arguments?对多个参数使用相同的生命周期有什么好处？
【发布时间】：2016-05-25 06:22:10
【问题描述】：

fn xory<'a>(x: &'a str, y: &'a str) -> &'a str { x }

与使用两个生命周期相比，上述代码有什么优势？是否存在上述代码可以工作但 2 个生命周期不能工作的情况？

【问题讨论】：

标签： rust lifetime lifetime-scoping

【解决方案1】：

这真的取决于您的用例。鉴于您编写的确切代码：

fn xory<'a>(x: &'a str, y: &'a str) -> &'a str { 
    x 
}

这里只使用一个生命周期是不利的，因为返回值仅取决于x 参数，而不取决于y 参数。让我们想象一下这个用户代码：

let x_in = "paul".to_owned();
let out = {
    let y_in = "peter".to_owned();
    xory(&x_in, &y_in)
};

我们希望这可以正常工作，因为out 基本上是x_in。但是编译器抱怨：

<anon>:12:22: 12:26 error: `y_in` does not live long enough
<anon>:12         xory(&x_in, &y_in)
                               ^~~~
<anon>:13:7: 14:2 note: reference must be valid for the block suffix following statement 1 at 13:6...
<anon>:13     };
<anon>:14 }
<anon>:11:39: 13:6 note: ...but borrowed value is only valid for the block suffix following statement 0 at 11:38
<anon>:11         let y_in = "peter".to_owned();
<anon>:12         xory(&x_in, &y_in)
<anon>:13     };

这是因为编译器假定（来自xory 签名）xory 的输出引用了这两个参数。因此，最好尽可能详细地指定生命周期，以避免不必要的条件/假设/参数之间的关系。

在某些情况下，您只需要使用一个生命周期（或稍微不同的解决方案）：假设您想根据某些条件返回 x 或 y：

fn xory<'a>(x: &'a str, y: &'a str) -> &'a str { 
    if x.len() == 42 { 
        x
    } else {
        y
    }
}

这里输出的生命周期取决于两个参数的生命周期，我们在编译时不知道哪一个。因此，我们必须做好最坏的打算，并这样做。

【讨论】：

哦，输出必须统一，如果它取决于两个输入。

【解决方案2】：

在相同的生命周期中，您说返回值可以从x 或y 借用，因此从函数体的角度来看，它更加灵活。从调用者来看，它更具限制性，因为只要保留结果，x 和 y 都需要有效，而不仅仅是 x（比如说）。

【讨论】：