Error using map over an option

I have the following program (playground). While the code marked "WORKS" works, using "map" to seems more natural. But I am getting an error when I try that ("cannot return value referencing function parameter info").

How do I use map in such situation or is there another easier way to express the same logic?

struct Info<'a> {
    name: &'a str,
}
struct Foo {}

impl Foo {
    fn test(&self) {
        let info_opt1: Option<Info> = None;

        // WORKS:
        let _processed_info1 = match info_opt1 {
            Some(ref info) => Some(self.process(&info)),
            None => None
        };
        
        let info_opt2: Option<Info> = None;

        // ERROR: returns a value referencing data owned by the current function
        let _processed_info2 = info_opt2.map(|info| self.process(&info));
    }

    fn process<'a>(&self, info: &'a Info<'_>) -> &'a str {
        info.name
    }
}

The type signature you've written for process is unnecessarily restrictive: as written, if you pass process a &'short Info<'long>, it will return a &'short str, where it could legally return a &'long str. The better signature is

fn process<'a>(&self, info: &Info<'a>) -> &'a str

with which your code compiles.

(Note that for a value of type &'s Info<'t> to exist, 's must be shorter-than-or-equal-to 't, because the inner Info<'t> only lives for 't, and you can't borrow it for longer than that. That's why I'm using the names 'short and 'long, and why the difference between the two signatures is significant.)

1 Like
let _processed_info3 = info_opt3.as_ref().map(|info| self.process(info));
1 Like

@cole-miller It is indeed the case in the snippet here (but I wanted to include a full signature to show the intent). In my original code, it is a lot more involved with multiple reference parameters.

Thanks. I didn't think of as_ref(). It works perfectly in my situation.

This topic was automatically closed 90 days after the last reply. We invite you to open a new topic if you have further questions or comments.