Does the third rule of lifetime elision capture all cases for struct implementations?

Question

The third rule of lifetime elision says

If there are multiple input lifetime parameters, but one of them is &self or &mut self because this is a method, then the lifetime of self is assigned to all output lifetime parameters. This makes writing methods much nicer.

Here is the tutorial describing what happened for this function

fn announce_and_return_part(&self, announcement: &str) -> &str

There are two input lifetimes, so Rust applies the first lifetime elision rule and gives both &self and announcement their own lifetimes. Then, because one of the parameters is &self, the return type gets the lifetime of &self, and all lifetimes have been accounted for.

We can show that all the lifetimes are not accounted for since it is possible that announcement will have a different lifetime than &self:

struct ImportantExcerpt<'a> {
    part: &'a str,
}

impl<'a> ImportantExcerpt<'a> {
    fn announce_and_return_part(&self, announcement: &str) -> &str {
        println!("Attention please: {}", announcement);
        announcement
    }
}

fn main() {
    let i = ImportantExcerpt { part: "IAOJSDI" };
    let test_string_lifetime;

    {
        let a = String::from("xyz");
        test_string_lifetime = i.announce_and_return_part(a.as_str());
    }
    println!("{:?}", test_string_lifetime);   
}

The lifetime of announcement is not as long as &self, so it is not correct to associate the output lifetime to &self, shouldn't the output lifetime be associated to the longer of the input?

Why is the third rule of lifetime elision a valid way to assign output lifetime?

I totally thought the same thing as you when I read that. I guess the important thing to know along with the response below is that the code you posted fails to compile, complaining of a `lifetime mismatch` between the `announcement` argument and the return type in the function prototype, explicitly noticing that you're returning data from `announcement`. Thanks for posting this. — Philippe Chaintreuil, Jul 23 '19 at 18:51
By the way, for future Googlers: If you add an explicit (and matching) lifetime to `announcement` and the return type in the prototype, the function compiles, but then rust (correctly) complains about the lifetime not being long enough in `main()`. — Philippe Chaintreuil, Jul 23 '19 at 18:57

Shepmaster · Accepted Answer · 2017-09-21T00:31:11.077

No, the elision rules do not capture every possible case for lifetimes. If they did, then there wouldn't be any elision rules, they would be the only rules and we wouldn't need any syntax to specify explicit lifetimes.

Quoting from the documentation you linked to, emphasis mine:

The patterns programmed into Rust's analysis of references are called the lifetime elision rules. These aren't rules for programmers to follow; the rules are a set of particular cases that the compiler will consider, and if your code fits these cases, you don't need to write the lifetimes explicitly.

The elision rules don't provide full inference: if Rust deterministically applies the rules but there's still ambiguity as to what lifetimes the references have, it won't guess what the lifetime of the remaining references should be. In this case, the compiler will give you an error that can be resolved by adding the lifetime annotations that correspond to your intentions for how the references relate to each other.

The lifetime of announcement is not as long as &self, so it is not correct to associate the output lifetime to &self

Why is the third rule of lifetime elision a valid way to assign output lifetime?

"correct" is probably not the right word to use here. What the elision rules have done is a valid way, it just doesn't happen to be what you might have wanted.

shouldn't the output lifetime be associated to the longer of the input?

Yes, that would be acceptable for this example, it's just not the most common case, so it's not what the elision rules were aimed to do.

Does the third rule of lifetime elision capture all cases for struct implementations?

1 Answers1