How to solve "temporary value dropped while borrowed"

Question

I'm learning Rust (coming from Javascript), and in Rust I'm trying to create a component-based UI template. This is the minimum example I can reproduce in a Rust playground.

I have a Vector of Enums. I want to add components that will return a new set of vectors. The component returns a vector from a member function that is not a reference.

let _new_children = match new_view.unwrap() {
    View::View(children) => children, // reference &Vec<View>
    View::Render(ref component) => component.render(), // struct Vec<View>
};

let _new_children = match new_view.unwrap() {
    View::View(children) => children,
    View::Render(ref component) => &component.render(), //  temporary value dropped while borrowed
};

How can I solve this problem? Do I need to rewrite the way functions check the difference between two vectors (itertools has a zip_longest method, which I also use).

I asked a concise Question for common rust error `error[E0716]` [error E0716: temporary value dropped while borrowed (rust)](https://stackoverflow.com/questions/71626083/error-e0716-temporary-value-dropped-while-borrowed-rust). It links back to this Question. — JamesThomasMoon, Mar 26 '22 at 07:24

score 5 · Accepted Answer · answered Mar 17 '20 at 09:55

In order to return a reference to a temporary you need to make the temporary live longer than the use of that reference.

In your code the temporary object is dropped as soon as the match branch ends, so a reference to it cannot escape the match.

There is a nice trick in Rust to extend the lifetime of a temporary. It consist in declaring the temporary name+ in the larger block where you want it to live, without initializing it. Then you assign-initialize it where the object temporary is actually created. Something like this:

    let tmp_new;
    let new_children = match new_view.unwrap() {
        View::View(children) => children,
        View::Render(ref component) => {
            tmp_new = component.render();
            &tmp_new }
    };

Now new_children is of type &Vec<_> and it will live for the shorter of the two lifetimes of the match branches.

Note that unless you initialize the temporary in every branch of your match you cannot use tmp_new after it, because you will get:

use of possibly-uninitialized variable: tmp_new

This trick won't work inside a loop body however because you'd need *n* instances of `tmp_new` where *n* is the number of loop iterations. — nalply, Dec 02 '20 at 11:28

How to solve "temporary value dropped while borrowed"

1 Answers1

Linked