Some common cases where the evaluation order has so far been unspecified, are specified and valid with C++17. Some undefined behaviour is now instead unspecified. i = 1; f(i++, i) was undefined, but it is now unspecified. Specifically, what is not specified is the order in which each argument to f is evaluated relative to … Read more
(The approach of the better_enums library) There is a way to do enum to string in current C++ that looks like this: ENUM(Channel, char, Red = 1, Green, Blue) // “Same as”: // enum class Channel : char { Red = 1, Green, Blue }; Usage: Channel c = Channel::_from_string(“Green”); // Channel::Green (2) c._to_string(); // … Read more
The first sentence of the proposal: ” The inline specifier can be applied to variables as well as to functions. The ¹guaranteed effect of inline as applied to a function, is to allow the function to be defined identically, with external linkage, in multiple translation units. For the in-practice that means defining the function in a header, that can be included in multiple translation units. The … Read more
Copy elision was permitted to happen under a number of circumstances. However, even if it was permitted, the code still had to be able to work as if the copy were not elided. Namely, there had to be an accessible copy and/or move constructor. Guaranteed copy elision redefines a number of C++ concepts, such that … Read more
How to read: This article is rather long. If you want to know about both aggregates and PODs (Plain Old Data) take time and read it. If you are interested just in aggregates, read only the first part. If you are interested only in PODs then you must first read the definition, implications, and examples … Read more