lifetime/advance

[giscus[bot]]

lifetime/advance

Learning Rust By Practice, narrowing the gap between beginner and skilled-dev with challenging examples, exercises and projects.

https://zh.practice.rs/lifetime/advance.html

[orbitoo]

为什么没有(

[badpx]

这一节没练习题……

[tabris233]

催更

[luo12yan]

哪个大神。能解释一下，第6题。已经完全搞晕了！

[Tlntin]

第六题解题思路

• 从NLL原则来看，应该是不会报错的，但是最终报错了，说明引用不可变引用前，还存在可变引用。

pub fn get_interface(&'a mut self) -> Interface {
        Interface {
            manager: &mut self.manager
        }
    }

• 从上面这个函数来看，Interface应该是一个临时变量，为啥没有被释放掉呢？大概率是因为生命周期约束导致了。仔细观察生命周期定义，发现manager绑定了interface一样的生命周期，若interface失效，则manager同样失效。简单理解就是这个可变引用，借出去后被绑走了，没办法归还。
• 解决思路，让manage生命周期长于Interface。

struct Interface<'a, 'b: 'a> {
    manager: &'a mut Manager<'b>
}

impl<'a, 'b> Interface<'a, 'b> {
    pub fn noop(self) {
        println!("interface consumed");
    }
}

• 此时还是报错，说明List的Manger借给Interface后还是没有归还。

impl<'a> List<'a> {
    pub fn get_interface(&'a mut self) -> Interface {
        Interface {
            manager: &mut self.manager
        }
    }
}

• 观察上面的定义，此时仍然只有一个生命周期，而Interface实际应该需要两个生命周期，如果没有指定返回值的生命周期，那么返回值默认用'a生命周期，所以对于InterFace而言，'a='b，无法达到让manage生命周期长于Interface的效果。

• 解决思路，在List这里再定义一个长点的生命周期。并且返回InterFace的时候，告知生命周期顺序（左短右长）。

• 于是想到了这个方案：

impl<'a, 'b: 'a> List<'a> {
    pub fn get_interface(&'b mut self) -> Interface<'a, 'b>
    {
        Interface {
            manager: &mut self.manager
        }
    }
}

• 但是还是报错？为啥呢？原因是因为'b长于'a，&'b mut self 这个可变借用会比List生命周期还要长，就会出现之前那种借出不还的情况。简单理解就是某人欠你很多钱，但是还债时间比你的寿命还要长，所以你活着的时候钱永远会不来。
• 于是想到了，让借引用的时间变短，List存活大于&mut，于是有了下面这个方案。

impl<'a: 'b, 'b> List<'a> {
    pub fn get_interface(&'b mut self) -> Interface<'b, 'a>
    {
        Interface {
            manager: &mut self.manager
        }
    }
}

• 此时'a比‘b长，所以Interface返回的时候两个生命周期要相反。这样在List有生之年可把借出去的Manager要回来了。
• 最终代码如下：

/* 使下面代码正常运行 */
struct Interface<'a, 'b: 'a> {
    manager: &'a mut Manager<'b>
}

impl<'a, 'b> Interface<'a, 'b> {
    pub fn noop(self) {
        println!("interface consumed");
    }
}

struct Manager<'a> {
    text: &'a str
}

struct List<'a> {
    manager: Manager<'a>,
}


impl<'a: 'b, 'b> List<'a> {
    pub fn get_interface(&'b mut self) -> Interface<'b, 'a>
    {
        Interface {
            manager: &mut self.manager
        }
    }
}

fn main() {
    let mut list = List {
        manager: Manager {
            text: "hello"
        }
    };

    list.get_interface().noop();

    println!("Interface should be dropped here and the borrow released");

    use_list(&list);
}

fn use_list(list: &List) {
    println!("{}", list.manager.text);
}

[3517277]

大佬请收下我的膝盖！

[systemX1]

第4， 6题编辑不了