this post was submitted on 31 Jan 2026
214 points (99.1% liked)

Programmer Humor

29100 readers
1180 users here now

Welcome to Programmer Humor!

This is a place where you can post jokes, memes, humor, etc. related to programming!

For sharing awful code theres also Programming Horror.

Rules

founded 2 years ago
MODERATORS
Feyter@programming.dev
anzo@programming.dev
BurningTurtle@programming.dev
pylapp@programming.dev
214
Me, after carefully reading Rust's ownership and borrow checker rules (lemmy.world)
submitted 1 day ago by chromeleon@lemmy.world to c/programmer_humor@programming.dev
16 comments fedilink hide all child comments
 
you are viewing a single comment's thread
view the rest of the comments
[–] Ephera@lemmy.ml 30 points 1 day ago (3 children)

The rule of thumb I always tell people is that they should generally put owned data into struct fields and references into function parameters.

[–] joyjoy@lemmy.zip 9 points 1 day ago (1 children)

I recently learned you can pass a &String to a &str parameter, so that's neat. 

[–] Ephera@lemmy.ml 4 points 1 day ago (1 children)

Ah yeah, via deref coercion, which is also called "auto-dereferencing" at times. Not to be confused with "auto-referencing", which is also a thing^1.

You can do some wild shit with deref coercion. And when I say "wild", I guess, I'm talking about the most normal thing for Java devs, because well, it's a lot like inheritance. 😅

Basically, this concept of being able to pass &String into a parameter that takes &str also applies to the self parameter. Or in other words, methods implemented on str can also be called on String, as if String extends str.
And well, obviously you can also make use of that yourself, by writing your own wrapper type. You can even "override" existing methods in a sense by re-defining them in the wrapper type.

I had to play around a bit with it myself, so here's a playground: https://play.rust-lang.org/?version=stable&mode=debug&edition=2024&gist=af65ed396dec88c8406163acaa1f8f8d

[–] Ephera@lemmy.ml 5 points 1 day ago

Welp, I posted my hot take that impl Deref is similar to inheritance as a meme in !rust@lemmy.ml: https://lemmy.ml/post/42514248

Now, let's see how many feathers get ruffled. 🙃

[–] calcopiritus@lemmy.world 11 points 1 day ago

Good rule of thumb. As long as it's not followed blindly of course.

Structs with lifetimes are often quite convenient. Especially for performance.

[–] harrowhawk@lemmy.sdf.org 3 points 1 day ago

I like this rule of thumb and it goes nicely with the “if you have more than 3 arguments to a function, consider making a struct to pass the arguments in” rule of thumb because

You can have the struct use a named lifetime (or several) for the different parameters so it doesn’t own them!

Best of both worlds.