Common Rust Lifetime Misconceptions (2020)
Common Rust Lifetime Misconceptions (2020)
github.com /pretzelhammer/rust-blog/blob/master/posts/common-rust-lifetime-misconceptions.md
You're viewing a single thread.
View all comments
5
comments
That's a very nicecly written article.
Just a quick question, isn't point 8 outdated (misconctption: “Rust borrow checker does adanced liftime analysis”) due to the introduction NLL (no lexical lifetime) in Rust 2018?
5 0 ReplyThere are still obvious things the BC cannot get. For example:
struct Foo; impl Foo { fn num(&mut self) -> usize { 0 } fn index(&mut self, _i: usize) { } } let foo = Foo; foo.index(foo.num()); //error
1 0 ReplyThis looks like a pretty easy fix that the compiler could do by extracting the argument to a temp variable to improve the syntax of the language.
2 0 ReplyNote that when you change
num
to take&self
instead, this works out (you also need to markfoo
as mutable, of course).1 0 ReplyIt's a toy example. In that case, the solution is to assign the expression to a variable to compute its result upfront.
1 0 Reply