Back to Basics: Understanding Value Categories - Ben Saks - CppCon 2019
Ғылым және технология
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/
*-----*
Пікірлер: 51
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.
@me5ng3
Жыл бұрын
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.
The presentation content isn't available in the github .
Saks family is an family of experts in explaining C++ in a clear way.
Mr Ben Saks is a gifted teacher!
I should watch all Ben Saks talks avaliable online.
Every C++ programmer should watch this video. With exception to Ben Saks and other superprogrammers that already know it content. 😉
1 hour just flew by Whatta teacher !
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 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.
This guy is awesome, I hope to see more of him in the future!
This talk made how to think about C++ value catogories so much more clear to me. Thanks sir!
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.
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.
after 2 months of consusions i finally got it Geart job!
Thank you Ben for such clear and thorough explanation of value categories, the best I have seen.
Excellent talk by Ben.
This lecture is truly insightful and easy to follow after I tries to study the value categories in cpp references. Huge thanks!
Perfect introduction to value categories.
Very helpful in untangling these concepts!
Clear as water now, thank you Ben!
Thank you Ben for the presentation.
Exceptionally good presentation.
Best explanation of this subject out there.
Gifted! great talk, Helps to understand the basics (how much I didn't know)
Thanks.... Cleared all my confusion...
what a great talk, thanks Ben
Beyond excellent!
Loved the talk
Great talk!
Superb lecture!
@CppCon
Жыл бұрын
Glad it was helpful!
Great talk. Very helpful
This is great.
Amazing, thanks man.
@CppCon
2 жыл бұрын
Glad you liked it!
very helpful, thanks.
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?
@liveonphoenix5045
2 жыл бұрын
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.
@CppCon
2 жыл бұрын
You're welcome!
int x = 6; int z = 10; int& p =x; p = 100; cout
@D0Samp
2 жыл бұрын
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;