Back to Basics: Understanding Value Categories - Ben Saks - CppCon 2019
Vložit
- čas přidán 27. 05. 2024
- CppCon.org
Discussion & Comments: / cpp
Presentation Materials: github.com/CppCon/CppCon2019
-
Back to Basics: Understanding Value Categories
You may be familiar with the terms lvalue, rvalue, and xvalue, if only because they occasionally appear in compiler error messages. However, if you have only a vague understanding of what they mean, you're not alone. Lvalues, rvalues, and xvalues aren't actually language features, but rather semantic properties of expressions and sub-expressions. Understanding these properties provides valuable insights into the behavior of built-in operators, the code generated to execute those operators, and the meaning of some otherwise cryptic compiler error messages. Understanding these properties is also essential for working effectively with lvalue and rvalue reference types, as well as overloaded operators.
This session explains why the language distinguishes among lvalues, rvalues, and xvalues. It describes how the semantic properties of lvalues, rvalues, and xvalues are different and how those properties are reflected in the behavior of lvalue and rvalue references.
-
Ben Saks
-
Videos Filmed & Edited by Bash Films: www.BashFilms.com
*-----*
Register Now For CppCon 2022: cppcon.org/registration/
*-----* - Věda a technologie
After I have been reading some other materials about value categories, this lecture really helps me to understand them.
Ben explained these concepts in a crystal clear way.
Every modern C++ books should have this chapter.
What materials were you reading about value categories? I'd love to read more on the subject
TFW your Basics lecture includes the term Temporary Materialisation Conversion.
Ahhh! I knew what lvalue and rvalue where, but never got my head around glvalue, prvalues and xvalues. Now I finally got it! Absolutely great talk!
I cannot find the slides file in the github link provided, is there any other place to get the slides?
48:14 For people wondering if std::move(T &&a) has rvalue reference to T as parameter how does it work with something like std::move(str) because str is here an lvalue and it's clearly told in the talk that references to rvalue types only bind to rvalues and not lvalues..
There's a deeper concept at play here note that std::move is templatized and the T&& a parameter actually becomes T&a when called like std::move(str)... you can find videos on type deduction on youtube.
Mr Ben Saks is a gifted teacher!
The presentation content isn't available in the github .
Saks family is an family of experts in explaining C++ in a clear way.
Great talk. Both approachable and exhaustive.
When people, who want to make things more complex, so others will be in awe get together you get the C++ universe.
This guy is awesome, I hope to see more of him in the future!
Great lecture. I have used these types and move semantics for years and yet this gave me such a more comfortable understanding of the motivations behind these concepts. Well done!
I cannot find the presentation material. Can you please advise a direct link. Thanks
I've been working on highly abstract languages for years so that was an excellent refresher.
This talk made how to think about C++ value catogories so much more clear to me. Thanks sir!
after 2 months of consusions
i finally got it
Geart job!
I should watch all Ben Saks talks avaliable online.
Thank you Ben for such clear and thorough explanation of value categories, the best I have seen.
Every C++ programmer should watch this video. With exception to Ben Saks and other superprogrammers that already know it content. 😉
This lecture is truly insightful and easy to follow after I tries to study the value categories in cpp references. Huge thanks!
Very helpful in untangling these concepts!
Excellent talk by Ben.
Perfect introduction to value categories.
1 hour just flew by
Whatta teacher !
Thank you Ben for the presentation.
Clear as water now, thank you Ben!
Exceptionally good presentation.
Thanks.... Cleared all my confusion...
Gifted! great talk, Helps to understand the basics (how much I didn't know)
I didn't know std::thread had the ++ operator.
If C++ didn't exist, and someone said they had a great idea for a language, and described C++ as it is today, no one would take it seriously.
This is no criticism of the speaker, who has done a great job.
Best explanation of this subject out there.
what a great talk, thanks Ben
Loved the talk
Great talk. Very helpful
Beyond excellent!
Great talk!
very helpful, thanks.
This is great.
Amazing, thanks man.
Glad you liked it!
Superb lecture!
Glad it was helpful!
Great talk
48:45 Alright I'll admit. Intentional or not, that one made me laugh
@43:08, I don't understand the 'move' assignment overloaded operator that accepts 'rval' or 'temp-val', it is said that it will delete both previous 'lval' that became 'rval' or 'temp-val', whereupon both 's2' and 's3' become 'nullptr'? By moving, do they also mean emptying those two objects?
Oh, I see, only use move semantic if we know the `src` is no longer required. As a reminder, never miss an excellent talk/seminar/lecture, Keep watching until the end.
Thank you.
You're welcome!
int x = 6;
int z = 10;
int& p =x;
p = 100;
cout
Because the target of a reference is defined at assignment and does not change afterwards. "p = z" does not change the reference from x to z, it just assigns the value of z similar to "p = 100". The pointer equivalent looks like this:
int * const p = &x;
*p = 100;
*p = z; // "p = &z" does not work, since the pointer address is const
*p = 200;