DEV Community

TakaakiFuruse
TakaakiFuruse

Posted on

Rust lifetimes, a high wall for Rust newbies

#rust

Learning Rust is hard

I recently start learning Rust. The language is famous but at the same time is infamous. Everybody says it has steep learning curves and some concepts (mostly borrowing, ownership and lifetimes) are hard to grasp.

Let me explain some of the concepts related to lifetime. (Don't assume me as an expert of lifetime, even though I deciced to write this article, I feel I still don't get the concept. Also, this article is just a paraphase of the book and the nomicon.)

If you want to run your code on your machine, run it with Rust 1.31.1, current (2019 Jan) stalbe.

Most of the codes are copied from the book, the nomicon.

Lifetime Basics

This does not compile, but

fn main() {
    {
        let r;

        {
            let x = 5;
            r = &x;
        }

        println!("r: {}", r);
    }
}
Enter fullscreen mode Exit fullscreen mode

This does compile

fn main() {
    let r;

    let x = 5;
    r = &x;

    println!("r: {}", r);
}
Enter fullscreen mode Exit fullscreen mode

Why? Rust's variables live within their scope (between "{" and "}"). If they go out boundries, compiler kills them, just like a prison.

The problem of the first code is var r. r has a borrowed value from x and we ask Rust to print out on final line. Notice that x dies soon after he loaned his value to r. So, on final line, we basically trying to priting out a value which does not exists. Rust yells ERROR.

The solution is simple. Just remove the scope and let r an x live til the end of main func.

Rust decides how long each vars live, according to nomicon.

This simple code


fn main() {
    let x = 0;
    let y = &x;
    let z = &y;
}
Enter fullscreen mode Exit fullscreen mode

is just a sugared one. If we desugar, it looks like this.

fn main() {
    'a: {
        let x: i32 = 0;
        'b: {
            let y: &'b i32 = &'b x;
            'c: {
                // ditto on 'c
                let z: &'c &'b i32 = &'c y;
            }
        }
    }
}
Enter fullscreen mode Exit fullscreen mode

The nomicon says lifetimes are just a regions. Yes, it looks like code blocks.

(Unfortunately, lifetime boundries are not visualized and there's no way to do it. I wish if it were. Nashenas88 is working on the visualization project. Good Luck!!)

Function and Lifetime

This code does not compile

#[allow(unused_variables)]
fn main() {
    let string1 = String::from("abcd");
    let string2 = "xyz";

    let result = longest(string1.as_str(), string2);
}


fn longest(x: &str, y: &str) -> &str {
    if x.len() > y.len() {
        x
    } else {
        y
    }
}
Enter fullscreen mode Exit fullscreen mode

Rust says...

error[E0106]: missing lifetime specifier
  --> src/main.rs:11:33
   |
11 | fn longest(x: &str, y: &str) -> &str {
   |                                 ^ expected lifetime parameter
   |
   = help: this function's return type contains a borrowed value, but the signature does not say whether it is borrowed from `x` or `y`
Enter fullscreen mode Exit fullscreen mode

The longest function returns either x or y. Nobody knows exactly which.

In most cases Rust tries to assume var's lifetimes based on simple rules (it's called lifetime elission). In this case, the rules does not apply. So we need to add lifetimes manually, let's do it.

This compiles

fn longest<'a>(x: &'a str, y: &'a str) -> &'a str {
    if x.len() > y.len() {
        x
    } else {
        y
    }
}
Enter fullscreen mode Exit fullscreen mode

How about giving different lifetimes for x and y?

That won't work, since the function made to return only 1 result. The result comes with 1 lifetime, but which lifetime, x's or y's (we can't say either or both)?

Lifetime subtypes

Let's try another example.
In this example, I strucutrued that Parser contains Context object and parse_context does parsing job.

struct Context(&str);

struct Parser {
    context: &Context,
}

impl Parser {
    fn parse(&self) -> Result<(), &str> {
        Err(&self.context.0[1..])
    }
}

fn parse_context(context: Context) -> Result<(), &str> {
    Parser { context: &context }.parse()
}
Enter fullscreen mode Exit fullscreen mode

If we compile, we'll get error.

error[E0106]: missing lifetime specifier
 --> src/lib.rs:1:16
  |
1 | struct Context(&str);
  |                ^ expected lifetime parameter

error[E0106]: missing lifetime specifier
 --> src/lib.rs:4:14
  |
4 |     context: &Context,
  |              ^ expected lifetime parameter

error[E0106]: missing lifetime specifier
  --> src/lib.rs:13:50
   |
13 | fn parse_context(context: Context) -> Result<(), &str> {
   |                                                  ^ help: consider giving it an explicit bounded or 'static lifetime: `&'static`
   |
   = help: this function's return type contains a borrowed value with an elided lifetime, but the lifetime cannot be derived from the arguments
Enter fullscreen mode Exit fullscreen mode

Let's add a lifetime.

struct Context<'a>(&'a str);

struct Parser<'a> {
    context: &'a Context<'a>,
}

impl<'a> Parser<'a> {
    fn parse(&self) -> Result<(), &'a str> {
        Err(&self.context.0[1..])
    }
}

fn parse_context<'a>(context: Context<'a>) -> Result<(), &'a str> {
    Parser { context: &context }.parse()
}
Enter fullscreen mode Exit fullscreen mode

and we'll get error....

error[E0515]: cannot return value referencing function parameter `context`
  --> src/lib.rs:14:5
   |
14 |     Parser { context: &context }.parse()
   |     ^^^^^^^^^^^^^^^^^^--------^^^^^^^^^^
   |     |                 |
   |     |                 `context` is borrowed here
   |     returns a value referencing data owned by the current function
Enter fullscreen mode Exit fullscreen mode

The var context is only available in parse_context function. So, at the end of function, Parser will reffer to a var which does not exist.

What should we do?

We need 2 lifetimes.
This will compile (only on 1.31.1, not other versions.)

#![allow(dead_code)]

struct Context<'s>(&'s str);

struct Parser<'c, 's> {
    context: &'c Context<'s>,
}

impl<'c, 's> Parser<'c, 's> {
    fn parse(&self) -> Result<(), &'s str> {
        Err(&self.context.0[1..])
    }
}

fn parse_context(context: Context) -> Result<(), &str> {
    Parser { context: &context }.parse()
}
Enter fullscreen mode Exit fullscreen mode

Parser contains Context and Parser reffers Context through "parse" method.

This means that Context has to live longer than Parser. So, we should at least tell Rust that both lifetimes are different.

(Although I'm writing "we need 2 lifetimes", I still don't get why we need 2 lifetims. Single lifetime means Context and Parser dies at the same time. What's the problem!)

(Do you think reading RFC for non-lexical lifetimes would be good for understanding lifetimes, although it's super lengthy? )

Top comments (6)

Collapse
 
barronli profile image
Barronli •

The two lifetimes are necessary because you want the struct field to outlive the containing struct. This cannot be achieved with single lifetime for both the struct and its field.

In this function:

fn parse_context<'a>(context: Context<'a>) -> Result<(), &'a str> {
    Parser { context: &context }.parse()
}

It returns a reference &str that is a field (of a field) of Parser, while the Parser only exists within the function body. In order to make it work, the field of Parser has to borrow a value that has the same lifetime as the return value. That is, as long as the returned value &str has the same lifetime as the input argument context, it does not matter how long the Parser struct lives. In other words, the lifetimes of Parser and context are independent - that is why they have two lifetimes in the struct definition.

struct Parser<'c, 's> {
    context: &'c Context<'s>,
}

To understand it in another way, you can consider the struct constructor of Parser as a new() function, whose input argument has different lifetime than it self's, which is common in function definitions.

impl<'a, 's> Parser<'a, 's> {
    //the argument context has lifetime 's and is borrowed for lifetime 'a
    fn new(context: &'a Context<'s>)->Parser<'a, 's>{
        Parser{context}
    }
    fn parse(&'a self) -> Result<(), &'s str> {
        Err(&self.context.0[1..])
    }
}

fn parse_context<'a>(context: Context<'a>) -> Result<(), &'a str> {
    Parser::new(&context).parse()   //Parser only lives within this scope
}

In this way, it is like that you have an input argument passed to Parser "function", and returns the same argument data. The argument's lifetime has nothing to do with the Parser "function".

See the working version in Playground.

Collapse
 
bretthancox profile image
bretthancox •

Love this article and this additional information is great. Thank you for adding it.

I can deal with most of Rust's idiosyncrasies, but with lifetimes I feel like the compiler leads me by the nose. I do as I'm told without knowing and I hate doing that.

Collapse
 
saveriomiroddi profile image
Saverio Miroddi •

I'm confused by this article, because the parse_context() function is improper - the version presented consumes the context object, but it borrows it inside. This doesn't make sense :-)

The proper version of parse_context() borrows the context, and doesn't require two lifetimes:

struct Context<'a> {
    text: &'a str,
}

struct Parser<'a> {
    context: &'a Context<'a>,
}

impl<'a> Parser<'a> {
    fn parse(&self) -> &'a str {
        &self.context.text
    }
}

fn parse_context<'a>(context: &'a Context) -> &'a str {
    Parser { context }.parse()
}
Enter fullscreen mode Exit fullscreen mode

Now, without knowing the... context (no pun intended!), I can't be sure if this was intended, or if it's been an accident.

It's possible that this was a contrived example for the sake of understanding (which is fair, as a matter of fact, I do find this interesting), however, based on the mutability of the fields and the operations (all immutable), it seems to me that this was an accident.

Collapse
 
serak profile image
Serak Shiferaw •

2 question here, if the compiler knows i should add lifetime at specified points why not just do it itself. instead of telling me to add 'a everywhere the other is why didnt rust used the old c style &str

e.g

[allow(unused_variables)]

fn main() {
let string1 = String::from("abcd");
let string2 = "xyz";

let result = longest(&string1.as_str(), &string2); //notice & to pass by reference and enforce the compiler to pass lifetime to the called function

}

fn longest(x: &str, y: &str) -> &str {
if x.len() > y.len() {
x
} else {
y
}
}

Collapse
 
eribol profile image
eribol •

How about loops? How can we use lifetimes with loops?

Collapse
 
bretthancox profile image
bretthancox •

Bravo on the helpful article.

Also, unicorn emoji for this line: "If they go out boundries, compiler kills them, just like a prison."

Read next

snapnews profile image

Apple's Next Big Thing: Smart Home Displays Set to Change Our Homes in 2025

SnapNews -

tankgerman6 profile image

Apa yang Mesti Dikerjakan Pemula dalam Judi Online?

Bjerregaard Moss -

nancypeony86 profile image

Watch Out: How Mental Health Assesment Is Taking Over And How To Respond

Barbour Choate -

agatha_abigail_7 profile image

Explore Sustainable Roofing with RNS Roofing in Guildford

Agatha Abigail -