Rust Demystified 🪄 Simplifying The Toughest Parts
Вставка
- Опубліковано 17 чер 2024
- Rust can be frustrating to learn even for developers with years of experience in a language such as Java, JavaScript, or C++. But most of the friction in learning Rust comes from a few core concepts that don't really exist in any other language. These concepts are what gives Rust an edge over other languages. Once they are understood, the Rust journey becomes a lot easier. Moreover, these concepts aren't hard to understand when they are presented using the simplest example possible.
00:00 Introduction
01:41 Ownership and Why
02:46 3 Alternatives To Ownership Changes
05:36 Mutable References
07:45 Lifetimes
11:54 Struct Lifetimes
13:30 Conclusion
---
Stuff I use to make these videos - I absolutely love all of these products. Using these links is an easy way to support the channel, thank you so much if you do so!!!
Building A Second Brain book: amzn.to/3cIShWf
Camera: Canon EOS R5 amzn.to/3CCrxzl
Monitor: Dell U4914DW 49in amzn.to/3MJV1jx
Lens: Sigma 24mm f/1.4 DG HSM Art for Canon EF amzn.to/3hZ10mz
SSD for Video Editing: VectoTech Rapid 8TB amzn.to/3hXz9TM
Microphone: Rode NT1-A amzn.to/3vWM4gL
Microphone Interface: Focusrite Clarett+ 2Pre amzn.to/3J5dy7S
Tripod: JOBY GorillaPod 5K amzn.to/3JaPxMA
Keyboard: Redragon Mechanical Gaming Keyboard amzn.to/3I1A7ZD
Mouse: Razer DeathAdder amzn.to/3J9fYCf
Computer: 2021 Macbook Pro amzn.to/3J7FXtW
Caffeine: High Brew Cold Brew Coffee amzn.to/3hXyx0q
More Caffeine: Monster Energy Juice, Pipeline Punch amzn.to/3Czmfox - Наука та технологія
ERRATA
* I mention that you get a segfault when you don't deallocate memory in C/C++ - I meant to say that you get a segfault when you try to reference memory that was already deallocated. Not deallocating memory will lead to memory leaks in some cases.
nah still,, a banger video
@@raiyanahmed3534 thanks!
It's not generally true that accessing deallocated memory causes a segfault either. Actually, it would be more helpful if that was the case, since it would be easier to debug than the case where your program is silently accessing data that may or may not be garbage depending on the execution state.
dammit I was gonna yell at you :)
Many embedded systems just use static allocation, so you never deallocate by design.
I like what you are doing here. I am glad that No Boilerplate is influencing people because I am sick of all the stupid presentations in other channels. 1 minute of BS, songs, animations, and people presenting their channels and welcoming as if we were 6 years old watching Ryan's toys reviews.
Thanks! re: the filler stuff - yeah I'm not a fan of lengthy introductions either. I'm not entirely above obnoxious animations (see earlier videos) but I definitely like to get to the point 😎
you dont get a segfault if you dont deallocate memory. Segfaults are when the kernel informs your process that you accesed memory you shouldnt have
ugh, you're absolutely right! This was an egregious mistake. Not deallocating will result in a memory leak. I meant to refer to the case where we erroneously deallocate memory and then try to reference that memory. I'll put a note in the description, thanks for pointing this out!
yo ucan also segfault by accessing memory you never had access to. (in most cases..)
@@GottZ yes I never said that wasnt the caes, I said purely deallocation alone doesnt provoke a segfault directly
@@codetothemoon Also, you can segfault if you correctly deallocate memory and then (because you had more than one reference) you deallocate it again and corrupt the malloc recordkeeping. Sometimes this takes quite a while to blow up on you!
you segfault every time you run your c program for the first time
I was learning Rust for some time now. I already understood borrowing and the entire ownership model really well but didn't admit I don't get lifetimes at all. Today it finally cliked for me (after 3 months of learning rust :D). It was so obvious and under my nose the entire time! Thank you very much for your amazing explanation! I am incredibly excited to finally dive into Rust completely.
Nice, glad you found the lifetime explanation helpful! I wasn't 100% sure if my explanation was as straightforward as possible, so this anecdote makes me very happy.
7:44 In case anyone is wondering why the mutable reference will work if you remove the last `print_some_struct` which uses an immutable reference.
This is because of NLL (non-lexical lifetimes). In short, the compiler infers that it is able to drop the immutable reference borrow before it gets to the mutable reference, because it's not used anywhere later. Thus, you only have one mutable reference, which doesn't break any rules
Great, as if Rust hadn't gone out of it's way to make things confusing already they don't have NULL, they have NLL. I'm half convinced this is intentional at this point and this is all just some cruel trick by some trickster diety of programming to make an incredible language that is intentionally designed to drive as many people as possible away from using it. Wait... trickster diety, Loki - Odin lang, Odin... checkmate athiests.
It's good you mentioned this. This confused me for a long time.
Every new rust developer should watch this video,very effective as always.
Thanks! I really do hope this can be a resource for newcomers that removes as much of the friction as possible.
@@codetothemoon it really does XD. I'm eager to learn rust and this video made me more interested. this video is pure gold.
from the bottom of my heart: thanks you
Your videos on Rust are well explained and to the point. Plus with the production quality of these video's, it will only take a matter of time before your channel blows up!
Thanks for the kind words Brunkel! I aim to make videos that are engaging but still pack in as much value as possible. I'd love to do this as a full time job, I appreciate you watching as it really helps me toward that goal!
I've watched many channels, but yours is by far the best explanation style I've seen so far! Kudos bro.
Would like to see one on Procedural Macros as well. They are essentially magic to me right now.
Great idea Soumen! In fact I have this in the works already, it might be the next video.
Macros are the reason I immediately stopped using Rust after learning it through their book.
I knew how to code in Rust, wanted to build something and suddenly nothing made sense anymore because everything was obfuscated by these stupid magic Macros. But apparently that's just something you have to deal with, some libraries just don't want you to know what's really happening.
@@marl3x I think its ‘cargo expand’ which can be used for printing the result of macro expansion in a given program. I think the library developers are prioritizing usability and small code size over understandability, which sadly sometimes are tradeoffs
@@marl3x I don't think I've ever used any third-party macros, only the ones from stdlib and my own. As Rust docs for libraries are auto-generated from code they contain everything either way, so you can usually avoid macros. I know some libraries separate their macros into another optional package as well.
@@marl3x I'm using Rust for years already and I almost never come across libraries, which use macros.
I also don't use a lot of macros myself.
Almost always, it's been macro specific libraries. Mostly custom derives.
If one uses macros, it's not about not wanting the user to know, what's happening internally, it's a simplified syntax for a special purpose.
But I also don't like, when I see a library, which forces me to use a lot of weird macros.
This was my second rust video I’ve watched and as a senior coder even I’m amazed at the level of thought that has gone into the language.
I agree! As with any language, there are some aspects I don't like but it's really incredible what the language has accomplished!
I definitely got tripped up when first encountering the syntax and explanations around this in official docs and other resources. You really broke things down in a beautifully comprehensible way. Thanks so much for the vid!
thanks, really happy you liked it!
Magicccc!! we need more of these short videos. Great job :)
Thanks void, more to come!
I started learning Rust a couple weeks ago and had a hard time grasping the concept of Lifetimes... which now I do because of your video! Great content 👌Thanks a lot !!!
Nice Jorge! Glad you found the video helpful!
Amazing just got fed up with JS for the eleventh time this week and started reading rust docs and now this, thanks!
Thanks Tobias, I really appreciate you watching each video!
This was great, I love how you gave actual examples for the things the compiler was complaining about.
Thanks Gazareth, glad you found it valuable!
this was a very helpful video. i already knew how to use lifetimes because i got used to them, but i couldn't have explained how they work. now everything is crystal clear. keep up the good work!
glad it was helpful, and thank you!
this really helped me a lot understanding these concepts. ...huge THANK YOU!!!
glad you found it valuable, thanks for watching!
Another great video. Lifetimes have been giving me grief and this helped. With 40 years experience programming in at least a dozen languages, these really are the somewhat unique and challenging bits of Rust.
Thanks Rich, really happy you found it helpful!
Great video! I really feel like I've understood borrowing and lifetimes for the first time since the first time I was rust-curious a year ago
Thanks Pat, really happy this helped clear up the confusion around these concepts!
Nice. Really love how clearly you explained the concepts - especially the WHY as that makes it easier to peer behind the compiler and understand what's happening - ESPECIALLY with Lifetimes. I'll have to watch a few more times for it to burn into long term memory, but this is the first time I've understood lifetimes 😂
thank you, really happy you got something out of it! i felt like so many people get stuck on these concepts, and there was an easier way of approaching them...
Very clear explanations and straight to the point. This the best 14 minutes of my rust journey so far.
thank you, glad you got something out of it!
Incredibly easy to understand and straight to the point video, keep up the good work!
Thanks, glad you found it valuable!
These were indeed exactly the parts that were hard to get used to as someone who is used to GC collected languages. Very useful tutorial.
Thanks Qaz, glad you found it valuable!
Thank you for this! I really love your content and would like to see more.
Thanks for watching, more is on the way!
Wow, this is a brilliant video! I had some trouble with the borrowing, but now I've got it, thanks to you! 💡
fantastic, really happy this particular approach made things clearer for you!
Great pacing and presentation - quickly becoming one of my favorite Rust channels
Thanks for the kind words! If there are any topics you'd like to see let me know!
@@codetothemoon these might be a bit niche, but here are a few things I'd like to learn more about in no particular order:
- speeding up python code using PyO3
- high-performance/multithreaded data processing with ndarray and polars
- speeding up a React/Svelte SPA by writing expensive business logic in Rust and compiling it to WASM
- The current status of WASM/WASI and when to expect WASM to get better at DOM manipulation
Thank you. Amazingly explained.
I think I finally understand lifetimes. Simple and elegant. Thank you!
Nice, glad you found the video helpful, thanks for watching!
This was very clear and useful. Best tutorial for rust I've found
I just started learning Rust a couple weeks ago and decided to build a calculator in a Yew app. Finally got it up and running last night. I was excited about the ownership concept for similar reasons to what you described due to enormous frustration with trying to rebuild Javascript after encountering runtime errors on runtimes I couldn't test in the development phase. Turns out, it made the calculator thing easier rather than harder by some miracle. I did run into some pretty confusing lifetime errors though. You have to be super careful where you declare things and how long you keep them around, but if you can do that, you're pretty much gold. The whole process for building and deploying a Yew app was a fair bit more enjoyable than React as well. Definitely nicer than wrestling with node_modules.
Nice Andy! I love hearing stories like this. I imagine others will have similar experiences
Very good tutorial. I had trouble with moving playing with Rust and despite understanding somehow how it's working, this explains the basic concepts very well. Thanks a lot
nice, really happy it was helpful!
Very well delivered and easy to follow! Thank you!
thanks maxreuv, glad you found it valuable!
Excelent explanation!, really loved it! it's very concise and to the point
Thanks Luis, glad you found it valuable!
Loved it, thanks for the explanation
Thanks for watching Abishek!
I would love a bigger video on this with a focus on examples! Great vid
Thanks, bigger examples are on the way!
Just the video i was looking for ...awesome!
thanks, glad you got something out of it!
Thanks for demystifying the lifetime concept. What I didn't get up to this video, was that you introduce the lifetime *in the function* as some form of a guarantee about the variables not going out of scope, but it is the *caller* of the function to make sure this guarantee is upheld .
Really it's a great video , keep going and we wand bigger projects 💙🔥
Thanks Hamdy! Bigger projects are on the way!
Thank you for such clear explanations !
Thanks, happy you found it valuable!
Excellent explanation!!! keep doing more videos like this!!
thanks, more to come!
Very good video for beginners, i would have liked to see it myself a bit before, when i was struggling to understand and use borrowing and references, but it did make me understand lifetimes well, very good job !
thanks ziii, glad you found it valuable!
Very well explained, thank you!
Thanks for watching, glad you found it valuable!
Very helpful video. Thanks alot.
Great video. Really clear explanation.
Thanks, very happy you found it valuable!
I have finished the Rust book along with rustlings exercises, which I cannot recommend enough to everyone who wants to learn Rust. But this video was so great at solidifying the concepts I learned! Please do more content like this! *subscribed*
The Rust Book is fantastic! More videos on the way. Very Happy to have you onboard!
What's wrong with rustlings? I wanted to try it.
@@egorandreevich7830 Nothing, rustlings exercises are wonderful
@@mbrav so why you cannot recommend it?
@@egorandreevich7830 I cannot recommend it ENOUGH. Meaning is inversed.
This was incredibly useful, thanks a lot!
nice, really happy you found it valuable!
Thanks for this video. I tried rust for a while and basically just fumbled with references and lifetime definitions until it did what I want. This video does a good job showing what each of those concepts is so I can be deliberate about my code next time.
nice, really happy you got something out of the video! 😎
Very clear explanation. Thank you.
Thanks for watching Tuan!
thanks for the clear and concise video!
Thanks Carrot! It'd be fair to attribute at least some of that clarity to your abundant levels of vitamin A!
Great video. You just made me to try clean my laptop screen with that grey line on your camera background 😅.
Thanks and hah! Green screen keying is tricky to get exactly right sometimes.... 🙃
this is explanation to the moon. Keep the tutorials coming. Thanks :)
glad you found it valuable, more are on the way!
Thank you for the indexed video!
Thanks for watching Jambang!
Thank you for your videos! Really want to watch video about traits and derive from you.
Glad you found them valuable! I'll put traits and derive on the video ideas list!
Crystal clear explanation. I tried to learn rust a while but everytime I came across borrowing errors I got frustrated and ended up not persuing rust. Maybe after this video I will try again
Thanks Nova, glad you found it valuable!
Good stuff :), though your explanation of copy was a bit lacking, it's not just that it's implicit it's also that it requires the memory copy-able one to one, this works great when you have a struct full of primitives since copying the memory is fast, however if your struct contained pointers to heap memory such as box or vec then you wouldn't be able to implement copy since just copying the memory would create a cloned object with the same references.
Furthermore copying the struct especially when it only has 1 primitive field is a zero cost abstraction and so it would be no different than giving the print struct a reference.
Jannick - you're so right! Thanks for pointing this out. I'm going to start an errata post and mention this and the incorrect statement I made about segfaults in C++...
I learned this ownership & borrowing system (as well as most of the things I know about rust (not a lot)) by making a Compiler for a language that also uses that so I wrote some simple Rust code, compiled it to LLVM IR and tried to understand it. Best learning technique👍
Killer video. Bet this guys channel blows up if he keeps making content in this style
Thanks Jacob, I hope you're right!
So much effort to return a variable!
hah! luckily it's a bit of a corner case...
Thank you very much that helped me a lot
Thank you this helped a lot!
Nice, glad you found it valuable Abhinand!
You are amazing! Thanks for the great content! 😊
Thank you so much for watching!
Thanks for all your explanatory videos on Rust. I am learning just as much I should from videos without the becoming tutorial dull.
I had one question, which I later checked on my own, shouldn't you have removed Clone and Copy Derives after there work was done, it would have removed unnecessary confusions.
Keep making these learnable videos without making them into dull tutorial. Thank you again. ❤
This is very helpful. Thank you!
Thanks Cody, glad you found it valuable!
hey you are great buddy thanks for this!!
great info, cheers
I've finally understood it! THANKS
nice! really happy you got something out of it!
Thanks. Very helpful.
This channel is a blessing
Very happy to have you onboard!
Thank you so much! I've finally understood the lifetime.
Thanks for watching Chan, glad you found it valuable!
perfect explanation, thank you!
thanks, glad you found it valuable!
Great explanation. Thanks :)
thanks for the kind words, glad you got something out of it!
excellent explanation, one of the best so far 👍🏻👍🏻👍🏻
Thanks Hans, glad you found it valuable!
Great little vid, thanks.
Thanks for watching Neil!
Best Video today! You are a king! Will try rust again...
Thanks Zelijko! glad you found it valuable!
You are awesome! Thank you for your videos!
Thanks Dimitris, thanks for watching!
great job 👏🏻
Thanks for amazing explanation.
very happy you got something out of it!
simply and useful. thank you
nice, glad you got something out of it!
Excellent explanation!
Thank you, glad you found it valuable!
The cleanest explanation I've seen on YT.
Thanks pvc!
Good explanations. Recommended.
thanks, glad you got something out of it!
The borrow checker makes so much sense, it's surprising that it never got popular before rust. Rust makes me think about memory and types, and the compiler ensures I mostly make correct choices. It feels awesome.
I agree! it's interesting how many recent innovations in software (like the borrow checker) are completely independent of modern hardware and theoretically could have been discovered decades ago. Blockchain and Transformers are also great examples.
thanks so much!!😍
thanks for watching, glad you got something out of it!
The thing about Rust is it is an incredibly deep and powerful language. And for good reason. But that means that it will take longer to learn than many of the most popular languages out there today. So the productivity curve for a new developer will start off relatively slow, but as they gain experience eventually they will end up being able to build things much more quickly and much higher quality than in other languages.
agree! 💯
that's pretty much the same with other languages, like C++ for instances. You start slow that when you gain understanding and experiences your productivity will rose
This is a really great explanation. My only critique would be to try to make a more real world example than the generic examples. I know that always helps me. But I didn’t understand lifetimes until this video.
thanks echobucket! Yeah maybe I should have gone more real world with the example, it's always a tightrope balancing simplicity and brevity with practicality...
thanks a lot for making this
Glad you found it valuable!
thanks for creating this video, i undestand mostly lifestime and reference, borrow is still shallow to me, i started to lean rust, read a few paper of the rust doc, maybe should start writing some simple program to learn those concept
great video, thank you very much, kind sir :)
Thanks for watching, glad you found it valuable!
Great video, I think you should have also explained here about non-lexical lifetimes (at 9:20 you used `bigger` on line 25 to prevent its NLL, but this can confuse many beginners as to why some scenarios don't give an error when you said they should), and also slices (I was very confused about them as a beginner)
Great points - I'd love to go into lifetimes in more detail in a future video. Slices too!
I believe the issue with Rust lies not in a lack of understanding about how ownership works, but rather in people's struggle to navigate the limitations it presents. It would be wonderful to come across a video showcasing real-life examples of potential problems and effective strategies for mitigating them.
Yeah I think you're probably right about that. Maybe check out this video on interior mutability - ua-cam.com/video/HwupNf9iCJk/v-deo.html it might have what you're looking for
Great video. Thanks
Thanks Chris, glad you found it valuable!
Ths is super cool !! need this kind of awesome videos about rust !! Amazing content brother, get some more about rust.
Thanks Raviraj! More Rust videos are on the way...
@@codetothemoon A suggestion, Could you make a video highlighting what rust is doing things differently comparing with other popular langauges like Java ...
Ex : bcz f ownership in rust u will not see data races in Rust which is not the case with Java or any other langauges...
So this kind of factors will really help ur channel as well :) I feel u r a polygot engineer, u can have better prespective in highlighting the points in terms of real world experience.
I wish I watched this 5 years ago...
after 300k LOC I watched this just for pleasure - by the way, the video is well-paced.
Thanks!
Thanks Bohdan! You have far more Rust LOCs under your belt than I, so your seal of approval is much appreciated!
Very good and straight to the point. I'll still need some effort to understand these concepts, though. But, if I can get rid of C++, it's worth it :D
Thanks C Forester! C++ was my first language, and I think Rust is a very worthy successor.
I think I got it, thank you so much!
I really like the sound of the sped up keystrokes 🙂 Ok, I will now try to learn about Rust too..
Hah yeah when I first started speeding up the typing parts, my first instinct was to silence the audio, then I realized it sounds nice in a weird way...
Thanks best explanation ever
thanks glad you found it valuable!
Awesome video, really gave me clarity on both core concepts that I was in proverbly desperate need of. I wish Borrowing and Lifetimes were denoted a bit simpler in the code though, like just seeing an ampersand & is bonkers weird for a newbie and denoting lifetimes with both generics arrows and a single quote? Like, that's weird, and feels obtuse no matter how you slice and dice it (or borrow and mutate it).
Good stuff!
Thanks Cristian!
Great video..