C++11
2011 edition of the C++ programming language standard
- 89 min read
- 6 chapters
Related on Lably
Through Library (computing), Execution (computing) and Value (computer science)
Although one of the design goals was to prefer changes to the libraries over changes to the core language, C++11 does make several additions to the core language. Areas of the core language that were significantly improved include multithreading support, generic programming support, uniform initialization, and performance. Significant changes were also made to the C++ Standard Library, incorporating most of the C++ Technical Report 1 (TR1) libraries, except the library of mathematical special functions.
C++11 was published as ISO/IEC 14882:2011 in September 2011 and is available for a fee. The working draft most similar to the published C++11 standard is N3337, dated 16 January 2012; it has only editorial corrections from the C++11 standard.
C++11 was fully supported by Clang 3.3 and later, and by GNU Compiler Collection (GCC) 4.8.1 and later.
Design goals
The design committee attempted to stick to a number of goals in designing C++11:
- Maintain stability and compatibility with older code
- Prefer introducing new features via the standard library, rather than extending the core language
- Improve C++ to facilitate systems and library design, rather than introduce new features useful only to specific applications
- Increase type safety by providing safer alternatives to earlier unsafe techniques
- Increase performance and the ability to work directly with hardware
- Provide proper solutions for real-world problems
- Make C++ easy to teach and to learn without removing any utility needed by expert programmers
Attention to beginners is considered important, because most computer programmers will always be such, and because many beginners never widen their knowledge, limiting themselves to work in aspects of the language in which they specialize.
Sign in to keep reading
5 more chapters are free with a Lably account.
Extensions to the C++ core language
One function of the C++ committee is the development of the language core. Areas of the core language that were significantly improved include multithreading support, generic programming support, uniform initialization, and performance.
Core language runtime performance enhancements
These language features primarily exist to provide some kind of runtime performance benefit, either of memory or of computing speed.
Rvalue references and move constructors
In C++03 (and before), temporaries (termed "rvalues", as they often lie on the right side of an assignment) were intended to never be modifiable — just as in C — and were considered to be indistinguishable from const T& types; nevertheless, in some cases, temporaries could have been modified, a behavior that was even considered to be a useful loophole. C++11 adds a new non-const reference type called an rvalue reference, identified by T&&. This refers to temporaries that are permitted to be modified after they are initialized, for the purpose of allowing "move semantics".
A chronic performance problem with C++03 is the costly and unneeded deep copies that can happen implicitly when objects are passed by value. To illustrate the issue, consider that an std::vector<T> is, internally, a wrapper around a C-style array with a defined size. If an std::vector<T> temporary is created or returned from a function, it can be stored only by creating a new std::vector<T> and copying all the rvalue's data into it. Then the temporary and all its memory is destroyed. (For simplicity, this discussion neglects the return value optimization.)
In C++11, a move constructor of std::vector<T> that takes an rvalue reference to an std::vector<T> can copy the pointer to the internal C-style array out of the rvalue into the new std::vector<T>, then set the pointer inside the rvalue to null. Since the temporary will never again be used, no code will try to access the null pointer, and because the pointer is null, its memory is not deleted when it goes out of scope. Hence, the operation not only forgoes the expense of a deep copy, but is safe and invisible.
Rvalue references can provide performance benefits to existing code without needing to make any changes outside the standard library. The type of the returned value of a function returning an std::vector<T> temporary does not need to be changed explicitly to std::vector<T>&& to invoke the move constructor, as temporaries are considered rvalues automatically. (However, if std::vector<T> is a C++03 version without a move constructor, then the copy constructor will be invoked with a const std::vector<T>, incurring a significant memory allocation.)
For safety reasons, some restrictions are imposed. A named variable will never be considered to be an rvalue even if it is declared as such. To get an rvalue, the function template std::move() should be used. Rvalue references can also be modified only under certain circumstances, being intended to be used primarily with move constructors.
Due to the nature of the wording of rvalue references, and to some modification to the wording for lvalue references (regular references), rvalue references allow developers to provide perfect function forwarding. When combined with variadic templates, this ability allows for function templates that can perfectly forward arguments to another function that takes those particular arguments. This is most useful for forwarding constructor parameters, to create factory functions that will automatically call the correct constructor for those particular arguments. This is seen in the emplace_back set of the C++ standard library methods.
constexpr – Generalized constant expressions
C++ has always had the concept of constant expressions. These are expressions such as 3 + 4 that will always yield the same results, at compile time and at runtime. Constant expressions are optimization opportunities for compilers, and compilers frequently execute them at compile time and hardcode the results in the program. Also, in several places, the C++ specification requires using constant expressions. Defining an array requires a constant expression, and enumerator values must be constant expressions.
However, a constant expression has never been allowed to contain a function call or object constructor. So a piece of code as simple as this is invalid:
<span id="mwjA"></span><span class="kt" id="mwjQ">int</span><span class="w" id="mwjg"> </span><span class="nf" id="mwjw">getFive</span><span class="p" id="mwkA">()</span><span class="w" id="mwkQ"> </span><span class="p" id="mwkg">{</span> <span class="w" id="mwkw"> </span><span class="k" id="mwlA">return</span><span class="w" id="mwlQ"> </span><span class="mi" id="mwlg">5</span><span class="p" id="mwlw">;</span> <span class="p" id="mwmA">}</span> <span class="kt" id="mwmQ">int</span><span class="w" id="mwmg"> </span><span class="n" id="mwmw">someValue</span><span class="p" id="mwnA">[</span><span class="n" id="mwnQ">getFive</span><span class="p" id="mwng">()</span><span class="w" id="mwnw"> </span><span class="o" id="mwoA">+</span><span class="w" id="mwoQ"> </span><span class="mi" id="mwog">7</span><span class="p" id="mwow">];</span><span class="w" id="mwpA"> </span><span class="c1" id="mwpQ">// Create an array of 12 integers. Ill-formed C++</span>This was not valid in C++03, because getFive() + 7 is not a constant expression. A C++03 compiler has no way of knowing if getFive() actually is constant at runtime. In theory, this function could affect a global variable, call other non-runtime constant functions, etc.
C++11 introduced the keyword constexpr, which allows the user to guarantee that a function or object constructor is a compile-time constant. The above example can be rewritten as follows:
<span id="mwsQ"></span><span class="k" id="mwsg">constexpr</span><span class="w" id="mwsw"> </span><span class="kt" id="mwtA">int</span><span class="w" id="mwtQ"> </span><span class="nf" id="mwtg">getFive</span><span class="p" id="mwtw">()</span><span class="w" id="mwuA"> </span><span class="p" id="mwuQ">{</span> <span class="w" id="mwug"> </span><span class="k" id="mwuw">return</span><span class="w" id="mwvA"> </span><span class="mi" id="mwvQ">5</span><span class="p" id="mwvg">;</span> <span class="p" id="mwvw">}</span> <span class="kt" id="mwwA">int</span><span class="w" id="mwwQ"> </span><span class="n" id="mwwg">someValue</span><span class="p" id="mwww">[</span><span class="n" id="mwxA">getFive</span><span class="p" id="mwxQ">()</span><span class="w" id="mwxg"> </span><span class="o" id="mwxw">+</span><span class="w" id="mwyA"> </span><span class="mi" id="mwyQ">7</span><span class="p" id="mwyg">];</span><span class="w" id="mwyw"> </span><span class="c1" id="mwzA">// Create an array of 12 integers. Valid C++11</span>This allows the compiler to understand, and verify, that getFive() is a compile-time constant.
Using constexpr on a function imposes some limits on what that function can do. First, the function must have a non-void return type. Second, the function body cannot declare variables or define new types. Third, the body may contain only declarations, null statements and a single return statement. There must exist argument values such that, after argument substitution, the expression in the return statement produces a constant expression.
Before C++11, the values of variables could be used in constant expressions only if the variables are declared const, have an initializer which is a constant expression, and are of integral or enumeration type. C++11 removes the restriction that the variables must be of integral or enumeration type if they are defined with the constexpr keyword:
<span id="mw1Q"></span><span class="k" id="mw1g">constexpr</span><span class="w" id="mw1w"> </span><span class="kt" id="mw2A">double</span><span class="w" id="mw2Q"> </span><span class="n" id="mw2g">EARTH_GRAVITATIONAL_ACCELERATION</span><span class="w" id="mw2w"> </span><span class="o" id="mw3A">=</span><span class="w" id="mw3Q"> </span><span class="mf" id="mw3g">9.8</span><span class="p" id="mw3w">;</span> <span class="k" id="mw4A">constexpr</span><span class="w" id="mw4Q"> </span><span class="kt" id="mw4g">double</span><span class="w" id="mw4w"> </span><span class="n" id="mw5A">MOON_GRAVITATIONAL_ACCELERATION</span><span class="w" id="mw5Q"> </span><span class="o" id="mw5g">=</span><span class="w" id="mw5w"> </span><span class="n" id="mw6A">EARTH_GRAVITATIONAL_ACCELERATION</span><span class="w" id="mw6Q"> </span><span class="o" id="mw6g">/</span><span class="w" id="mw6w"> </span><span class="mf" id="mw7A">6.0</span><span class="p" id="mw7Q">;</span>
Such data variables are implicitly const, and must have an initializer which must be a constant expression.
To construct constant expression data values from user-defined types, constructors can also be declared with constexpr. A constexpr constructor's function body can contain only declarations and null statements, and cannot declare variables or define types, as with a constexpr function. There must exist argument values such that, after argument substitution, it initializes the class's members with constant expressions. The destructors for such types must be trivial.
The copy constructor for a type with any constexpr constructors should usually also be defined as a constexpr constructor, to allow objects of the type to be returned by value from a constexpr function. Any member function of a class, such as copy constructors, operator overloads, etc., can be declared as constexpr, so long as they meet the requirements for constexpr functions. This allows the compiler to copy objects at compile time, perform operations on them, etc.
If a constexpr function or constructor is called with arguments which aren't constant expressions, the call behaves as if the function were not constexpr, and the resulting value is not a constant expression. Likewise, if the expression in the return statement of a constexpr function does not evaluate to a constant expression for a given invocation, the result is not a constant expression.
constexpr differs from consteval, introduced in C++20, in that the latter must always produce a compile time constant, while constexpr does not have this restriction.
Modification to the definition of plain old data
In C++03, a class or struct must follow a number of rules for it to be considered a plain old data (POD) type. Types that fit this definition produce object layouts that are compatible with C, and they could also be initialized statically. The C++03 standard has restrictions on what types are compatible with C or can be statically initialized despite there being no technical reason a compiler couldn't accept the program; if someone were to create a C++03 POD type and add a virtual member function, this type would no longer be a POD type, could not be statically initialized, and would be incompatible with C despite no change to the memory layout.
C++11 relaxed several of the POD rules, by dividing the POD concept into two separate concepts: trivial and standard-layout.
A type that is trivial can be statically initialized. It also means that it is valid to copy data around via std::memcpy(), rather than having to use a copy constructor. The lifetime of a trivial type begins when its storage is defined, not when a constructor completes.
A trivial class or struct is defined as one that:
- Has a trivial default constructor. This may use the default constructor syntax (
X() = default;). - Has trivial copy and move constructors, which may use the default syntax.
- Has trivial copy and move assignment operators, which may use the default syntax.
- Has a trivial destructor, which must not be virtual.
Constructors are trivial only if there are no virtual member functions of the class and no virtual base classes. Copy/move operations also require all non-static data members to be trivial.
A type that is standard-layout means that it orders and packs its members in a way that is compatible with C. A class or struct is standard-layout, by definition, provided:
- It has no virtual functions
- It has no virtual base classes
- All its non-static data members have the same access control (public, private, protected)
- All its non-static data members, including any in its base classes, are in the same one class in the hierarchy
- The above rules also apply to all the base classes and to all non-static data members in the class hierarchy
- It has no base classes of the same type as the first defined non-static data member
A class/struct/union is considered POD if it is trivial, standard-layout, and all of its non-static data members and base classes are PODs.
By separating these concepts, it becomes possible to give up one without losing the other. A class with complex move and copy constructors may not be trivial, but it could be standard-layout and thus interoperate with C. Similarly, a class with public and private non-static data members would not be standard-layout, but it could be trivial and thus memcpy-able.
Core language build-time performance enhancements
Extern template
In C++03, the compiler must instantiate a template whenever a fully specified template is encountered in a translation unit. If the template is instantiated with the same types in many translation units, this can dramatically increase compile times. There is no way to prevent this in C++03, so C++11 introduced extern template declarations, analogous to extern data declarations.
C++03 has this syntax to oblige the compiler to instantiate a template:
<span id="mwASM"></span><span class="k" id="mwASQ">template</span><span class="w" id="mwASU"> </span><span class="k" id="mwASY">class</span><span class="w" id="mwASc"> </span><span class="nc" id="mwASg">std</span><span class="o" id="mwASk">::</span><span class="n" id="mwASo">vector</span><span class="o" id="mwASs"><</span><span class="n" id="mwASw">X</span><span class="o" id="mwAS0">></span><span class="p" id="mwAS4">;</span>
C++11 now provides this syntax:
<span id="mwATI"></span><span class="k" id="mwATM">extern</span><span class="w" id="mwATQ"> </span><span class="k" id="mwATU">template</span><span class="w" id="mwATY"> </span><span class="k" id="mwATc">class</span><span class="w" id="mwATg"> </span><span class="nc" id="mwATk">std</span><span class="o" id="mwATo">::</span><span class="n" id="mwATs">vector</span><span class="o" id="mwATw"><</span><span class="n" id="mwAT0">X</span><span class="o" id="mwAT4">></span><span class="p" id="mwAT8">;</span>
which tells the compiler not to instantiate the template in this translation unit.
Core language usability enhancements
These features exist for the primary purpose of making the language easier to use. These can improve type safety, minimize code repetition, make erroneous code less likely, etc.
Initializer lists
C++03 inherited the initializer-list feature from C. A struct or array is given a list of arguments in braces, in the order of the members' definitions in the struct. These initializer-lists are recursive, so an array of structs or struct containing other structs can use them.
<span id="mwAUg"></span><span class="k" id="mwAUk">struct</span><span class="w" id="mwAUo"> </span><span class="nc" id="mwAUs">FloatAndInt</span><span class="w" id="mwAUw"> </span><span class="p" id="mwAU0">{</span> <span class="w" id="mwAU4"> </span><span class="kt" id="mwAU8">float</span><span class="w" id="mwAVA"> </span><span class="n" id="mwAVE">first</span><span class="p" id="mwAVI">;</span> <span class="w" id="mwAVM"> </span><span class="kt" id="mwAVQ">int</span><span class="w" id="mwAVU"> </span><span class="n" id="mwAVY">second</span><span class="p" id="mwAVc">;</span> <span class="p" id="mwAVg">};</span> <span class="n" id="mwAVk">FloatAndInt</span><span class="w" id="mwAVo"> </span><span class="n" id="mwAVs">scalar</span><span class="w" id="mwAVw"> </span><span class="o" id="mwAV0">=</span><span class="w" id="mwAV4"> </span><span class="p" id="mwAV8">{</span><span class="mf" id="mwAWA">0.43f</span><span class="p" id="mwAWE">,</span><span class="w" id="mwAWI"> </span><span class="mi" id="mwAWM">10</span><span class="p" id="mwAWQ">};</span><span class="w" id="mwAWU"> </span><span class="c1" id="mwAWY">// One Object, with first=0.43f and second=10</span> <span class="n" id="mwAWc">FloatAndInt</span><span class="w" id="mwAWg"> </span><span class="n" id="mwAWk">a</span><span class="p" id="mwAWo">[]</span><span class="w" id="mwAWs"> </span><span class="o" id="mwAWw">=</span><span class="w" id="mwAW0"> </span><span class="p" id="mwAW4">{{</span><span class="mf" id="mwAW8">13.4f</span><span class="p" id="mwAXA">,</span><span class="w" id="mwAXE"> </span><span class="mi" id="mwAXI">3</span><span class="p" id="mwAXM">},</span><span class="w" id="mwAXQ"> </span><span class="p" id="mwAXU">{</span><span class="mf" id="mwAXY">43.28f</span><span class="p" id="mwAXc">,</span><span class="w" id="mwAXg"> </span><span class="mi" id="mwAXk">29</span><span class="p" id="mwAXo">},</span><span class="w" id="mwAXs"> </span><span class="p" id="mwAXw">{</span><span class="mf" id="mwAX0">5.934f</span><span class="p" id="mwAX4">,</span><span class="w" id="mwAX8"> </span><span class="mi" id="mwAYA">17</span><span class="p" id="mwAYE">}};</span><span class="w" id="mwAYI"> </span><span class="c1" id="mwAYM">// An array of three Objects</span>This is very useful for static lists, or initializing a struct to some value. C++ also provides constructors to initialize an object, but they are often not as convenient as the initializer list. However, C++03 allows initializer-lists only on structs and classes that conform to the Plain Old Data (POD) definition; C++11 extends initializer-lists, so they can be used for all classes including standard containers like std::vector<T>.
C++11 binds the concept to a template, called std::initializer_list<T>. This allows constructors and other functions to take initializer-lists as parameters. For example:
<span id="mwAYo"></span><span class="k" id="mwAYs">using</span><span class="w" id="mwAYw"> </span><span class="n" id="mwAY0">std</span><span class="o" id="mwAY4">::</span><span class="n" id="mwAY8">initializer_list</span><span class="p" id="mwAZA">;</span> <span class="k" id="mwAZE">class</span><span class="w" id="mwAZI"> </span><span class="nc" id="mwAZM">MySequence</span><span class="w" id="mwAZQ"> </span><span class="p" id="mwAZU">{</span> <span class="k" id="mwAZY">public</span><span class="o" id="mwAZc">:</span> <span class="w" id="mwAZg"> </span><span class="n" id="mwAZk">MySequence</span><span class="p" id="mwAZo">(</span><span class="n" id="mwAZs">initializer_list</span><span class="o" id="mwAZw"><</span><span class="kt" id="mwAZ0">int</span><span class="o" id="mwAZ4">></span><span class="w" id="mwAZ8"> </span><span class="n" id="mwAaA">list</span><span class="p" id="mwAaE">);</span> <span class="p" id="mwAaI">};</span>This allows MySequence to be constructed from a sequence of integers, such as:
<span id="mwAac"></span><span class="n" id="mwAag">MySequence</span><span class="w" id="mwAak"> </span><span class="n" id="mwAao">s</span><span class="w" id="mwAas"> </span><span class="o" id="mwAaw">=</span><span class="w" id="mwAa0"> </span><span class="p" id="mwAa4">{</span><span class="mi" id="mwAa8">1</span><span class="p" id="mwAbA">,</span><span class="w" id="mwAbE"> </span><span class="mi" id="mwAbI">4</span><span class="p" id="mwAbM">,</span><span class="w" id="mwAbQ"> </span><span class="mi" id="mwAbU">5</span><span class="p" id="mwAbY">,</span><span class="w" id="mwAbc"> </span><span class="mi" id="mwAbg">6</span><span class="p" id="mwAbk">};</span>This constructor is a special kind of constructor, called an initializer-list-constructor. Classes with such a constructor are treated specially during uniform initialization (see below)
The template class std::initializer_list<T> is a first-class C++11 standard library type. They can be constructed statically by the C++11 compiler via use of the {} syntax without a type name in contexts where such braces will deduce to an std::initializer_list<T>, or by explicitly specifying the type like std::initializer_list<T>{args} (and so on for other varieties of construction syntax).
The list can be copied once constructed, which is cheap and will act as a copy-by-reference (the class is typically implemented as a pair of begin/end pointers). An std::initializer_list<T> is constant: its members cannot be changed once it is created, and nor can the data in those members be changed (which rules out moving from them, requiring copies into class members, etc.).
Although its construction is specially treated by the compiler, an std::initializer_list<T> is a real type, and so it can be used in other places besides class constructors. Regular functions can take typed std::initializer_list<T>s as arguments. For example:
<span id="mwAck"></span><span class="k" id="mwAco">using</span><span class="w" id="mwAcs"> </span><span class="n" id="mwAcw">std</span><span class="o" id="mwAc0">::</span><span class="n" id="mwAc4">initializer_list</span><span class="p" id="mwAc8">;</span> <span class="kt" id="mwAdA">void</span><span class="w" id="mwAdE"> </span><span class="nf" id="mwAdI">foo</span><span class="p" id="mwAdM">(</span><span class="n" id="mwAdQ">initializer_list</span><span class="o" id="mwAdU"><</span><span class="kt" id="mwAdY">float</span><span class="o" id="mwAdc">></span><span class="w" id="mwAdg"> </span><span class="n" id="mwAdk">list</span><span class="p" id="mwAdo">);</span><span class="w" id="mwAds"> </span><span class="c1" id="mwAdw">// Copying is cheap; see above</span> <span class="n" id="mwAd0">foo</span><span class="p" id="mwAd4">({</span><span class="mf" id="mwAd8">1.0f</span><span class="p" id="mwAeA">,</span><span class="w" id="mwAeE"> </span><span class="mf" id="mwAeI">-3.45f</span><span class="p" id="mwAeM">,</span><span class="w" id="mwAeQ"> </span><span class="mf" id="mwAeU">-0.4f</span><span class="p" id="mwAeY">});</span>Examples of this in the standard library include the std::min() and std::max() templates taking std::initializer_list<T>s of numeric type.
Standard containers can also be initialized in these ways:
<span id="mwAe4"></span><span class="k" id="mwAe8">using</span><span class="w" id="mwAfA"> </span><span class="n" id="mwAfE">std</span><span class="o" id="mwAfI">::</span><span class="n" id="mwAfM">string</span><span class="p" id="mwAfQ">;</span> <span class="k" id="mwAfU">using</span><span class="w" id="mwAfY"> </span><span class="n" id="mwAfc">std</span><span class="o" id="mwAfg">::</span><span class="n" id="mwAfk">vector</span><span class="p" id="mwAfo">;</span> <span class="n" id="mwAfs">vector</span><span class="o" id="mwAfw"><</span><span class="n" id="mwAf0">string</span><span class="o" id="mwAf4">></span><span class="w" id="mwAf8"> </span><span class="n" id="mwAgA">v</span><span class="w" id="mwAgE"> </span><span class="o" id="mwAgI">=</span><span class="w" id="mwAgM"> </span><span class="p" id="mwAgQ">{</span><span class="w" id="mwAgU"> </span><span class="s" id="mwAgY">"xyzzy"</span><span class="p" id="mwAgc">,</span><span class="w" id="mwAgg"> </span><span class="s" id="mwAgk">"plugh"</span><span class="p" id="mwAgo">,</span><span class="w" id="mwAgs"> </span><span class="s" id="mwAgw">"abracadabra"</span><span class="w" id="mwAg0"> </span><span class="p" id="mwAg4">};</span> <span class="n" id="mwAg8">vector</span><span class="o" id="mwAhA"><</span><span class="n" id="mwAhE">string</span><span class="o" id="mwAhI">></span><span class="w" id="mwAhM"> </span><span class="n" id="mwAhQ">v</span><span class="p" id="mwAhU">({</span><span class="w" id="mwAhY"> </span><span class="s" id="mwAhc">"xyzzy"</span><span class="p" id="mwAhg">,</span><span class="w" id="mwAhk"> </span><span class="s" id="mwAho">"plugh"</span><span class="p" id="mwAhs">,</span><span class="w" id="mwAhw"> </span><span class="s" id="mwAh0">"abracadabra"</span><span class="w" id="mwAh4"> </span><span class="p" id="mwAh8">});</span> <span class="n" id="mwAiA">vector</span><span class="o" id="mwAiE"><</span><span class="n" id="mwAiI">string</span><span class="o" id="mwAiM">></span><span class="w" id="mwAiQ"> </span><span class="n" id="mwAiU">v</span><span class="p" id="mwAiY">{</span><span class="w" id="mwAic"> </span><span class="s" id="mwAig">"xyzzy"</span><span class="p" id="mwAik">,</span><span class="w" id="mwAio"> </span><span class="s" id="mwAis">"plugh"</span><span class="p" id="mwAiw">,</span><span class="w" id="mwAi0"> </span><span class="s" id="mwAi4">"abracadabra"</span><span class="w" id="mwAi8"> </span><span class="p" id="mwAjA">};</span><span class="w" id="mwAjE"> </span><span class="c1" id="mwAjI">// see "Uniform initialization" below</span>Uniform initialization
C++03 has a number of problems with initializing types. Several ways to do this exist, and some produce different results when interchanged. The traditional constructor syntax, for example, can look like a function declaration, and steps must be taken to ensure that the compiler's most vexing parse rule will not mistake it for such. Only aggregates and POD types can be initialized with aggregate initializers (using T x = { /* initialization */ };).
C++11 provides a syntax that allows for fully uniform type initialization that works on any object. It expands on the initializer list syntax:
<span id="mwAkU"></span><span class="k" id="mwAkY">struct</span><span class="w" id="mwAkc"> </span><span class="nc" id="mwAkg">IntAndFloat1</span><span class="w" id="mwAkk"> </span><span class="p" id="mwAko">{</span> <span class="w" id="mwAks"> </span><span class="kt" id="mwAkw">int</span><span class="w" id="mwAk0"> </span><span class="n" id="mwAk4">x</span><span class="p" id="mwAk8">;</span> <span class="w" id="mwAlA"> </span><span class="kt" id="mwAlE">double</span><span class="w" id="mwAlI"> </span><span class="n" id="mwAlM">y</span><span class="p" id="mwAlQ">;</span> <span class="p" id="mwAlU">};</span> <span class="k" id="mwAlY">struct</span><span class="w" id="mwAlc"> </span><span class="nc" id="mwAlg">IntAndFloat2</span><span class="w" id="mwAlk"> </span><span class="p" id="mwAlo">{</span> <span class="k" id="mwAls">private</span><span class="o" id="mwAlw">:</span> <span class="w" id="mwAl0"> </span><span class="kt" id="mwAl4">int</span><span class="w" id="mwAl8"> </span><span class="n" id="mwAmA">x</span><span class="p" id="mwAmE">;</span> <span class="w" id="mwAmI"> </span><span class="kt" id="mwAmM">double</span><span class="w" id="mwAmQ"> </span><span class="n" id="mwAmU">y</span><span class="p" id="mwAmY">;</span> <span class="k" id="mwAmc">public</span><span class="o" id="mwAmg">:</span> <span class="w" id="mwAmk"> </span><span class="n" id="mwAmo">IntAndFloat2</span><span class="p" id="mwAms">(</span><span class="kt" id="mwAmw">int</span><span class="w" id="mwAm0"> </span><span class="n" id="mwAm4">x</span><span class="p" id="mwAm8">,</span><span class="w" id="mwAnA"> </span><span class="kt" id="mwAnE">double</span><span class="w" id="mwAnI"> </span><span class="n" id="mwAnM">y</span><span class="p" id="mwAnQ">)</span><span class="o" id="mwAnU">:</span><span class="w" id="mwAnY"> </span> <span class="w" id="mwAnc"> </span><span class="n" id="mwAng">x</span><span class="p" id="mwAnk">{</span><span class="n" id="mwAno">x</span><span class="p" id="mwAns">},</span><span class="w" id="mwAnw"> </span><span class="n" id="mwAn0">y</span><span class="p" id="mwAn4">{</span><span class="n" id="mwAn8">y</span><span class="p" id="mwAoA">}</span><span class="w" id="mwAoE"> </span><span class="p" id="mwAoI">{}</span> <span class="p" id="mwAoM">};</span> <span class="n" id="mwAoQ">IntAndFloat1</span><span class="w" id="mwAoU"> </span><span class="n" id="mwAoY">v1</span><span class="p" id="mwAoc">{</span><span class="mi" id="mwAog">5</span><span class="p" id="mwAok">,</span><span class="w" id="mwAoo"> </span><span class="mf" id="mwAos">3.2</span><span class="p" id="mwAow">};</span> <span class="n" id="mwAo0">IntAndFloat2</span><span class="w" id="mwAo4"> </span><span class="n" id="mwAo8">v2</span><span class="p" id="mwApA">{</span><span class="mi" id="mwApE">2</span><span class="p" id="mwApI">,</span><span class="w" id="mwApM"> </span><span class="mf" id="mwApQ">4.3</span><span class="p" id="mwApU">};</span>The initialization of v1 behaves exactly as though it were aggregate-initialization. That is, each data member of an object, in turn, will be copy-initialized with the corresponding value from the initializer-list. Implicit type conversion will be used where needed. If no conversion exists, or only a narrowing conversion exists, the program is ill-formed. The initialization of v2 invokes the constructor.
One can also do this:
<span id="mwApw"></span><span class="k" id="mwAp0">using</span><span class="w" id="mwAp4"> </span><span class="n" id="mwAp8">std</span><span class="o" id="mwAqA">::</span><span class="n" id="mwAqE">string</span><span class="p" id="mwAqI">;</span> <span class="k" id="mwAqM">struct</span><span class="w" id="mwAqQ"> </span><span class="nc" id="mwAqU">IdString</span><span class="w" id="mwAqY"> </span><span class="p" id="mwAqc">{</span> <span class="w" id="mwAqg"> </span><span class="n" id="mwAqk">string</span><span class="w" id="mwAqo"> </span><span class="n" id="mwAqs">name</span><span class="p" id="mwAqw">;</span> <span class="w" id="mwAq0"> </span><span class="kt" id="mwAq4">int</span><span class="w" id="mwAq8"> </span><span class="n" id="mwArA">identifier</span><span class="p" id="mwArE">;</span> <span class="p" id="mwArI">};</span> <span class="n" id="mwArM">IdString</span><span class="w" id="mwArQ"> </span><span class="nf" id="mwArU">getString</span><span class="p" id="mwArY">()</span><span class="w" id="mwArc"> </span><span class="p" id="mwArg">{</span> <span class="w" id="mwArk"> </span><span class="k" id="mwAro">return</span><span class="w" id="mwArs"> </span><span class="p" id="mwArw">{</span><span class="s" id="mwAr0">"foo"</span><span class="p" id="mwAr4">,</span><span class="w" id="mwAr8"> </span><span class="mi" id="mwAsA">42</span><span class="p" id="mwAsE">};</span><span class="w" id="mwAsI"> </span><span class="c1" id="mwAsM">// Note the lack of explicit type.</span> <span class="p" id="mwAsQ">}</span>Uniform initialization does not replace constructor syntax, which is still needed at times. If a class has an initializer list constructor (T(initializer_list<X> v);), then it takes priority over other forms of construction, provided that the initializer list conforms to the sequence constructor's type. The C++11 version of std::vector<T> has an initializer list constructor for its template type. Thus this code:
<span id="mwAtM"></span><span class="n" id="mwAtQ">std</span><span class="o" id="mwAtU">::</span><span class="n" id="mwAtY">vector</span><span class="o" id="mwAtc"><</span><span class="kt" id="mwAtg">int</span><span class="o" id="mwAtk">></span><span class="w" id="mwAto"> </span><span class="n" id="mwAts">vec</span><span class="p" id="mwAtw">{</span><span class="mi" id="mwAt0">4</span><span class="p" id="mwAt4">};</span>will call the initializer list constructor, not the constructor of std::vector that takes a single size parameter and creates the vector with that size. To access the latter constructor, the user will need to use the standard constructor syntax directly.
Type inference
In C++03 (and C), to use a variable, its type must be specified explicitly. However, with the advent of template types and template metaprogramming techniques, the type of something, particularly the well-defined return value of a function, may not be easily expressed. Thus, storing intermediates in variables is difficult, possibly needing knowledge of the internals of a given metaprogramming library.
C++11 allows this to be mitigated in two ways. First, the definition of a variable with an explicit initialization can use the auto keyword. This creates a variable of the specific type of the initializer:
<span id="mwAu8"></span><span class="k" id="mwAvA">using</span><span class="w" id="mwAvE"> </span><span class="k" id="mwAvI">namespace</span><span class="w" id="mwAvM"> </span><span class="nn" id="mwAvQ">std</span><span class="o" id="mwAvU">::</span><span class="nn" id="mwAvY">placeholders</span><span class="p" id="mwAvc">;</span> <span class="k" id="mwAvg">auto</span><span class="w" id="mwAvk"> </span><span class="n" id="mwAvo">callable</span><span class="w" id="mwAvs"> </span><span class="o" id="mwAvw">=</span><span class="w" id="mwAv0"> </span><span class="n" id="mwAv4">std</span><span class="o" id="mwAv8">::</span><span class="n" id="mwAwA">bind</span><span class="p" id="mwAwE">(</span><span class="o" id="mwAwI">&</span><span class="n" id="mwAwM">foo</span><span class="p" id="mwAwQ">,</span><span class="w" id="mwAwU"> </span><span class="n" id="mwAwY">_2</span><span class="p" id="mwAwc">,</span><span class="w" id="mwAwg"> </span><span class="n" id="mwAwk">_1</span><span class="p" id="mwAwo">,</span><span class="w" id="mwAws"> </span><span class="n" id="mwAww">x</span><span class="p" id="mwAw0">);</span> <span class="k" id="mwAw4">auto</span><span class="w" id="mwAw8"> </span><span class="n" id="mwAxA">y</span><span class="w" id="mwAxE"> </span><span class="o" id="mwAxI">=</span><span class="w" id="mwAxM"> </span><span class="mi" id="mwAxQ">5</span><span class="p" id="mwAxU">;</span>
The type of callable is simply whatever the particular template function override of std::bind() returns for those particular arguments. This type is easily determined procedurally by the compiler as part of its semantic analysis duties, but is not easy for the user to determine upon inspection. The type of y is also well-defined, but it is easier for the user to determine. It is an int, which is the same type as the integer literal.
This use of the keyword auto in C++ re-purposes the semantics of this keyword, which was originally used in the typeless predecessor language B in a related role of denoting an untyped automatic variable definition.
Further, the keyword decltype can be used to determine the type of expression at compile-time. For example:
<span id="mwAyQ"></span><span class="kt" id="mwAyU">int</span><span class="w" id="mwAyY"> </span><span class="n" id="mwAyc">i</span><span class="w" id="mwAyg"> </span><span class="o" id="mwAyk">=</span><span class="w" id="mwAyo"> </span><span class="mi" id="mwAys">0</span><span class="p" id="mwAyw">;</span> <span class="k" id="mwAy0">decltype</span><span class="p" id="mwAy4">(</span><span class="n" id="mwAy8">i</span><span class="p" id="mwAzA">)</span><span class="w" id="mwAzE"> </span><span class="n" id="mwAzI">j</span><span class="w" id="mwAzM"> </span><span class="o" id="mwAzQ">=</span><span class="w" id="mwAzU"> </span><span class="mi" id="mwAzY">5</span><span class="p" id="mwAzc">;</span>
This is more useful in conjunction with auto, since the type of auto variable is known only to the compiler. However, decltype can also be very useful for expressions in code that makes heavy use of operator overloading and specialized types.
auto is also useful for reducing the verbosity of the code. For instance, instead of writing
<span id="mwA0A"></span><span class="k" id="mwA0E">using</span><span class="w" id="mwA0I"> </span><span class="n" id="mwA0M">std</span><span class="o" id="mwA0Q">::</span><span class="n" id="mwA0U">vector</span><span class="p" id="mwA0Y">;</span> <span class="k" id="mwA0c">for</span><span class="w" id="mwA0g"> </span><span class="p" id="mwA0k">(</span><span class="n" id="mwA0o">vector</span><span class="o" id="mwA0s"><</span><span class="kt" id="mwA0w">int</span><span class="o" id="mwA00">>::</span><span class="n" id="mwA04">const_iterator</span><span class="w" id="mwA08"> </span><span class="n" id="mwA1A">it</span><span class="w" id="mwA1E"> </span><span class="o" id="mwA1I">=</span><span class="w" id="mwA1M"> </span><span class="n" id="mwA1Q">v</span><span class="p" id="mwA1U">.</span><span class="n" id="mwA1Y">cbegin</span><span class="p" id="mwA1c">();</span><span class="w" id="mwA1g"> </span><span class="n" id="mwA1k">it</span><span class="w" id="mwA1o"> </span><span class="o" id="mwA1s">!=</span><span class="w" id="mwA1w"> </span><span class="n" id="mwA10">v</span><span class="p" id="mwA14">.</span><span class="n" id="mwA18">cend</span><span class="p" id="mwA2A">();</span><span class="w" id="mwA2E"> </span><span class="o" id="mwA2I">++</span><span class="n" id="mwA2M">it</span><span class="p" id="mwA2Q">)</span><span class="w" id="mwA2U"> </span><span class="p" id="mwA2Y">{</span><span class="w" id="mwA2c"> </span><span class="cm" id="mwA2g">/* loop */</span><span class="w" id="mwA2k"> </span><span class="p" id="mwA2o">}</span>the programmer can use the shorter
<span id="mwA24"></span><span class="k" id="mwA28">for</span><span class="w" id="mwA3A"> </span><span class="p" id="mwA3E">(</span><span class="k" id="mwA3I">auto</span><span class="w" id="mwA3M"> </span><span class="n" id="mwA3Q">it</span><span class="w" id="mwA3U"> </span><span class="o" id="mwA3Y">=</span><span class="w" id="mwA3c"> </span><span class="n" id="mwA3g">v</span><span class="p" id="mwA3k">.</span><span class="n" id="mwA3o">cbegin</span><span class="p" id="mwA3s">();</span><span class="w" id="mwA3w"> </span><span class="n" id="mwA30">it</span><span class="w" id="mwA34"> </span><span class="o" id="mwA38">!=</span><span class="w" id="mwA4A"> </span><span class="n" id="mwA4E">v</span><span class="p" id="mwA4I">.</span><span class="n" id="mwA4M">cend</span><span class="p" id="mwA4Q">();</span><span class="w" id="mwA4U"> </span><span class="o" id="mwA4Y">++</span><span class="n" id="mwA4c">it</span><span class="p" id="mwA4g">)</span><span class="w" id="mwA4k"> </span><span class="p" id="mwA4o">{</span><span class="w" id="mwA4s"> </span><span class="cm" id="mwA4w">/* loop */</span><span class="w" id="mwA40"> </span><span class="p" id="mwA44">}</span>which can be further compacted since v implements begin()/end() iterators:
<span id="mwA5U"></span><span class="k" id="mwA5Y">for</span><span class="w" id="mwA5c"> </span><span class="p" id="mwA5g">(</span><span class="k" id="mwA5k">const</span><span class="w" id="mwA5o"> </span><span class="k" id="mwA5s">auto</span><span class="o" id="mwA5w">&</span><span class="w" id="mwA50"> </span><span class="n" id="mwA54">x</span><span class="w" id="mwA58"> </span><span class="o" id="mwA6A">:</span><span class="w" id="mwA6E"> </span><span class="n" id="mwA6I">v</span><span class="p" id="mwA6M">)</span><span class="w" id="mwA6Q"> </span><span class="p" id="mwA6U">{</span><span class="w" id="mwA6Y"> </span><span class="cm" id="mwA6c">/* loop */</span><span class="w" id="mwA6g"> </span><span class="p" id="mwA6k">}</span>This difference grows as the programmer begins to nest containers, though in such cases typedefs may be used to decrease the amount of code.
The type denoted by decltype can be different from the type deduced by auto.
<span id="mwA7E"></span><span class="cp" id="mwA7I">#include</span><span class="w" id="mwA7M"> </span><span class="cpf" id="mwA7Q"><vector></span> <span class="k" id="mwA7U">using</span><span class="w" id="mwA7Y"> </span><span class="n" id="mwA7c">std</span><span class="o" id="mwA7g">::</span><span class="n" id="mwA7k">vector</span><span class="p" id="mwA7o">;</span> <span class="kt" id="mwA7s">int</span><span class="w" id="mwA7w"> </span><span class="nf" id="mwA70">main</span><span class="p" id="mwA74">()</span><span class="w" id="mwA78"> </span><span class="p" id="mwA8A">{</span> <span class="w" id="mwA8E"> </span><span class="k" id="mwA8I">const</span><span class="w" id="mwA8M"> </span><span class="n" id="mwA8Q">vector</span><span class="o" id="mwA8U"><</span><span class="kt" id="mwA8Y">int</span><span class="o" id="mwA8c">></span><span class="w" id="mwA8g"> </span><span class="n" id="mwA8k">v</span><span class="p" id="mwA8o">(</span><span class="mi" id="mwA8s">1</span><span class="p" id="mwA8w">);</span> <span class="w" id="mwA80"> </span><span class="k" id="mwA84">auto</span><span class="w" id="mwA88"> </span><span class="n" id="mwA9A">a</span><span class="w" id="mwA9E"> </span><span class="o" id="mwA9I">=</span><span class="w" id="mwA9M"> </span><span class="n" id="mwA9Q">v</span><span class="p" id="mwA9U">[</span><span class="mi" id="mwA9Y">0</span><span class="p" id="mwA9c">];</span><span class="w" id="mwA9g"> </span><span class="c1" id="mwA9k">// a has type int</span> <span class="w" id="mwA9o"> </span><span class="k" id="mwA9s">decltype</span><span class="p" id="mwA9w">(</span><span class="n" id="mwA90">v</span><span class="p" id="mwA94">[</span><span class="mi" id="mwA98">0</span><span class="p" id="mwA-A">])</span><span class="w" id="mwA-E"> </span><span class="n" id="mwA-I">b</span><span class="w" id="mwA-M"> </span><span class="o" id="mwA-Q">=</span><span class="w" id="mwA-U"> </span><span class="mi" id="mwA-Y">1</span><span class="p" id="mwA-c">;</span><span class="w" id="mwA-g"> </span><span class="c1" id="mwA-k">// b has type const int&, the return type of</span> <span class="w" id="mwA-o"> </span><span class="c1" id="mwA-s">// std::vector<int>::operator[](size_type) const</span> <span class="w" id="mwA-w"> </span><span class="k" id="mwA-0">auto</span><span class="w" id="mwA-4"> </span><span class="n" id="mwA-8">c</span><span class="w" id="mwA_A"> </span><span class="o" id="mwA_E">=</span><span class="w" id="mwA_I"> </span><span class="mi" id="mwA_M">0</span><span class="p" id="mwA_Q">;</span><span class="w" id="mwA_U"> </span><span class="c1" id="mwA_Y">// c has type int</span> <span class="w" id="mwA_c"> </span><span class="k" id="mwA_g">auto</span><span class="w" id="mwA_k"> </span><span class="n" id="mwA_o">d</span><span class="w" id="mwA_s"> </span><span class="o" id="mwA_w">=</span><span class="w" id="mwA_0"> </span><span class="n" id="mwA_4">c</span><span class="p" id="mwA_8">;</span><span class="w" id="mwBAA"> </span><span class="c1" id="mwBAE">// d has type int</span> <span class="w" id="mwBAI"> </span><span class="k" id="mwBAM">decltype</span><span class="p" id="mwBAQ">(</span><span class="n" id="mwBAU">c</span><span class="p" id="mwBAY">)</span><span class="w" id="mwBAc"> </span><span class="n" id="mwBAg">e</span><span class="p" id="mwBAk">;</span><span class="w" id="mwBAo"> </span><span class="c1" id="mwBAs">// e has type int, the type of the entity named by c</span> <span class="w" id="mwBAw"> </span><span class="k" id="mwBA0">decltype</span><span class="p" id="mwBA4">((</span><span class="n" id="mwBA8">c</span><span class="p" id="mwBBA">))</span><span class="w" id="mwBBE"> </span><span class="n" id="mwBBI">f</span><span class="w" id="mwBBM"> </span><span class="o" id="mwBBQ">=</span><span class="w" id="mwBBU"> </span><span class="n" id="mwBBY">c</span><span class="p" id="mwBBc">;</span><span class="w" id="mwBBg"> </span><span class="c1" id="mwBBk">// f has type int&, because (c) is an lvalue</span> <span class="w" id="mwBBo"> </span><span class="k" id="mwBBs">decltype</span><span class="p" id="mwBBw">(</span><span class="mi" id="mwBB0">0</span><span class="p" id="mwBB4">)</span><span class="w" id="mwBB8"> </span><span class="n" id="mwBCA">g</span><span class="p" id="mwBCE">;</span><span class="w" id="mwBCI"> </span><span class="c1" id="mwBCM">// g has type int, because 0 is an rvalue</span> <span class="p" id="mwBCQ">}</span>Range-based for loop
C++11 extends the syntax of the for statement to allow for easy iteration over a range of elements:
<span id="mwBCo"></span><span class="kt" id="mwBCs">int</span><span class="w" id="mwBCw"> </span><span class="n" id="mwBC0">a</span><span class="p" id="mwBC4">[</span><span class="mi" id="mwBC8">5</span><span class="p" id="mwBDA">]</span><span class="w" id="mwBDE"> </span><span class="o" id="mwBDI">=</span><span class="w" id="mwBDM"> </span><span class="p" id="mwBDQ">{</span><span class="mi" id="mwBDU">1</span><span class="p" id="mwBDY">,</span><span class="w" id="mwBDc"> </span><span class="mi" id="mwBDg">2</span><span class="p" id="mwBDk">,</span><span class="w" id="mwBDo"> </span><span class="mi" id="mwBDs">3</span><span class="p" id="mwBDw">,</span><span class="w" id="mwBD0"> </span><span class="mi" id="mwBD4">4</span><span class="p" id="mwBD8">,</span><span class="w" id="mwBEA"> </span><span class="mi" id="mwBEE">5</span><span class="p" id="mwBEI">};</span> <span class="c1" id="mwBEM">// double the value of each element in a:</span> <span class="k" id="mwBEQ">for</span><span class="w" id="mwBEU"> </span><span class="p" id="mwBEY">(</span><span class="kt" id="mwBEc">int</span><span class="o" id="mwBEg">&</span><span class="w" id="mwBEk"> </span><span class="n" id="mwBEo">x</span><span class="w" id="mwBEs"> </span><span class="o" id="mwBEw">:</span><span class="w" id="mwBE0"> </span><span class="n" id="mwBE4">a</span><span class="p" id="mwBE8">)</span><span class="w" id="mwBFA"> </span><span class="p" id="mwBFE">{</span> <span class="w" id="mwBFI"> </span><span class="n" id="mwBFM">x</span><span class="w" id="mwBFQ"> </span><span class="o" id="mwBFU">*=</span><span class="w" id="mwBFY"> </span><span class="mi" id="mwBFc">2</span><span class="p" id="mwBFg">;</span> <span class="p" id="mwBFk">}</span> <span class="c1" id="mwBFo">// similar but also using type inference for array elements</span> <span class="k" id="mwBFs">for</span><span class="w" id="mwBFw"> </span><span class="p" id="mwBF0">(</span><span class="k" id="mwBF4">auto</span><span class="o" id="mwBF8">&</span><span class="w" id="mwBGA"> </span><span class="n" id="mwBGE">x</span><span class="w" id="mwBGI"> </span><span class="o" id="mwBGM">:</span><span class="w" id="mwBGQ"> </span><span class="n" id="mwBGU">a</span><span class="p" id="mwBGY">)</span><span class="w" id="mwBGc"> </span><span class="p" id="mwBGg">{</span> <span class="w" id="mwBGk"> </span><span class="n" id="mwBGo">x</span><span class="w" id="mwBGs"> </span><span class="o" id="mwBGw">*=</span><span class="w" id="mwBG0"> </span><span class="mi" id="mwBG4">2</span><span class="p" id="mwBG8">;</span> <span class="p" id="mwBHA">}</span>This form of for, called the “range-based for”, will iterate over each element in the list. It will work for C-style arrays (provided its length is known at compile time), initializer lists, and any type that has begin() and end() functions defined for it that return iterators. All standard library containers that have begin/end pairs will work with the range-based for statement.
Lambda functions and expressions
C++11 provides the ability to create anonymous functions, called lambda functions. These are defined as follows:
<span id="mwBIA"></span><span class="c1" id="mwBIE">// Defines a lambda named add</span> <span class="c1" id="mwBII">// Takes two ints and returns an int</span> <span class="k" id="mwBIM">auto</span><span class="w" id="mwBIQ"> </span><span class="n" id="mwBIU">add</span><span class="w" id="mwBIY"> </span><span class="o" id="mwBIc">=</span><span class="w" id="mwBIg"> </span><span class="p" id="mwBIk">[](</span><span class="kt" id="mwBIo">int</span><span class="w" id="mwBIs"> </span><span class="n" id="mwBIw">x</span><span class="p" id="mwBI0">,</span><span class="w" id="mwBI4"> </span><span class="kt" id="mwBI8">int</span><span class="w" id="mwBJA"> </span><span class="n" id="mwBJE">y</span><span class="p" id="mwBJI">)</span><span class="w" id="mwBJM"> </span><span class="o" id="mwBJQ">-></span><span class="w" id="mwBJU"> </span><span class="kt" id="mwBJY">int</span><span class="w" id="mwBJc"> </span><span class="p" id="mwBJg">{</span><span class="w" id="mwBJk"> </span> <span class="w" id="mwBJo"> </span><span class="k" id="mwBJs">return</span><span class="w" id="mwBJw"> </span><span class="n" id="mwBJ0">x</span><span class="w" id="mwBJ4"> </span><span class="o" id="mwBJ8">+</span><span class="w" id="mwBKA"> </span><span class="n" id="mwBKE">y</span><span class="p" id="mwBKI">;</span><span class="w" id="mwBKM"> </span> <span class="p" id="mwBKQ">}</span>The return type (-> int in this example) can be omitted as long as all return expressions return the same type. A lambda can optionally be a closure.
Alternative function syntax
Standard C function declaration syntax was perfectly adequate for the feature set of the C language. As C++ evolved from C, it kept the basic syntax and extended it where needed. However, as C++ grew more complex, it exposed several limits, especially regarding template function declarations. For example, in C++03 this is invalid:
<span id="mwBLE"></span><span class="k" id="mwBLI">template</span><span class="w" id="mwBLM"> </span><span class="o" id="mwBLQ"><</span><span class="k" id="mwBLU">class</span><span class="w" id="mwBLY"> </span><span class="nc" id="mwBLc">L</span><span class="p" id="mwBLg">,</span><span class="w" id="mwBLk"> </span><span class="k" id="mwBLo">class</span><span class="w" id="mwBLs"> </span><span class="nc" id="mwBLw">R</span><span class="o" id="mwBL0">></span> <span class="n" id="mwBL4">Ret</span><span class="w" id="mwBL8"> </span><span class="n" id="mwBMA">add</span><span class="p" id="mwBME">(</span><span class="k" id="mwBMI">const</span><span class="w" id="mwBMM"> </span><span class="n" id="mwBMQ">L</span><span class="o" id="mwBMU">&</span><span class="w" id="mwBMY"> </span><span class="n" id="mwBMc">lhs</span><span class="p" id="mwBMg">,</span><span class="w" id="mwBMk"> </span><span class="k" id="mwBMo">const</span><span class="w" id="mwBMs"> </span><span class="n" id="mwBMw">R</span><span class="o" id="mwBM0">&</span><span class="w" id="mwBM4"> </span><span class="n" id="mwBM8">rhs</span><span class="p" id="mwBNA">)</span><span class="w" id="mwBNE"> </span><span class="p" id="mwBNI">{</span> <span class="w" id="mwBNM"> </span><span class="k" id="mwBNQ">return</span><span class="w" id="mwBNU"> </span><span class="n" id="mwBNY">lhs</span><span class="w" id="mwBNc"> </span><span class="o" id="mwBNg">+</span><span class="w" id="mwBNk"> </span><span class="n" id="mwBNo">rhs</span><span class="p" id="mwBNs">;</span><span class="w" id="mwBNw"> </span><span class="c1" id="mwBN0">// Ret must be the type of lhs + rhs</span> <span class="p" id="mwBN4">}</span>The type Ret is whatever the addition of types L and R will produce. Even with the aforementioned C++11 functionality of decltype, this is not possible:
<span id="mwBOY"></span><span class="c1" id="mwBOc">// Not valid C++11</span> <span class="k" id="mwBOg">template</span><span class="w" id="mwBOk"> </span><span class="o" id="mwBOo"><</span><span class="k" id="mwBOs">class</span><span class="w" id="mwBOw"> </span><span class="nc" id="mwBO0">L</span><span class="p" id="mwBO4">,</span><span class="w" id="mwBO8"> </span><span class="k" id="mwBPA">class</span><span class="w" id="mwBPE"> </span><span class="nc" id="mwBPI">R</span><span class="o" id="mwBPM">></span> <span class="k" id="mwBPQ">decltype</span><span class="p" id="mwBPU">(</span><span class="n" id="mwBPY">lhs</span><span class="w" id="mwBPc"> </span><span class="o" id="mwBPg">+</span><span class="w" id="mwBPk"> </span><span class="n" id="mwBPo">rhs</span><span class="p" id="mwBPs">)</span><span class="w" id="mwBPw"> </span><span class="n" id="mwBP0">add</span><span class="p" id="mwBP4">(</span><span class="k" id="mwBP8">const</span><span class="w" id="mwBQA"> </span><span class="n" id="mwBQE">L</span><span class="o" id="mwBQI">&</span><span class="w" id="mwBQM"> </span><span class="n" id="mwBQQ">lhs</span><span class="p" id="mwBQU">,</span><span class="w" id="mwBQY"> </span><span class="k" id="mwBQc">const</span><span class="w" id="mwBQg"> </span><span class="n" id="mwBQk">R</span><span class="o" id="mwBQo">&</span><span class="w" id="mwBQs"> </span><span class="n" id="mwBQw">rhs</span><span class="p" id="mwBQ0">)</span><span class="w" id="mwBQ4"> </span><span class="p" id="mwBQ8">{</span> <span class="w" id="mwBRA"> </span><span class="k" id="mwBRE">return</span><span class="w" id="mwBRI"> </span><span class="n" id="mwBRM">lhs</span><span class="w" id="mwBRQ"> </span><span class="o" id="mwBRU">+</span><span class="w" id="mwBRY"> </span><span class="n" id="mwBRc">rhs</span><span class="p" id="mwBRg">;</span> <span class="p" id="mwBRk">}</span>This is not valid C++ because lhs and rhs have not yet been defined; they will not be valid identifiers until after the parser has parsed the rest of the function prototype.
To work around this, C++11 introduced a new function declaration syntax, with a trailing-return-type:
<span id="mwBSY"></span><span class="k" id="mwBSc">template</span><span class="w" id="mwBSg"> </span><span class="o" id="mwBSk"><</span><span class="k" id="mwBSo">class</span><span class="w" id="mwBSs"> </span><span class="nc" id="mwBSw">L</span><span class="p" id="mwBS0">,</span><span class="w" id="mwBS4"> </span><span class="k" id="mwBS8">class</span><span class="w" id="mwBTA"> </span><span class="nc" id="mwBTE">R</span><span class="o" id="mwBTI">></span> <span class="k" id="mwBTM">auto</span><span class="w" id="mwBTQ"> </span><span class="n" id="mwBTU">add</span><span class="p" id="mwBTY">(</span><span class="k" id="mwBTc">const</span><span class="w" id="mwBTg"> </span><span class="n" id="mwBTk">L</span><span class="o" id="mwBTo">&</span><span class="w" id="mwBTs"> </span><span class="n" id="mwBTw">lhs</span><span class="p" id="mwBT0">,</span><span class="w" id="mwBT4"> </span><span class="k" id="mwBT8">const</span><span class="w" id="mwBUA"> </span><span class="n" id="mwBUE">R</span><span class="o" id="mwBUI">&</span><span class="w" id="mwBUM"> </span><span class="n" id="mwBUQ">rhs</span><span class="p" id="mwBUU">)</span><span class="w" id="mwBUY"> </span><span class="o" id="mwBUc">-></span><span class="w" id="mwBUg"> </span><span class="k" id="mwBUk">decltype</span><span class="p" id="mwBUo">(</span><span class="n" id="mwBUs">lhs</span><span class="w" id="mwBUw"> </span><span class="o" id="mwBU0">+</span><span class="w" id="mwBU4"> </span><span class="n" id="mwBU8">rhs</span><span class="p" id="mwBVA">)</span><span class="w" id="mwBVE"> </span><span class="p" id="mwBVI">{</span> <span class="w" id="mwBVM"> </span><span class="k" id="mwBVQ">return</span><span class="w" id="mwBVU"> </span><span class="n" id="mwBVY">lhs</span><span class="w" id="mwBVc"> </span><span class="o" id="mwBVg">+</span><span class="w" id="mwBVk"> </span><span class="n" id="mwBVo">rhs</span><span class="p" id="mwBVs">;</span> <span class="p" id="mwBVw">}</span>This syntax can be used for more mundane function declarations and definitions:
<span id="mwBWA"></span><span class="k" id="mwBWE">struct</span><span class="w" id="mwBWI"> </span><span class="nc" id="mwBWM">X</span><span class="w" id="mwBWQ"> </span><span class="p" id="mwBWU">{</span> <span class="w" id="mwBWY"> </span><span class="k" id="mwBWc">static</span><span class="w" id="mwBWg"> </span><span class="k" id="mwBWk">auto</span><span class="w" id="mwBWo"> </span><span class="n" id="mwBWs">add</span><span class="p" id="mwBWw">(</span><span class="kt" id="mwBW0">int</span><span class="w" id="mwBW4"> </span><span class="n" id="mwBW8">x</span><span class="p" id="mwBXA">,</span><span class="w" id="mwBXE"> </span><span class="kt" id="mwBXI">int</span><span class="w" id="mwBXM"> </span><span class="n" id="mwBXQ">y</span><span class="p" id="mwBXU">)</span><span class="w" id="mwBXY"> </span><span class="o" id="mwBXc">-></span><span class="w" id="mwBXg"> </span><span class="kt" id="mwBXk">int</span><span class="w" id="mwBXo"> </span><span class="p" id="mwBXs">{</span> <span class="w" id="mwBXw"> </span><span class="k" id="mwBX0">return</span><span class="w" id="mwBX4"> </span><span class="n" id="mwBX8">x</span><span class="w" id="mwBYA"> </span><span class="o" id="mwBYE">+</span><span class="w" id="mwBYI"> </span><span class="n" id="mwBYM">y</span><span class="p" id="mwBYQ">;</span> <span class="w" id="mwBYU"> </span><span class="p" id="mwBYY">}</span> <span class="p" id="mwBYc">};</span>The use of the "auto" keyword in this case is just part of the syntax and does not perform automatic type deduction in C++11. However, starting with C++14, the trailing return type can be removed entirely and the compiler will deduce the return type automatically.
Object construction improvement
In C++03, constructors of a class are not allowed to call other constructors in an initializer list of that class. Each constructor must construct all of its class members itself or call a common member function, as follows:
<span id="mwBZI"></span><span class="k" id="mwBZM">class</span><span class="w" id="mwBZQ"> </span><span class="nc" id="mwBZU">Integer</span><span class="w" id="mwBZY"> </span><span class="p" id="mwBZc">{</span> <span class="k" id="mwBZg">private</span><span class="o" id="mwBZk">:</span> <span class="w" id="mwBZo"> </span><span class="kt" id="mwBZs">int</span><span class="w" id="mwBZw"> </span><span class="n" id="mwBZ0">value</span><span class="p" id="mwBZ4">;</span> <span class="w" id="mwBZ8"> </span><span class="kt" id="mwBaA">void</span><span class="w" id="mwBaE"> </span><span class="nf" id="mwBaI">setValue</span><span class="p" id="mwBaM">(</span><span class="kt" id="mwBaQ">int</span><span class="w" id="mwBaU"> </span><span class="n" id="mwBaY">num</span><span class="p" id="mwBac">)</span><span class="w" id="mwBag"> </span><span class="p" id="mwBak">{</span> <span class="w" id="mwBao"> </span><span class="n" id="mwBas">value</span><span class="w" id="mwBaw"> </span><span class="o" id="mwBa0">=</span><span class="w" id="mwBa4"> </span><span class="n" id="mwBa8">num</span><span class="p" id="mwBbA">;</span> <span class="w" id="mwBbE"> </span><span class="p" id="mwBbI">}</span> <span class="k" id="mwBbM">public</span><span class="o" id="mwBbQ">:</span> <span class="w" id="mwBbU"> </span><span class="n" id="mwBbY">Integer</span><span class="p" id="mwBbc">(</span><span class="kt" id="mwBbg">int</span><span class="w" id="mwBbk"> </span><span class="n" id="mwBbo">number</span><span class="p" id="mwBbs">)</span><span class="w" id="mwBbw"> </span><span class="p" id="mwBb0">{</span> <span class="w" id="mwBb4"> </span><span class="n" id="mwBb8">setValue</span><span class="p" id="mwBcA">(</span><span class="n" id="mwBcE">number</span><span class="p" id="mwBcI">);</span> <span class="w" id="mwBcM"> </span><span class="p" id="mwBcQ">}</span> <span class="w" id="mwBcU"> </span><span class="n" id="mwBcY">Integer</span><span class="p" id="mwBcc">()</span><span class="w" id="mwBcg"> </span><span class="p" id="mwBck">{</span> <span class="w" id="mwBco"> </span><span class="n" id="mwBcs">setValue</span><span class="p" id="mwBcw">(</span><span class="mi" id="mwBc0">42</span><span class="p" id="mwBc4">);</span> <span class="w" id="mwBc8"> </span><span class="p" id="mwBdA">}</span> <span class="p" id="mwBdE">};</span>Constructors for base classes cannot be directly exposed to derived classes; each derived class must implement constructors even if a base class constructor would be appropriate. Non-constant data members of classes cannot be initialized at the site of the declaration of those members. They can be initialized only in a constructor.
C++11 provides solutions to all of these problems.
C++11 allows constructors to call other peer constructors (termed delegation). This allows constructors to utilize another constructor's behavior with a minimum of added code. Delegation has been used in other languages e.g., Java and Objective-C.
This syntax is as follows:
<span id="mwBds"></span><span class="k" id="mwBdw">class</span><span class="w" id="mwBd0"> </span><span class="nc" id="mwBd4">Integer</span><span class="w" id="mwBd8"> </span><span class="p" id="mwBeA">{</span> <span class="k" id="mwBeE">private</span><span class="o" id="mwBeI">:</span><span class="w" id="mwBeM"> </span> <span class="w" id="mwBeQ"> </span><span class="kt" id="mwBeU">int</span><span class="w" id="mwBeY"> </span><span class="n" id="mwBec">value</span><span class="p" id="mwBeg">;</span> <span class="k" id="mwBek">public</span><span class="o" id="mwBeo">:</span> <span class="w" id="mwBes"> </span><span class="n" id="mwBew">Integer</span><span class="p" id="mwBe0">(</span><span class="kt" id="mwBe4">int</span><span class="w" id="mwBe8"> </span><span class="n" id="mwBfA">number</span><span class="p" id="mwBfE">)</span><span class="o" id="mwBfI">:</span><span class="w" id="mwBfM"> </span> <span class="w" id="mwBfQ"> </span><span class="n" id="mwBfU">value</span><span class="p" id="mwBfY">(</span><span class="n" id="mwBfc">number</span><span class="p" id="mwBfg">)</span><span class="w" id="mwBfk"> </span><span class="p" id="mwBfo">{}</span> <span class="w" id="mwBfs"> </span><span class="n" id="mwBfw">Integer</span><span class="p" id="mwBf0">()</span><span class="o" id="mwBf4">:</span><span class="w" id="mwBf8"> </span> <span class="w" id="mwBgA"> </span><span class="n" id="mwBgE">Integer</span><span class="p" id="mwBgI">(</span><span class="mi" id="mwBgM">42</span><span class="p" id="mwBgQ">)</span><span class="w" id="mwBgU"> </span><span class="p" id="mwBgY">{}</span> <span class="p" id="mwBgc">};</span>In this case, the same effect could have been achieved by making number a default parameter. The new syntax, however, allows the default value (42) to be expressed in the implementation rather than the interface — a benefit to maintainers of library code since default values for function parameters are “baked in” to call sites, whereas constructor delegation allows the value to be changed without recompilation of the code using the library.
This comes with a caveat: C++03 considers an object to be constructed when its constructor finishes executing, but C++11 considers an object constructed once any constructor finishes execution. Since multiple constructors will be allowed to execute, this will mean that each delegating constructor will be executing on a fully constructed object of its own type. Derived class constructors will execute after all delegation in their base classes is complete.
For base-class constructors, C++11 allows a class to specify that base class constructors will be inherited. Thus, the C++11 compiler will generate code to perform the inheritance and the forwarding of the derived class to the base class. This is an all-or-nothing feature: either all of that base class's constructors are forwarded or none of them are. Also, an inherited constructor will be shadowed if it matches the signature of a constructor of the derived class, and restrictions exist for multiple inheritance: class constructors cannot be inherited from two classes that use constructors with the same signature.
The syntax is as follows:
<span id="mwBhI"></span><span class="k" id="mwBhM">class</span><span class="w" id="mwBhQ"> </span><span class="nc" id="mwBhU">Base</span><span class="w" id="mwBhY"> </span><span class="p" id="mwBhc">{</span> <span class="k" id="mwBhg">public</span><span class="o" id="mwBhk">:</span> <span class="w" id="mwBho"> </span><span class="n" id="mwBhs">Base</span><span class="p" id="mwBhw">(</span><span class="kt" id="mwBh0">int</span><span class="w" id="mwBh4"> </span><span class="n" id="mwBh8">value</span><span class="p" id="mwBiA">);</span> <span class="p" id="mwBiE">};</span> <span class="k" id="mwBiI">class</span><span class="w" id="mwBiM"> </span><span class="nc" id="mwBiQ">Derived</span><span class="w" id="mwBiU"> </span><span class="o" id="mwBiY">:</span><span class="w" id="mwBic"> </span><span class="k" id="mwBig">public</span><span class="w" id="mwBik"> </span><span class="n" id="mwBio">Base</span><span class="w" id="mwBis"> </span><span class="p" id="mwBiw">{</span> <span class="k" id="mwBi0">public</span><span class="o" id="mwBi4">:</span> <span class="w" id="mwBi8"> </span><span class="k" id="mwBjA">using</span><span class="w" id="mwBjE"> </span><span class="n" id="mwBjI">Base</span><span class="o" id="mwBjM">::</span><span class="n" id="mwBjQ">Base</span><span class="p" id="mwBjU">;</span> <span class="p" id="mwBjY">};</span>For member initialization, C++11 allows this syntax:
<span id="mwBjo"></span><span class="k" id="mwBjs">class</span><span class="w" id="mwBjw"> </span><span class="nc" id="mwBj0">Integer</span><span class="w" id="mwBj4"> </span><span class="p" id="mwBj8">{</span> <span class="k" id="mwBkA">private</span><span class="o" id="mwBkE">:</span> <span class="w" id="mwBkI"> </span><span class="kt" id="mwBkM">int</span><span class="w" id="mwBkQ"> </span><span class="n" id="mwBkU">value</span><span class="w" id="mwBkY"> </span><span class="o" id="mwBkc">=</span><span class="w" id="mwBkg"> </span><span class="mi" id="mwBkk">5</span><span class="p" id="mwBko">;</span> <span class="k" id="mwBks">public</span><span class="o" id="mwBkw">:</span> <span class="w" id="mwBk0"> </span><span class="n" id="mwBk4">Integer</span><span class="p" id="mwBk8">()</span><span class="w" id="mwBlA"> </span><span class="p" id="mwBlE">{}</span> <span class="w" id="mwBlI"> </span><span class="k" id="mwBlM">explicit</span><span class="w" id="mwBlQ"> </span><span class="n" id="mwBlU">Integer</span><span class="p" id="mwBlY">(</span><span class="kt" id="mwBlc">int</span><span class="w" id="mwBlg"> </span><span class="n" id="mwBlk">value</span><span class="p" id="mwBlo">)</span><span class="o" id="mwBls">:</span><span class="w" id="mwBlw"> </span> <span class="w" id="mwBl0"> </span><span class="n" id="mwBl4">value</span><span class="p" id="mwBl8">(</span><span class="n" id="mwBmA">value</span><span class="p" id="mwBmE">)</span><span class="w" id="mwBmI"> </span><span class="p" id="mwBmM">{}</span> <span class="p" id="mwBmQ">};</span>Any constructor of the class will initialize value with 5, if the constructor does not override the initialization with its own. So the above empty constructor will initialize value as the class definition states, but the constructor that takes an int will initialize it to the given parameter.
It can also use constructor or uniform initialization, instead of the assignment initialization shown above.
Explicit overrides and final
In C++03, it is possible to accidentally create a new virtual function, when one intended to override a base class function. For example:
<span id="mwBm0"></span><span class="k" id="mwBm4">struct</span><span class="w" id="mwBm8"> </span><span class="nc" id="mwBnA">Base</span><span class="w" id="mwBnE"> </span><span class="p" id="mwBnI">{</span> <span class="w" id="mwBnM"> </span><span class="k" id="mwBnQ">virtual</span><span class="w" id="mwBnU"> </span><span class="kt" id="mwBnY">void</span><span class="w" id="mwBnc"> </span><span class="nf" id="mwBng">foo</span><span class="p" id="mwBnk">(</span><span class="kt" id="mwBno">float</span><span class="w" id="mwBns"> </span><span class="n" id="mwBnw">x</span><span class="p" id="mwBn0">);</span> <span class="p" id="mwBn4">};</span> <span class="k" id="mwBn8">struct</span><span class="w" id="mwBoA"> </span><span class="nc" id="mwBoE">Derived</span><span class="w" id="mwBoI"> </span><span class="o" id="mwBoM">:</span><span class="w" id="mwBoQ"> </span><span class="k" id="mwBoU">public</span><span class="w" id="mwBoY"> </span><span class="n" id="mwBoc">Base</span><span class="w" id="mwBog"> </span><span class="p" id="mwBok">{</span> <span class="w" id="mwBoo"> </span><span class="k" id="mwBos">virtual</span><span class="w" id="mwBow"> </span><span class="kt" id="mwBo0">void</span><span class="w" id="mwBo4"> </span><span class="nf" id="mwBo8">foo</span><span class="p" id="mwBpA">(</span><span class="kt" id="mwBpE">int</span><span class="w" id="mwBpI"> </span><span class="n" id="mwBpM">x</span><span class="p" id="mwBpQ">);</span> <span class="p" id="mwBpU">};</span>Suppose the Derived::foo() is intended to replace the base class version. But instead, because it has a different signature, it creates a second virtual function. This is a common problem, particularly when a user goes to modify the base class.
C++11 provides syntax to solve this problem.
<span id="mwBpw"></span><span class="k" id="mwBp0">struct</span><span class="w" id="mwBp4"> </span><span class="nc" id="mwBp8">Base</span><span class="w" id="mwBqA"> </span><span class="p" id="mwBqE">{</span> <span class="w" id="mwBqI"> </span><span class="k" id="mwBqM">virtual</span><span class="w" id="mwBqQ"> </span><span class="kt" id="mwBqU">void</span><span class="w" id="mwBqY"> </span><span class="nf" id="mwBqc">foo</span><span class="p" id="mwBqg">(</span><span class="kt" id="mwBqk">float</span><span class="w" id="mwBqo"> </span><span class="n" id="mwBqs">x</span><span class="p" id="mwBqw">);</span> <span class="p" id="mwBq0">};</span> <span class="k" id="mwBq4">struct</span><span class="w" id="mwBq8"> </span><span class="nc" id="mwBrA">Derived</span><span class="w" id="mwBrE"> </span><span class="o" id="mwBrI">:</span><span class="w" id="mwBrM"> </span><span class="k" id="mwBrQ">public</span><span class="w" id="mwBrU"> </span><span class="n" id="mwBrY">Base</span><span class="w" id="mwBrc"> </span><span class="p" id="mwBrg">{</span> <span class="w" id="mwBrk"> </span><span class="k" id="mwBro">virtual</span><span class="w" id="mwBrs"> </span><span class="kt" id="mwBrw">void</span><span class="w" id="mwBr0"> </span><span class="nf" id="mwBr4">foo</span><span class="p" id="mwBr8">(</span><span class="kt" id="mwBsA">int</span><span class="w" id="mwBsE"> </span><span class="n" id="mwBsI">x</span><span class="p" id="mwBsM">)</span><span class="w" id="mwBsQ"> </span><span class="k" id="mwBsU">override</span><span class="p" id="mwBsY">;</span><span class="w" id="mwBsc"> </span><span class="c1" id="mwBsg">// ill-formed - doesn't override a base class method</span> <span class="p" id="mwBsk">};</span>The override special identifier means that the compiler will check the base class(es) to see if there is a virtual function with this exact signature. And if there is not, the compiler will indicate an error.
C++11 also adds the ability to prevent inheriting from classes or simply preventing overriding methods in derived classes. This is done with the special identifier final. For example:
<span id="mwBtA"></span><span class="k" id="mwBtE">struct</span><span class="w" id="mwBtI"> </span><span class="nc" id="mwBtM">Base</span><span class="w" id="mwBtQ"> </span><span class="k" id="mwBtU">final</span><span class="w" id="mwBtY"> </span><span class="p" id="mwBtc">{</span> <span class="w" id="mwBtg"> </span><span class="c1" id="mwBtk">// ...</span> <span class="p" id="mwBto">};</span> <span class="c1" id="mwBts">// ill-formed because the class Base has been marked final</span> <span class="k" id="mwBtw">struct</span><span class="w" id="mwBt0"> </span><span class="nc" id="mwBt4">Derived</span><span class="w" id="mwBt8"> </span><span class="o" id="mwBuA">:</span><span class="w" id="mwBuE"> </span><span class="k" id="mwBuI">public</span><span class="w" id="mwBuM"> </span><span class="n" id="mwBuQ">Base</span><span class="w" id="mwBuU"> </span><span class="p" id="mwBuY">{</span> <span class="w" id="mwBuc"> </span><span class="c1" id="mwBug">// ...</span> <span class="p" id="mwBuk">};</span><span id="mwBuw"></span><span class="k" id="mwBu0">struct</span><span class="w" id="mwBu4"> </span><span class="nc" id="mwBu8">Base</span><span class="w" id="mwBvA"> </span><span class="p" id="mwBvE">{</span> <span class="w" id="mwBvI"> </span><span class="k" id="mwBvM">virtual</span><span class="w" id="mwBvQ"> </span><span class="kt" id="mwBvU">void</span><span class="w" id="mwBvY"> </span><span class="nf" id="mwBvc">foo</span><span class="p" id="mwBvg">()</span><span class="w" id="mwBvk"> </span><span class="k" id="mwBvo">final</span><span class="p" id="mwBvs">;</span> <span class="p" id="mwBvw">};</span> <span class="k" id="mwBv0">struct</span><span class="w" id="mwBv4"> </span><span class="nc" id="mwBv8">Derived</span><span class="w" id="mwBwA"> </span><span class="o" id="mwBwE">:</span><span class="w" id="mwBwI"> </span><span class="k" id="mwBwM">public</span><span class="w" id="mwBwQ"> </span><span class="n" id="mwBwU">Base</span><span class="w" id="mwBwY"> </span><span class="p" id="mwBwc">{</span> <span class="w" id="mwBwg"> </span><span class="kt" id="mwBwk">void</span><span class="w" id="mwBwo"> </span><span class="nf" id="mwBws">foo</span><span class="p" id="mwBww">();</span><span class="w" id="mwBw0"> </span><span class="c1" id="mwBw4">// ill-formed because the virtual function Base::foo has been marked final</span> <span class="p" id="mwBw8">};</span>In this example, the virtual void foo() final; statement declares a new virtual function, but it also prevents derived classes from overriding it. It also has the effect of preventing derived classes from using that particular function name and parameter combination.
Neither override nor final are language keywords. They are technically identifiers for declarator attributes:
- they gain special meaning as attributes only when used in those specific trailing contexts (after all type specifiers, access specifiers, member declarations (for struct, class and enum types) and declarator specifiers, but before initialization or code implementation of each declarator in a comma-separated list of declarators);
- they do not alter the declared type signature and do not declare or override any new identifier in any scope;
- the recognized and accepted declarator attributes may be extended in future versions of C++ (some compiler-specific extensions already recognize added declarator attributes, to provide code generation options or optimization hints to the compiler, or to generate added data into the compiled code, intended for debuggers, linkers, and deployment of the compiled code, or to provide added system-specific security attributes, or to enhance reflective programming (reflection) abilities at runtime, or to provide added binding information for interoperability with other programming languages and runtime systems; these extensions may take parameters between parentheses after the declarator attribute identifier; for ANSI conformance, these compiler-specific extensions should use the double underscore prefix convention).
- In any other location, they can be valid identifiers for new declarations (and later use if they are accessible).
Null pointer constant and type
For the purposes of this section and this section alone, every occurrence of "0" is meant as "a constant expression which evaluates to 0, which is of type int". In reality, the constant expression can be of any integral type.
Since the dawn of C in 1972, the constant 0 has had the double role of constant integer and null pointer constant. The ambiguity inherent in the double meaning of 0 was dealt with in C by using the preprocessor macro NULL, which commonly expands to either ((void*)0) or 0. C++ forbids implicit conversion from void* to other pointer types, thus removing the benefit of casting 0 to void*. As a consequence, only 0 is allowed as a null pointer constant. This interacts poorly with function overloading:
<span id="mwBzQ"></span><span class="kt" id="mwBzU">void</span><span class="w" id="mwBzY"> </span><span class="nf" id="mwBzc">foo</span><span class="p" id="mwBzg">(</span><span class="kt" id="mwBzk">char</span><span class="o" id="mwBzo">*</span><span class="w" id="mwBzs"> </span><span class="n" id="mwBzw">s</span><span class="p" id="mwBz0">);</span> <span class="kt" id="mwBz4">void</span><span class="w" id="mwBz8"> </span><span class="nf" id="mwB0A">foo</span><span class="p" id="mwB0E">(</span><span class="kt" id="mwB0I">int</span><span class="w" id="mwB0M"> </span><span class="n" id="mwB0Q">i</span><span class="p" id="mwB0U">);</span>
If NULL is defined as 0 (which is usually the case in C++), the statement foo(NULL); will call foo(int i), which is almost certainly not what the programmer intended, and not what a superficial reading of the code suggests.
C++11 corrects this by introducing a new keyword to serve as a distinguished null pointer constant: nullptr. It is of type nullptr_t, which is implicitly convertible and comparable to any pointer type or pointer-to-member type. It is not implicitly convertible or comparable to integral types, except for bool. While the original proposal specified that an rvalue of type nullptr_t should not be convertible to bool, the core language working group decided that such a conversion would be desirable, for consistency with regular pointer types. The proposed wording changes were unanimously voted into the Working Paper in June 2008. A similar proposal was also brought to the C standard working group and was accepted for inclusion in C23.
For backwards compatibility reasons, 0 remains a valid null pointer constant.
<span id="mwB2Q"></span><span class="kt" id="mwB2U">char</span><span class="o" id="mwB2Y">*</span><span class="w" id="mwB2c"> </span><span class="n" id="mwB2g">pc</span><span class="w" id="mwB2k"> </span><span class="o" id="mwB2o">=</span><span class="w" id="mwB2s"> </span><span class="nb" id="mwB2w">nullptr</span><span class="p" id="mwB20">;</span><span class="w" id="mwB24"> </span><span class="c1" id="mwB28">// OK</span> <span class="kt" id="mwB3A">int</span><span class="o" id="mwB3E">*</span><span class="w" id="mwB3I"> </span><span class="n" id="mwB3M">pi</span><span class="w" id="mwB3Q"> </span><span class="o" id="mwB3U">=</span><span class="w" id="mwB3Y"> </span><span class="nb" id="mwB3c">nullptr</span><span class="p" id="mwB3g">;</span><span class="w" id="mwB3k"> </span><span class="c1" id="mwB3o">// OK</span> <span class="kt" id="mwB3s">bool</span><span class="w" id="mwB3w"> </span><span class="n" id="mwB30">b</span><span class="w" id="mwB34"> </span><span class="o" id="mwB38">=</span><span class="w" id="mwB4A"> </span><span class="nb" id="mwB4E">nullptr</span><span class="p" id="mwB4I">;</span><span class="w" id="mwB4M"> </span><span class="c1" id="mwB4Q">// OK. b is false.</span> <span class="kt" id="mwB4U">int</span><span class="w" id="mwB4Y"> </span><span class="n" id="mwB4c">i</span><span class="w" id="mwB4g"> </span><span class="o" id="mwB4k">=</span><span class="w" id="mwB4o"> </span><span class="nb" id="mwB4s">nullptr</span><span class="p" id="mwB4w">;</span><span class="w" id="mwB40"> </span><span class="c1" id="mwB44">// error</span> <span class="n" id="mwB48">foo</span><span class="p" id="mwB5A">(</span><span class="nb" id="mwB5E">nullptr</span><span class="p" id="mwB5I">);</span><span class="w" id="mwB5M"> </span><span class="c1" id="mwB5Q">// calls foo(nullptr_t p), not foo(int i);</span> <span class="cm" id="mwB5U">/*</span> <span class="cm" id="mwB5Y"> Note that foo(nullptr_t p) will actually call foo(char* s) in the example above using an implicit conversion,</span> <span class="cm" id="mwB5c"> only if no other functions are overloading with compatible pointer types in scope.</span> <span class="cm" id="mwB5g"> If multiple overloadings exist, the resolution will fail as it is ambiguous,</span> <span class="cm" id="mwB5k"> unless there is an explicit declaration of foo(nullptr_t p).</span> <span class="cm" id="mwB5o"> In standard types headers for C++11, the nullptr_t type should be declared as:</span> <span class="cm" id="mwB5s"> using nullptr_t = decltype(nullptr);</span> <span class="cm" id="mwB5w"> but not as:</span> <span class="cm" id="mwB50"> using nullptr_t = int; // prior versions of C++ which need NULL to be defined as 0</span> <span class="cm" id="mwB54"> using nullptr_t = void*; // ANSI C which defines NULL as ((void*)0)</span> <span class="cm" id="mwB58">*/</span>
Strongly typed enumerations
In C++03, enumerations are not type-safe. They are effectively integers, even when the enumeration types are distinct. This allows the comparison between two enum values of different enumeration types. The only safety that C++03 provides is that an integer or a value of one enum type does not convert implicitly to another enum type. Further, the underlying integral type is implementation-defined; code that depends on the size of the enumeration is thus non-portable. Lastly, enumeration values are scoped to the enclosing scope. Thus, it is not possible for two separate enumerations in the same scope to have matching member names.
C++11 allows a special classification of enumeration that has none of these issues. This is expressed using the enum class (enum struct is also accepted as a synonym) declaration:
<span id="mwB6c"></span><span class="k" id="mwB6g">enum</span><span class="w" id="mwB6k"> </span><span class="k" id="mwB6o">class</span><span class="w" id="mwB6s"> </span><span class="nc" id="mwB6w">CardSuit</span><span class="w" id="mwB60"> </span><span class="p" id="mwB64">{</span> <span class="w" id="mwB68"> </span><span class="n" id="mwB7A">CLUBS</span><span class="w" id="mwB7E"> </span><span class="o" id="mwB7I">=</span><span class="w" id="mwB7M"> </span><span class="mi" id="mwB7Q">1</span><span class="p" id="mwB7U">,</span> <span class="w" id="mwB7Y"> </span><span class="n" id="mwB7c">HEARTS</span><span class="w" id="mwB7g"> </span><span class="o" id="mwB7k">=</span><span class="w" id="mwB7o"> </span><span class="mi" id="mwB7s">2</span><span class="p" id="mwB7w">,</span> <span class="w" id="mwB70"> </span><span class="n" id="mwB74">DIAMONDS</span><span class="w" id="mwB78"> </span><span class="o" id="mwB8A">=</span><span class="w" id="mwB8E"> </span><span class="mi" id="mwB8I">4</span><span class="p" id="mwB8M">,</span> <span class="w" id="mwB8Q"> </span><span class="n" id="mwB8U">SPADES</span><span class="w" id="mwB8Y"> </span><span class="o" id="mwB8c">=</span><span class="w" id="mwB8g"> </span><span class="mi" id="mwB8k">8</span> <span class="p" id="mwB8o">};</span>This enumeration is type-safe. Enum class values are not implicitly converted to integers. Thus, they cannot be compared to integers either (the expression CardSuit::SPADES == 8 gives a compile error).
The underlying type of enum classes is always known. The default type is int; this can be overridden to a different integral type as can be seen in this example:
<span id="mwB9g"></span><span class="k" id="mwB9k">enum</span><span class="w" id="mwB9o"> </span><span class="k" id="mwB9s">class</span><span class="w" id="mwB9w"> </span><span class="nc" id="mwB90">Direction</span><span class="w" id="mwB94"> </span><span class="o" id="mwB98">:</span><span class="w" id="mwB-A"> </span><span class="kt" id="mwB-E">char</span><span class="w" id="mwB-I"> </span><span class="p" id="mwB-M">{</span> <span class="w" id="mwB-Q"> </span><span class="n" id="mwB-U">UP</span><span class="p" id="mwB-Y">,</span><span class="w" id="mwB-c"> </span> <span class="w" id="mwB-g"> </span><span class="n" id="mwB-k">DOWN</span><span class="p" id="mwB-o">,</span> <span class="w" id="mwB-s"> </span><span class="n" id="mwB-w">LEFT</span><span class="p" id="mwB-0">,</span> <span class="w" id="mwB-4"> </span><span class="n" id="mwB-8">RIGHT</span> <span class="p" id="mwB_A">};</span>With old-style enumerations the values are placed in the outer scope. With new-style enumerations they are placed within the scope of the enum class name. So in the above example, UP is undefined, but Direction::UP is defined.
There is also a transitional syntax to allow old-style enumerations to provide explicit scoping, and the definition of the underlying type:
<span id="mwB_c"></span><span class="k" id="mwB_g">enum</span><span class="w" id="mwB_k"> </span><span class="nc" id="mwB_o">Direction</span><span class="w" id="mwB_s"> </span><span class="o" id="mwB_w">:</span><span class="w" id="mwB_0"> </span><span class="kt" id="mwB_4">char</span><span class="w" id="mwB_8"> </span><span class="p" id="mwCAA">{</span> <span class="w" id="mwCAE"> </span><span class="n" id="mwCAI">UP</span><span class="p" id="mwCAM">,</span><span class="w" id="mwCAQ"> </span> <span class="w" id="mwCAU"> </span><span class="n" id="mwCAY">DOWN</span><span class="p" id="mwCAc">,</span> <span class="w" id="mwCAg"> </span><span class="n" id="mwCAk">LEFT</span><span class="p" id="mwCAo">,</span> <span class="w" id="mwCAs"> </span><span class="n" id="mwCAw">RIGHT</span> <span class="p" id="mwCA0">};</span>In this case the enumerator names are defined in the enumeration's scope (Direction::UP), but for backwards compatibility they are also placed in the enclosing scope.
Forward-declaring enums is also possible in C++11. Formerly, enum types could not be forward-declared because the size of the enumeration depends on the definition of its members. As long as the size of the enumeration is specified either implicitly or explicitly, it can be forward-declared:
<span id="mwCBM"></span><span class="k" id="mwCBQ">enum</span><span class="w" id="mwCBU"> </span><span class="nc" id="mwCBY">Enum1</span><span class="p" id="mwCBc">;</span><span class="w" id="mwCBg"> </span><span class="c1" id="mwCBk">// Invalid in C++03 and C++11; the underlying type cannot be determined.</span> <span class="k" id="mwCBo">enum</span><span class="w" id="mwCBs"> </span><span class="nc" id="mwCBw">Enum2</span><span class="w" id="mwCB0"> </span><span class="o" id="mwCB4">:</span><span class="w" id="mwCB8"> </span><span class="kt" id="mwCCA">unsigned</span><span class="w" id="mwCCE"> </span><span class="kt" id="mwCCI">int</span><span class="p" id="mwCCM">;</span><span class="w" id="mwCCQ"> </span><span class="c1" id="mwCCU">// Valid in C++11, the underlying type is specified explicitly.</span> <span class="k" id="mwCCY">enum</span><span class="w" id="mwCCc"> </span><span class="k" id="mwCCg">class</span><span class="w" id="mwCCk"> </span><span class="nc" id="mwCCo">Enum3</span><span class="p" id="mwCCs">;</span><span class="w" id="mwCCw"> </span><span class="c1" id="mwCC0">// Valid in C++11, the underlying type is int.</span> <span class="k" id="mwCC4">enum</span><span class="w" id="mwCC8"> </span><span class="k" id="mwCDA">class</span><span class="w" id="mwCDE"> </span><span class="nc" id="mwCDI">Enum4</span><span class="w" id="mwCDM"> </span><span class="o" id="mwCDQ">:</span><span class="w" id="mwCDU"> </span><span class="kt" id="mwCDY">unsigned</span><span class="w" id="mwCDc"> </span><span class="kt" id="mwCDg">int</span><span class="p" id="mwCDk">;</span><span class="w" id="mwCDo"> </span><span class="c1" id="mwCDs">// Valid in C++11.</span> <span class="k" id="mwCDw">enum</span><span class="w" id="mwCD0"> </span><span class="nc" id="mwCD4">Enum2</span><span class="w" id="mwCD8"> </span><span class="o" id="mwCEA">:</span><span class="w" id="mwCEE"> </span><span class="kt" id="mwCEI">unsigned</span><span class="w" id="mwCEM"> </span><span class="kt" id="mwCEQ">short</span><span class="p" id="mwCEU">;</span><span class="w" id="mwCEY"> </span><span class="c1" id="mwCEc">// Invalid in C++11, because Enum2 was formerly declared with a different underlying type.</span>
Right angle bracket
C++03's parser defines “>>” as the right shift operator or stream extraction operator in all cases. However, with nested template declarations, there is a tendency for the programmer to neglect to place a space between the two right angle brackets, thus causing a compiler syntax error.
C++11 improves the specification of the parser so that multiple right angle brackets will be interpreted as closing the template argument list where it is reasonable. This can be overridden by using parentheses around parameter expressions using the “>”, “>=” or “>>” binary operators:
<span id="mwCFc"></span><span class="k" id="mwCFg">using</span><span class="w" id="mwCFk"> </span><span class="n" id="mwCFo">std</span><span class="o" id="mwCFs">::</span><span class="n" id="mwCFw">vector</span><span class="p" id="mwCF0">;</span> <span class="k" id="mwCF4">template</span><span class="w" id="mwCF8"> </span><span class="o" id="mwCGA"><</span><span class="kt" id="mwCGE">bool</span><span class="w" id="mwCGI"> </span><span class="n" id="mwCGM">Test</span><span class="o" id="mwCGQ">></span><span class="w" id="mwCGU"> </span> <span class="k" id="mwCGY">class</span><span class="w" id="mwCGc"> </span><span class="nc" id="mwCGg">X</span><span class="p" id="mwCGk">;</span> <span class="n" id="mwCGo">vector</span><span class="o" id="mwCGs"><</span><span class="n" id="mwCGw">X</span><span class="o" id="mwCG0"><</span><span class="mi" id="mwCG4">1</span><span class="o" id="mwCG8">></span><span class="mi" id="mwCHA">2</span><span class="o" id="mwCHE">>></span><span class="w" id="mwCHI"> </span><span class="n" id="mwCHM">x1</span><span class="p" id="mwCHQ">;</span><span class="w" id="mwCHU"> </span> <span class="c1" id="mwCHY">// Interpreted as a std::vector of X<true>,</span> <span class="c1" id="mwCHc">// followed by "2 >> x1", which is not valid syntax for a declarator. 1 is true.</span> <span class="n" id="mwCHg">vector</span><span class="o" id="mwCHk"><</span><span class="n" id="mwCHo">X</span><span class="o" id="mwCHs"><</span><span class="p" id="mwCHw">(</span><span class="mi" id="mwCH0">1</span><span class="o" id="mwCH4">></span><span class="mi" id="mwCH8">2</span><span class="p" id="mwCIA">)</span><span class="o" id="mwCIE">>></span><span class="w" id="mwCII"> </span><span class="n" id="mwCIM">x1</span><span class="p" id="mwCIQ">;</span> <span class="c1" id="mwCIU">// Interpreted as std::vector of X<false>,</span> <span class="c1" id="mwCIY">// followed by the declarator "x1", which is valid C++11 syntax. (1>2) is false.</span>
Explicit conversion operators
C++98 added the explicit keyword as a modifier on constructors to prevent single-argument constructors from being used as implicit type conversion operators. However, this does nothing for actual conversion operators. For example, a smart pointer class may have an operator bool() to allow it to act more like a primitive pointer: if it includes this conversion, it can be tested with if (p) (which would be true if the pointer was non-null and false otherwise). However, this allows other, unintended conversions as well. Because C++ bool is defined as an arithmetic type, it can be implicitly converted to integral or even floating-point types, which allows for mathematical operations that are not intended by the user.
In C++11, the explicit keyword can now be applied to conversion operators. As with constructors, it prevents using those conversion functions in implicit conversions. However, language contexts that specifically need a Boolean value (the conditions of if-statements and loops, and operands to the logical operators) count as explicit conversions and can thus use a bool conversion operator.
For example, this feature solves cleanly the safe bool issue.
Template aliases
In C++03, it is possible to define a typedef only as a synonym for another type, including a synonym for a template specialization with all actual template arguments specified. It is not possible to create a typedef template. For example:
<span id="mwCJ4"></span><span class="k" id="mwCJ8">template</span><span class="w" id="mwCKA"> </span><span class="o" id="mwCKE"><</span><span class="k" id="mwCKI">typename</span><span class="w" id="mwCKM"> </span><span class="nc" id="mwCKQ">First</span><span class="p" id="mwCKU">,</span><span class="w" id="mwCKY"> </span><span class="k" id="mwCKc">typename</span><span class="w" id="mwCKg"> </span><span class="nc" id="mwCKk">Second</span><span class="p" id="mwCKo">,</span><span class="w" id="mwCKs"> </span><span class="kt" id="mwCKw">int</span><span class="w" id="mwCK0"> </span><span class="n" id="mwCK4">Third</span><span class="o" id="mwCK8">></span> <span class="k" id="mwCLA">class</span><span class="w" id="mwCLE"> </span><span class="nc" id="mwCLI">X</span><span class="p" id="mwCLM">;</span> <span class="k" id="mwCLQ">template</span><span class="w" id="mwCLU"> </span><span class="o" id="mwCLY"><</span><span class="k" id="mwCLc">typename</span><span class="w" id="mwCLg"> </span><span class="nc" id="mwCLk">Second</span><span class="o" id="mwCLo">></span> <span class="k" id="mwCLs">typedef</span><span class="w" id="mwCLw"> </span><span class="n" id="mwCL0">X</span><span class="o" id="mwCL4"><</span><span class="n" id="mwCL8">A</span><span class="p" id="mwCMA">,</span><span class="w" id="mwCME"> </span><span class="n" id="mwCMI">Second</span><span class="p" id="mwCMM">,</span><span class="w" id="mwCMQ"> </span><span class="mi" id="mwCMU">5</span><span class="o" id="mwCMY">></span><span class="w" id="mwCMc"> </span><span class="n" id="mwCMg">Y</span><span class="p" id="mwCMk">;</span><span class="w" id="mwCMo"> </span><span class="c1" id="mwCMs">// Invalid in C++03</span>
This will not compile.
C++11 adds this ability with this syntax:
<span id="mwCNA"></span><span class="k" id="mwCNE">template</span><span class="w" id="mwCNI"> </span><span class="o" id="mwCNM"><</span><span class="k" id="mwCNQ">typename</span><span class="w" id="mwCNU"> </span><span class="nc" id="mwCNY">First</span><span class="p" id="mwCNc">,</span><span class="w" id="mwCNg"> </span><span class="k" id="mwCNk">typename</span><span class="w" id="mwCNo"> </span><span class="nc" id="mwCNs">Second</span><span class="p" id="mwCNw">,</span><span class="w" id="mwCN0"> </span><span class="kt" id="mwCN4">int</span><span class="w" id="mwCN8"> </span><span class="n" id="mwCOA">Third</span><span class="o" id="mwCOE">></span> <span class="k" id="mwCOI">class</span><span class="w" id="mwCOM"> </span><span class="nc" id="mwCOQ">X</span><span class="p" id="mwCOU">;</span> <span class="k" id="mwCOY">template</span><span class="w" id="mwCOc"> </span><span class="o" id="mwCOg"><</span><span class="k" id="mwCOk">typename</span><span class="w" id="mwCOo"> </span><span class="nc" id="mwCOs">Second</span><span class="o" id="mwCOw">></span> <span class="k" id="mwCO0">using</span><span class="w" id="mwCO4"> </span><span class="n" id="mwCO8">Y</span><span class="w" id="mwCPA"> </span><span class="o" id="mwCPE">=</span><span class="w" id="mwCPI"> </span><span class="n" id="mwCPM">X</span><span class="o" id="mwCPQ"><</span><span class="n" id="mwCPU">A</span><span class="p" id="mwCPY">,</span><span class="w" id="mwCPc"> </span><span class="n" id="mwCPg">Second</span><span class="p" id="mwCPk">,</span><span class="w" id="mwCPo"> </span><span class="mi" id="mwCPs">5</span><span class="o" id="mwCPw">></span><span class="p" id="mwCP0">;</span>
The using syntax can also be used as type aliasing in C++11:
<span id="mwCQI"></span><span class="k" id="mwCQM">typedef</span><span class="w" id="mwCQQ"> </span><span class="kt" id="mwCQU">void</span><span class="p" id="mwCQY">(</span><span class="o" id="mwCQc">*</span><span class="n" id="mwCQg">FunctionType</span><span class="p" id="mwCQk">)(</span><span class="kt" id="mwCQo">double</span><span class="p" id="mwCQs">);</span><span class="w" id="mwCQw"> </span><span class="c1" id="mwCQ0">// Old style</span> <span class="k" id="mwCQ4">using</span><span class="w" id="mwCQ8"> </span><span class="n" id="mwCRA">FunctionType</span><span class="w" id="mwCRE"> </span><span class="o" id="mwCRI">=</span><span class="w" id="mwCRM"> </span><span class="kt" id="mwCRQ">void</span><span class="p" id="mwCRU">(</span><span class="o" id="mwCRY">*</span><span class="p" id="mwCRc">)(</span><span class="kt" id="mwCRg">double</span><span class="p" id="mwCRk">);</span><span class="w" id="mwCRo"> </span><span class="c1" id="mwCRs">// New introduced syntax</span>
Unrestricted unions
In C++03, there are restrictions on what types of objects can be members of a union. For example, unions cannot contain any objects that define a non-trivial constructor or destructor. C++11 lifts some of these restrictions.
If a union member has a non trivial special member function, the compiler will not generate the equivalent member function for the union and it must be manually defined.
This is a simple example of a union permitted in C++11:
<span id="mwCSY"></span><span class="cp" id="mwCSc">#include</span><span class="w" id="mwCSg"> </span><span class="cpf" id="mwCSk"><new></span><span class="w" id="mwCSo"> </span><span class="c1" id="mwCSs">// Needed for placement 'new'.</span> <span class="k" id="mwCSw">struct</span><span class="w" id="mwCS0"> </span><span class="nc" id="mwCS4">Point</span><span class="w" id="mwCS8"> </span><span class="p" id="mwCTA">{</span> <span class="w" id="mwCTE"> </span><span class="kt" id="mwCTI">int</span><span class="w" id="mwCTM"> </span><span class="n" id="mwCTQ">a</span><span class="p" id="mwCTU">;</span> <span class="w" id="mwCTY"> </span><span class="kt" id="mwCTc">int</span><span class="w" id="mwCTg"> </span><span class="n" id="mwCTk">b</span><span class="p" id="mwCTo">;</span> <span class="w" id="mwCTs"> </span><span class="n" id="mwCTw">Point</span><span class="p" id="mwCT0">()</span><span class="w" id="mwCT4"> </span><span class="p" id="mwCT8">{}</span> <span class="w" id="mwCUA"> </span><span class="n" id="mwCUE">Point</span><span class="p" id="mwCUI">(</span><span class="kt" id="mwCUM">int</span><span class="w" id="mwCUQ"> </span><span class="n" id="mwCUU">x</span><span class="p" id="mwCUY">,</span><span class="w" id="mwCUc"> </span><span class="kt" id="mwCUg">int</span><span class="w" id="mwCUk"> </span><span class="n" id="mwCUo">y</span><span class="p" id="mwCUs">)</span><span class="o" id="mwCUw">:</span><span class="w" id="mwCU0"> </span> <span class="w" id="mwCU4"> </span><span class="n" id="mwCU8">x</span><span class="p" id="mwCVA">(</span><span class="n" id="mwCVE">a</span><span class="p" id="mwCVI">),</span><span class="w" id="mwCVM"> </span><span class="n" id="mwCVQ">y</span><span class="p" id="mwCVU">(</span><span class="n" id="mwCVY">b</span><span class="p" id="mwCVc">)</span><span class="w" id="mwCVg"> </span><span class="p" id="mwCVk">{}</span><span class="w" id="mwCVo"> </span> <span class="p" id="mwCVs">};</span> <span class="k" id="mwCVw">union</span><span class="w" id="mwCV0"> </span><span class="nc" id="mwCV4">MyUnion</span><span class="w" id="mwCV8"> </span><span class="p" id="mwCWA">{</span> <span class="w" id="mwCWE"> </span><span class="kt" id="mwCWI">int</span><span class="w" id="mwCWM"> </span><span class="n" id="mwCWQ">z</span><span class="p" id="mwCWU">;</span> <span class="w" id="mwCWY"> </span><span class="kt" id="mwCWc">double</span><span class="w" id="mwCWg"> </span><span class="n" id="mwCWk">w</span><span class="p" id="mwCWo">;</span> <span class="w" id="mwCWs"> </span><span class="n" id="mwCWw">Point</span><span class="w" id="mwCW0"> </span><span class="n" id="mwCW4">p</span><span class="p" id="mwCW8">;</span><span class="w" id="mwCXA"> </span><span class="c1" id="mwCXE">// Invalid in C++03; valid in C++11.</span> <span class="w" id="mwCXI"> </span><span class="c1" id="mwCXM">// Due to the Point member, a constructor definition is now needed.</span> <span class="w" id="mwCXQ"> </span><span class="n" id="mwCXU">MyUnion</span><span class="p" id="mwCXY">()</span><span class="w" id="mwCXc"> </span><span class="p" id="mwCXg">{}</span> <span class="w" id="mwCXk"> </span><span class="n" id="mwCXo">MyUnion</span><span class="p" id="mwCXs">(</span><span class="k" id="mwCXw">const</span><span class="w" id="mwCX0"> </span><span class="n" id="mwCX4">Point</span><span class="o" id="mwCX8">&</span><span class="w" id="mwCYA"> </span><span class="n" id="mwCYE">pt</span><span class="p" id="mwCYI">)</span><span class="o" id="mwCYM">:</span><span class="w" id="mwCYQ"> </span> <span class="w" id="mwCYU"> </span><span class="n" id="mwCYY">p</span><span class="p" id="mwCYc">(</span><span class="n" id="mwCYg">pt</span><span class="p" id="mwCYk">)</span><span class="w" id="mwCYo"> </span><span class="p" id="mwCYs">{}</span><span class="w" id="mwCYw"> </span><span class="c1" id="mwCY0">// Construct Point object using initializer list.</span> <span class="w" id="mwCY4"> </span><span class="n" id="mwCY8">MyUnion</span><span class="o" id="mwCZA">&</span><span class="w" id="mwCZE"> </span><span class="k" id="mwCZI">operator</span><span class="o" id="mwCZM">=</span><span class="p" id="mwCZQ">(</span><span class="k" id="mwCZU">const</span><span class="w" id="mwCZY"> </span><span class="n" id="mwCZc">Point</span><span class="o" id="mwCZg">&</span><span class="w" id="mwCZk"> </span><span class="n" id="mwCZo">pt</span><span class="p" id="mwCZs">)</span><span class="w" id="mwCZw"> </span><span class="p" id="mwCZ0">{</span><span class="w" id="mwCZ4"> </span> <span class="w" id="mwCZ8"> </span><span class="c1" id="mwCaA">// Assign Point object using placement 'new'.</span> <span class="w" id="mwCaE"> </span><span class="k" id="mwCaI">new</span><span class="p" id="mwCaM">(</span><span class="o" id="mwCaQ">&</span><span class="n" id="mwCaU">p</span><span class="p" id="mwCaY">)</span><span class="w" id="mwCac"> </span><span class="n" id="mwCag">Point</span><span class="p" id="mwCak">(</span><span class="n" id="mwCao">pt</span><span class="p" id="mwCas">);</span> <span class="w" id="mwCaw"> </span><span class="k" id="mwCa0">return</span><span class="w" id="mwCa4"> </span><span class="o" id="mwCa8">*</span><span class="k" id="mwCbA">this</span><span class="p" id="mwCbE">;</span><span class="w" id="mwCbI"> </span> <span class="w" id="mwCbM"> </span><span class="p" id="mwCbQ">}</span> <span class="p" id="mwCbU">};</span>The changes will not break any existing code since they only relax current rules.
Core language functionality improvements
These features allow the language to do things that were formerly impossible, exceedingly verbose, or needed non-portable libraries.
Variadic templates
In C++11, templates can take variable numbers of template parameters. This also allows the definition of type-safe variadic functions.
New string literals
C++03 offers two kinds of string literals. The first kind, contained within double quotes, produces a null-terminated array of type const char. The second kind, defined as L"", produces a null-terminated array of type const wchar_t, where wchar_t is a wide-character of undefined size and semantics. Neither literal type offers support for string literals with UTF-8, UTF-16, or any other kind of Unicode encodings.
C++11 supports three Unicode encodings: UTF-8, UTF-16, and UTF-32. The definition of the type char has been modified to explicitly express that it is at least the size needed to store an eight-bit coding of UTF-8, and large enough to contain any member of the compiler's basic execution character set. It was formerly defined as only the latter in the C++ standard itself, then relying on the C standard to guarantee at least 8 bits. Furthermore, C++11 adds two new character types: char16_t and char32_t. These are designed to store UTF-16 and UTF-32 respectively.
Creating string literals for each of the supported encodings can be done thus:
<span id="mwCdE"></span><span class="sa" id="mwCdI">u8</span><span class="s" id="mwCdM">"I'm a UTF-8 string."</span> <span class="sa" id="mwCdQ">u</span><span class="s" id="mwCdU">"This is a UTF-16 string."</span> <span class="sa" id="mwCdY">U</span><span class="s" id="mwCdc">"This is a UTF-32 string."</span>
The type of the first string is the usual const char[]. The type of the second string is const char16_t[] (note lower case 'u' prefix). The type of the third string is const char32_t[] (upper case 'U' prefix).
When building Unicode string literals, it is often useful to insert Unicode code points directly into the string. To do this, C++11 allows this syntax:
<span id="mwCd8"></span><span class="sa" id="mwCeA">u8</span><span class="s" id="mwCeE">"This is a Unicode Character: </span><span class="se" id="mwCeI">\u2018</span><span class="s" id="mwCeM">."</span> <span class="sa" id="mwCeQ">u</span><span class="s" id="mwCeU">"This is a bigger Unicode Character: </span><span class="se" id="mwCeY">\u2018</span><span class="s" id="mwCec">."</span> <span class="sa" id="mwCeg">U</span><span class="s" id="mwCek">"This is a Unicode Character: </span><span class="se" id="mwCeo">\U00002018</span><span class="s" id="mwCes">."</span>
The number after the \u is a hexadecimal number; it does not need the usual 0x prefix. The identifier \u represents a 16-bit Unicode code point; to enter a 32-bit code point, use \U and a 32-bit hexadecimal number. Only valid Unicode code points can be entered. For example, code points on the range U+D800–U+DFFF are forbidden, as they are reserved for surrogate pairs in UTF-16 encodings.
It is also sometimes useful to avoid escaping strings manually, particularly for using literals of XML files, scripting languages, or regular expressions. C++11 provides a raw string literal:
<span id="mwCfU"></span><span class="sa" id="mwCfY">R</span><span class="s" id="mwCfc">"</span><span class="dl" id="mwCfg">(</span><span class="s" id="mwCfk">The String Data \ Stuff " </span><span class="dl" id="mwCfo">)</span><span class="s" id="mwCfs">"</span> <span class="sa" id="mwCfw">R</span><span class="s" id="mwCf0">"</span><span class="dl" id="mwCf4">delimiter(</span><span class="s" id="mwCf8">The String Data \ Stuff " </span><span class="dl" id="mwCgA">)delimiter</span><span class="s" id="mwCgE">"</span>
In the first case, everything between the "( and the )" is part of the string. The " and \ characters do not need to be escaped. In the second case, the "delimiter( starts the string, and it ends only when )delimiter" is reached. The string delimiter can be any string up to 16 characters in length, including the empty string. This string cannot contain spaces, control characters, (, ), or the \ character. Using this delimiter string, the user can have the sequence )" within raw string literals. For example, R"delimiter("(a-z)")delimiter" is equivalent to "\"(a-z)\"".
Raw string literals can be combined with the wide literal or any of the Unicode literal prefixes:
<span id="mwChk"></span><span class="sa" id="mwCho">u8R</span><span class="s" id="mwChs">"</span><span class="dl" id="mwChw">XXX(</span><span class="s" id="mwCh0">I'm a "raw UTF-8" string.</span><span class="dl" id="mwCh4">)XXX</span><span class="s" id="mwCh8">"</span> <span class="sa" id="mwCiA">uR</span><span class="s" id="mwCiE">"</span><span class="dl" id="mwCiI">*(</span><span class="s" id="mwCiM">This is a "raw UTF-16" string.</span><span class="dl" id="mwCiQ">)*</span><span class="s" id="mwCiU">"</span> <span class="sa" id="mwCiY">UR</span><span class="s" id="mwCic">"</span><span class="dl" id="mwCig">(</span><span class="s" id="mwCik">This is a "raw UTF-32" string.</span><span class="dl" id="mwCio">)</span><span class="s" id="mwCis">"</span>
User-defined literals
C++03 provides a number of literals. The characters 12.5 are a literal that is resolved by the compiler as a type double with the value of 12.5. However, the addition of the suffix f, as in 12.5f, creates a value of type float that contains the value 12.5. The suffix modifiers for literals are fixed by the C++ specification, and C++03 code cannot create new literal modifiers.
By contrast, C++11 enables the user to define new kinds of literal modifiers that will construct objects based on the string of characters that the literal modifies.
Transformation of literals is redefined into two distinct phases: raw and cooked. A raw literal is a sequence of characters of some specific type, while the cooked literal is of a separate type. The C++ literal 1234, as a raw literal, is this sequence of characters '1', '2', '3', '4'. As a cooked literal, it is the integer 1234. The C++ literal 0xA in raw form is '0', 'x', 'A', while in cooked form it is the integer 10.
Literals can be extended in both raw and cooked forms, with the exception of string literals, which can be processed only in cooked form. This exception is due to the fact that strings have prefixes that affect the specific meaning and type of the characters in question.
All user-defined literals are suffixes; defining prefix literals is not possible. All suffixes starting with any character except underscore (_) are reserved by the standard. Thus, all user-defined literals should have suffixes starting with an underscore (_).
User-defined literals processing the raw form of the literal are defined via a literal operator, which is written as operator"". An example follows:
<span id="mwCko"></span><span class="n" id="mwCks">MyOutput</span><span class="w" id="mwCkw"> </span><span class="k" id="mwCk0">operator</span><span class="s" id="mwCk4">""</span><span class="n" id="mwCk8">_suf</span><span class="p" id="mwClA">(</span><span class="k" id="mwClE">const</span><span class="w" id="mwClI"> </span><span class="kt" id="mwClM">char</span><span class="o" id="mwClQ">*</span><span class="w" id="mwClU"> </span><span class="n" id="mwClY">s</span><span class="p" id="mwClc">)</span><span class="w" id="mwClg"> </span><span class="p" id="mwClk">{</span> <span class="w" id="mwClo"> </span><span class="c1" id="mwCls">// assumes that MyOutput has a constructor that takes a const char*</span> <span class="w" id="mwClw"> </span><span class="n" id="mwCl0">MyOutput</span><span class="w" id="mwCl4"> </span><span class="nf" id="mwCl8">ret</span><span class="p" id="mwCmA">(</span><span class="n" id="mwCmE">s</span><span class="p" id="mwCmI">);</span> <span class="w" id="mwCmM"> </span><span class="k" id="mwCmQ">return</span><span class="w" id="mwCmU"> </span><span class="n" id="mwCmY">ret</span><span class="p" id="mwCmc">;</span> <span class="p" id="mwCmg">}</span> <span class="n" id="mwCmk">MyOutput</span><span class="w" id="mwCmo"> </span><span class="n" id="mwCms">x</span><span class="w" id="mwCmw"> </span><span class="o" id="mwCm0">=</span><span class="w" id="mwCm4"> </span><span class="mi" id="mwCm8">1234</span><span class="n" id="mwCnA">_suf</span><span class="p" id="mwCnE">;</span> <span class="c1" id="mwCnI">// assuming that MyOutput has a value() method that returns a double</span> <span class="n" id="mwCnM">assert</span><span class="p" id="mwCnQ">(</span><span class="n" id="mwCnU">x</span><span class="p" id="mwCnY">.</span><span class="n" id="mwCnc">value</span><span class="p" id="mwCng">()</span><span class="w" id="mwCnk"> </span><span class="o" id="mwCno">==</span><span class="w" id="mwCns"> </span><span class="mf" id="mwCnw">1234.0</span><span class="p" id="mwCn0">)</span>The assignment statement MyOutput x = 1234_suf; executes the code defined by the user-defined literal function. This function is passed "1234" as a C-style string, so it has a null terminator.
An alternative mechanism for processing integer and floating point raw literals is via a variadic template:
<span id="mwCo4"></span><span class="k" id="mwCo8">template</span><span class="w" id="mwCpA"> </span><span class="o" id="mwCpE"><</span><span class="kt" id="mwCpI">char</span><span class="p" id="mwCpM">...</span><span class="w" id="mwCpQ"> </span><span class="n" id="mwCpU">_</span><span class="o" id="mwCpY">></span><span class="w" id="mwCpc"> </span> <span class="n" id="mwCpg">MyOutput</span><span class="w" id="mwCpk"> </span><span class="k" id="mwCpo">operator</span><span class="s" id="mwCps">""</span><span class="n" id="mwCpw">_suf</span><span class="p" id="mwCp0">();</span> <span class="n" id="mwCp4">MyOutput</span><span class="w" id="mwCp8"> </span><span class="n" id="mwCqA">x</span><span class="w" id="mwCqE"> </span><span class="o" id="mwCqI">=</span><span class="w" id="mwCqM"> </span><span class="mi" id="mwCqQ">1234</span><span class="n" id="mwCqU">_suf</span><span class="p" id="mwCqY">;</span> <span class="n" id="mwCqc">MyOutput</span><span class="w" id="mwCqg"> </span><span class="n" id="mwCqk">y</span><span class="w" id="mwCqo"> </span><span class="o" id="mwCqs">=</span><span class="w" id="mwCqw"> </span><span class="mf" id="mwCq0">2.17</span><span class="n" id="mwCq4">_suf</span><span class="p" id="mwCq8">;</span>
This instantiates the literal processing function as operator""_suf<'1', '2', '3', '4'>(). In this form, there is no null character terminating the string. The main purpose for doing this is to use C++11's constexpr keyword to ensure that the compiler will transform the literal entirely at compile time, assuming MyOutput is a constexpr-constructible and copyable type, and the literal processing function is a constexpr function.
For numeric literals, the type of the cooked literal is either unsigned long long for integral literals or long double for floating point literals. (Note: There is no need for signed integral types because a sign-prefixed literal is parsed as an expression containing the sign as a unary prefix operator and the unsigned number.) There is no alternative template form:
<span id="mwCso"></span><span class="n" id="mwCss">MyOutput</span><span class="w" id="mwCsw"> </span><span class="k" id="mwCs0">operator</span><span class="s" id="mwCs4">""</span><span class="n" id="mwCs8">_suf</span><span class="p" id="mwCtA">(</span><span class="kt" id="mwCtE">unsigned</span><span class="w" id="mwCtI"> </span><span class="kt" id="mwCtM">long</span><span class="w" id="mwCtQ"> </span><span class="kt" id="mwCtU">long</span><span class="p" id="mwCtY">);</span> <span class="n" id="mwCtc">MyOutput</span><span class="w" id="mwCtg"> </span><span class="k" id="mwCtk">operator</span><span class="s" id="mwCto">""</span><span class="n" id="mwCts">_suf</span><span class="p" id="mwCtw">(</span><span class="kt" id="mwCt0">long</span><span class="w" id="mwCt4"> </span><span class="kt" id="mwCt8">double</span><span class="p" id="mwCuA">);</span> <span class="n" id="mwCuE">MyOutput</span><span class="w" id="mwCuI"> </span><span class="n" id="mwCuM">x</span><span class="w" id="mwCuQ"> </span><span class="o" id="mwCuU">=</span><span class="w" id="mwCuY"> </span><span class="mi" id="mwCuc">1234</span><span class="n" id="mwCug">_suf</span><span class="p" id="mwCuk">;</span><span class="w" id="mwCuo"> </span><span class="c1" id="mwCus">// Uses the 'unsigned long long' overload.</span> <span class="n" id="mwCuw">MyOutput</span><span class="w" id="mwCu0"> </span><span class="n" id="mwCu4">y</span><span class="w" id="mwCu8"> </span><span class="o" id="mwCvA">=</span><span class="w" id="mwCvE"> </span><span class="mf" id="mwCvI">3.1416</span><span class="n" id="mwCvM">_suf</span><span class="p" id="mwCvQ">;</span><span class="w" id="mwCvU"> </span><span class="c1" id="mwCvY">// Uses the 'long double' overload.</span>
In accord with the formerly mentioned new string prefixes, for string literals, these are used:
<span id="mwCvo"></span><span class="n" id="mwCvs">MyOutput</span><span class="w" id="mwCvw"> </span><span class="k" id="mwCv0">operator</span><span class="s" id="mwCv4">""</span><span class="n" id="mwCv8">_suf</span><span class="p" id="mwCwA">(</span><span class="k" id="mwCwE">const</span><span class="w" id="mwCwI"> </span><span class="kt" id="mwCwM">char</span><span class="o" id="mwCwQ">*</span><span class="w" id="mwCwU"> </span><span class="n" id="mwCwY">s</span><span class="p" id="mwCwc">,</span><span class="w" id="mwCwg"> </span><span class="kt" id="mwCwk">size_t</span><span class="w" id="mwCwo"> </span><span class="n" id="mwCws">length</span><span class="p" id="mwCww">);</span> <span class="n" id="mwCw0">MyOutput</span><span class="w" id="mwCw4"> </span><span class="k" id="mwCw8">operator</span><span class="s" id="mwCxA">""</span><span class="n" id="mwCxE">_suf</span><span class="p" id="mwCxI">(</span><span class="k" id="mwCxM">const</span><span class="w" id="mwCxQ"> </span><span class="kt" id="mwCxU">wchar_t</span><span class="o" id="mwCxY">*</span><span class="w" id="mwCxc"> </span><span class="n" id="mwCxg">s</span><span class="p" id="mwCxk">,</span><span class="w" id="mwCxo"> </span><span class="kt" id="mwCxs">size_t</span><span class="w" id="mwCxw"> </span><span class="n" id="mwCx0">length</span><span class="p" id="mwCx4">);</span> <span class="n" id="mwCx8">MyOutput</span><span class="w" id="mwCyA"> </span><span class="k" id="mwCyE">operator</span><span class="s" id="mwCyI">""</span><span class="n" id="mwCyM">_suf</span><span class="p" id="mwCyQ">(</span><span class="k" id="mwCyU">const</span><span class="w" id="mwCyY"> </span><span class="kt" id="mwCyc">char16_t</span><span class="o" id="mwCyg">*</span><span class="w" id="mwCyk"> </span><span class="n" id="mwCyo">s</span><span class="p" id="mwCys">,</span><span class="w" id="mwCyw"> </span><span class="kt" id="mwCy0">size_t</span><span class="w" id="mwCy4"> </span><span class="n" id="mwCy8">length</span><span class="p" id="mwCzA">);</span> <span class="n" id="mwCzE">MyOutput</span><span class="w" id="mwCzI"> </span><span class="k" id="mwCzM">operator</span><span class="s" id="mwCzQ">""</span><span class="n" id="mwCzU">_suf</span><span class="p" id="mwCzY">(</span><span class="k" id="mwCzc">const</span><span class="w" id="mwCzg"> </span><span class="kt" id="mwCzk">char32_t</span><span class="o" id="mwCzo">*</span><span class="w" id="mwCzs"> </span><span class="n" id="mwCzw">s</span><span class="p" id="mwCz0">,</span><span class="w" id="mwCz4"> </span><span class="kt" id="mwCz8">size_t</span><span class="w" id="mwC0A"> </span><span class="n" id="mwC0E">length</span><span class="p" id="mwC0I">);</span> <span class="n" id="mwC0M">MyOutput</span><span class="w" id="mwC0Q"> </span><span class="n" id="mwC0U">a</span><span class="w" id="mwC0Y"> </span><span class="o" id="mwC0c">=</span><span class="w" id="mwC0g"> </span><span class="s" id="mwC0k">"1234"</span><span class="n" id="mwC0o">_suf</span><span class="p" id="mwC0s">;</span><span class="w" id="mwC0w"> </span><span class="c1" id="mwC00">// Uses the 'const char*' overload.</span> <span class="n" id="mwC04">MyOutput</span><span class="w" id="mwC08"> </span><span class="n" id="mwC1A">b</span><span class="w" id="mwC1E"> </span><span class="o" id="mwC1I">=</span><span class="w" id="mwC1M"> </span><span class="sa" id="mwC1Q">u8</span><span class="s" id="mwC1U">"1234"</span><span class="n" id="mwC1Y">_suf</span><span class="p" id="mwC1c">;</span><span class="w" id="mwC1g"> </span><span class="c1" id="mwC1k">// Uses the 'const char*' overload.</span> <span class="n" id="mwC1o">MyOutput</span><span class="w" id="mwC1s"> </span><span class="n" id="mwC1w">c</span><span class="w" id="mwC10"> </span><span class="o" id="mwC14">=</span><span class="w" id="mwC18"> </span><span class="sa" id="mwC2A">L</span><span class="s" id="mwC2E">"1234"</span><span class="n" id="mwC2I">_suf</span><span class="p" id="mwC2M">;</span><span class="w" id="mwC2Q"> </span><span class="c1" id="mwC2U">// Uses the 'const wchar_t*' overload.</span> <span class="n" id="mwC2Y">MyOutput</span><span class="w" id="mwC2c"> </span><span class="n" id="mwC2g">d</span><span class="w" id="mwC2k"> </span><span class="o" id="mwC2o">=</span><span class="w" id="mwC2s"> </span><span class="sa" id="mwC2w">u</span><span class="s" id="mwC20">"1234"</span><span class="n" id="mwC24">_suf</span><span class="p" id="mwC28">;</span><span class="w" id="mwC3A"> </span><span class="c1" id="mwC3E">// Uses the 'const char16_t*' overload.</span> <span class="n" id="mwC3I">MyOutput</span><span class="w" id="mwC3M"> </span><span class="n" id="mwC3Q">e</span><span class="w" id="mwC3U"> </span><span class="o" id="mwC3Y">=</span><span class="w" id="mwC3c"> </span><span class="sa" id="mwC3g">U</span><span class="s" id="mwC3k">"1234"</span><span class="n" id="mwC3o">_suf</span><span class="p" id="mwC3s">;</span><span class="w" id="mwC3w"> </span><span class="c1" id="mwC30">// Uses the 'const char32_t*' overload.</span>
There is no alternative template form. Character literals are defined similarly.
Multithreading memory model
C++11 standardizes support for multithreaded programming.
There are two parts involved: a memory model which allows multiple threads to co-exist in a program and library support for interaction between threads. (See this article's section on threading facilities.)
The memory model defines when multiple threads may access the same memory location, and specifies when updates by one thread become visible to other threads.
Thread-local storage
In a multi-threaded environment, it is common for every thread to have some unique variables. This already happens for the local variables of a function, but it does not happen for global and static variables.
A new thread-local storage duration (in addition to the existing static, dynamic and automatic) is indicated by the storage specifier thread_local.
Any object which could have static storage duration (i.e., lifetime spanning the entire execution of the program) may be given thread-local duration instead. The intent is that like any other static-duration variable, a thread-local object can be initialized using a constructor and destroyed using a destructor.
Explicitly defaulted special member functions
In C++03, the compiler provides, for classes that do not provide them for themselves, a default constructor, a copy constructor, a copy assignment operator (operator=), and a destructor. The programmer can override these defaults by defining custom versions. C++ also defines several global operators (such as operator new) that work on all classes, which the programmer can override.
However, there is very little control over creating these defaults. Making a class inherently non-copyable, for example, may be done by declaring a private copy constructor and copy assignment operator and not defining them. Attempting to use these functions is a violation of the One Definition Rule (ODR). While a diagnostic message is not required, violations may result in a linker error.
In the case of the default constructor, the compiler will not generate a default constructor if a class is defined with any constructors. This is useful in many cases, but it is also useful to be able to have both specialized constructors and the compiler-generated default.
C++11 allows the explicit defaulting and deleting of these special member functions. For example, this class explicitly declares that a default constructor can be used:
<span id="mwC6U"></span><span class="k" id="mwC6Y">class</span><span class="w" id="mwC6c"> </span><span class="nc" id="mwC6g">X</span><span class="w" id="mwC6k"> </span><span class="p" id="mwC6o">{</span> <span class="w" id="mwC6s"> </span><span class="n" id="mwC6w">X</span><span class="p" id="mwC60">()</span><span class="w" id="mwC64"> </span><span class="o" id="mwC68">=</span><span class="w" id="mwC7A"> </span><span class="k" id="mwC7E">default</span><span class="p" id="mwC7I">;</span><span class="w" id="mwC7M"> </span><span class="c1" id="mwC7Q">// The default constructor is explicitly stated.</span> <span class="w" id="mwC7U"> </span><span class="n" id="mwC7Y">X</span><span class="p" id="mwC7c">(</span><span class="n" id="mwC7g">T</span><span class="w" id="mwC7k"> </span><span class="n" id="mwC7o">value</span><span class="p" id="mwC7s">);</span> <span class="p" id="mwC7w">};</span>Explicitly deleted functions
A function can be explicitly disabled. This is useful for preventing implicit type conversions. The = delete specifier can be used to prohibit calling a function with particular parameter types. For example:
<span id="mwC8Y"></span><span class="kt" id="mwC8c">void</span><span class="w" id="mwC8g"> </span><span class="nf" id="mwC8k">noInt</span><span class="p" id="mwC8o">(</span><span class="kt" id="mwC8s">double</span><span class="w" id="mwC8w"> </span><span class="n" id="mwC80">i</span><span class="p" id="mwC84">);</span> <span class="kt" id="mwC88">void</span><span class="w" id="mwC9A"> </span><span class="nf" id="mwC9E">noInt</span><span class="p" id="mwC9I">(</span><span class="kt" id="mwC9M">int</span><span class="p" id="mwC9Q">)</span><span class="w" id="mwC9U"> </span><span class="o" id="mwC9Y">=</span><span class="w" id="mwC9c"> </span><span class="k" id="mwC9g">delete</span><span class="p" id="mwC9k">;</span>
An attempt to call noInt() with an int parameter will be rejected by the compiler, instead of performing a silent conversion to double. Calling noInt() with a float still works.
It is possible to prohibit calling the function with any type other than double by using a template:
<span id="mwC-Q"></span><span class="kt" id="mwC-U">double</span><span class="w" id="mwC-Y"> </span><span class="nf" id="mwC-c">onlyDouble</span><span class="p" id="mwC-g">(</span><span class="kt" id="mwC-k">double</span><span class="w" id="mwC-o"> </span><span class="n" id="mwC-s">d</span><span class="p" id="mwC-w">)</span><span class="w" id="mwC-0"> </span><span class="p" id="mwC-4">{</span> <span class="w" id="mwC-8"> </span><span class="k" id="mwC_A">return</span><span class="w" id="mwC_E"> </span><span class="n" id="mwC_I">d</span><span class="p" id="mwC_M">;</span> <span class="p" id="mwC_Q">}</span> <span class="k" id="mwC_U">template</span><span class="w" id="mwC_Y"> </span><span class="o" id="mwC_c"><</span><span class="k" id="mwC_g">typename</span><span class="w" id="mwC_k"> </span><span class="nc" id="mwC_o">T</span><span class="o" id="mwC_s">></span> <span class="kt" id="mwC_w">double</span><span class="w" id="mwC_0"> </span><span class="n" id="mwC_4">onlyDouble</span><span class="p" id="mwC_8">(</span><span class="n" id="mwDAA">T</span><span class="p" id="mwDAE">)</span><span class="w" id="mwDAI"> </span><span class="o" id="mwDAM">=</span><span class="w" id="mwDAQ"> </span><span class="k" id="mwDAU">delete</span><span class="p" id="mwDAY">;</span>calling onlyDouble(1.0) will work, while onlyDouble(1.0f) will generate a compiler error.
Class member functions and constructors can also be deleted. For example, it is possible to prevent copying class objects by deleting the copy constructor and operator =:
<span id="mwDA4"></span><span class="k" id="mwDA8">class</span><span class="w" id="mwDBA"> </span><span class="nc" id="mwDBE">NonCopyable</span><span class="w" id="mwDBI"> </span><span class="p" id="mwDBM">{</span> <span class="w" id="mwDBQ"> </span><span class="n" id="mwDBU">NonCopyable</span><span class="p" id="mwDBY">();</span> <span class="w" id="mwDBc"> </span><span class="n" id="mwDBg">NonCopyable</span><span class="p" id="mwDBk">(</span><span class="k" id="mwDBo">const</span><span class="w" id="mwDBs"> </span><span class="n" id="mwDBw">NonCopyable</span><span class="o" id="mwDB0">&</span><span class="p" id="mwDB4">)</span><span class="w" id="mwDB8"> </span><span class="o" id="mwDCA">=</span><span class="w" id="mwDCE"> </span><span class="k" id="mwDCI">delete</span><span class="p" id="mwDCM">;</span> <span class="w" id="mwDCQ"> </span><span class="n" id="mwDCU">NonCopyable</span><span class="o" id="mwDCY">&</span><span class="w" id="mwDCc"> </span><span class="k" id="mwDCg">operator</span><span class="o" id="mwDCk">=</span><span class="p" id="mwDCo">(</span><span class="k" id="mwDCs">const</span><span class="w" id="mwDCw"> </span><span class="n" id="mwDC0">NonCopyable</span><span class="o" id="mwDC4">&</span><span class="p" id="mwDC8">)</span><span class="w" id="mwDDA"> </span><span class="o" id="mwDDE">=</span><span class="w" id="mwDDI"> </span><span class="k" id="mwDDM">delete</span><span class="p" id="mwDDQ">;</span> <span class="p" id="mwDDU">};</span>Type long long int
In C++03, the largest integer type is long int. It is guaranteed to have at least as many usable bits as int. This resulted in long int having size of 64 bits on some popular implementations and 32 bits on others. C++11 adds a new integer type long long int to address this issue. It is guaranteed to be at least as large as a long int, and have no fewer than 64 bits. The type was originally introduced by C99 to the standard C, and most C++ compilers supported it as an extension already.
Static assertions
C++03 provides two methods to test assertions: the macro assert and the preprocessor directive #error. However, neither is appropriate for use in templates: the macro tests the assertion at execution-time, while the preprocessor directive tests the assertion during preprocessing, which happens before instantiation of templates. Neither is appropriate for testing properties that are dependent on template parameters.
The new utility introduces a new way to test assertions at compile-time, using the new keyword static_assert. The declaration assumes this form:
static_assert(<i id="mwDE8">constant-expression</i>, <i id="mwDFA">error-message</i>);
Here are some examples of how static_assert can be used:
<span id="mwDFU"></span><span class="k" id="mwDFY">static_assert</span><span class="p" id="mwDFc">((</span><span class="n" id="mwDFg">GREEK_PI</span><span class="w" id="mwDFk"> </span><span class="o" id="mwDFo">></span><span class="w" id="mwDFs"> </span><span class="mf" id="mwDFw">3.14</span><span class="p" id="mwDF0">)</span><span class="w" id="mwDF4"> </span><span class="o" id="mwDF8">&&</span><span class="w" id="mwDGA"> </span><span class="p" id="mwDGE">(</span><span class="n" id="mwDGI">GREEK_PI</span><span class="w" id="mwDGM"> </span><span class="o" id="mwDGQ"><</span><span class="w" id="mwDGU"> </span><span class="mf" id="mwDGY">3.15</span><span class="p" id="mwDGc">),</span><span class="w" id="mwDGg"> </span><span class="s" id="mwDGk">"GREEK_PI is inaccurate!"</span><span class="p" id="mwDGo">);</span>
<span id="mwDG0"></span><span class="k" id="mwDG4">template</span><span class="w" id="mwDG8"> </span><span class="o" id="mwDHA"><</span><span class="k" id="mwDHE">class</span><span class="w" id="mwDHI"> </span><span class="nc" id="mwDHM">T</span><span class="o" id="mwDHQ">></span> <span class="k" id="mwDHU">struct</span><span class="w" id="mwDHY"> </span><span class="nc" id="mwDHc">Check</span><span class="w" id="mwDHg"> </span><span class="p" id="mwDHk">{</span> <span class="w" id="mwDHo"> </span><span class="k" id="mwDHs">static_assert</span><span class="p" id="mwDHw">(</span><span class="k" id="mwDH0">sizeof</span><span class="p" id="mwDH4">(</span><span class="kt" id="mwDH8">int</span><span class="p" id="mwDIA">)</span><span class="w" id="mwDIE"> </span><span class="o" id="mwDII"><=</span><span class="w" id="mwDIM"> </span><span class="k" id="mwDIQ">sizeof</span><span class="p" id="mwDIU">(</span><span class="n" id="mwDIY">T</span><span class="p" id="mwDIc">),</span><span class="w" id="mwDIg"> </span><span class="s" id="mwDIk">"T is not big enough!"</span><span class="p" id="mwDIo">);</span> <span class="p" id="mwDIs">};</span><span id="mwDI4"></span><span class="k" id="mwDI8">using</span><span class="w" id="mwDJA"> </span><span class="n" id="mwDJE">std</span><span class="o" id="mwDJI">::</span><span class="n" id="mwDJM">is_integral</span><span class="p" id="mwDJQ">;</span> <span class="k" id="mwDJU">template</span><span class="w" id="mwDJY"> </span><span class="o" id="mwDJc"><</span><span class="k" id="mwDJg">class</span><span class="w" id="mwDJk"> </span><span class="nc" id="mwDJo">Int</span><span class="o" id="mwDJs">></span> <span class="n" id="mwDJw">Int</span><span class="w" id="mwDJ0"> </span><span class="n" id="mwDJ4">foo</span><span class="p" id="mwDJ8">(</span><span class="n" id="mwDKA">Int</span><span class="w" id="mwDKE"> </span><span class="n" id="mwDKI">x</span><span class="p" id="mwDKM">,</span><span class="w" id="mwDKQ"> </span><span class="n" id="mwDKU">Int</span><span class="w" id="mwDKY"> </span><span class="n" id="mwDKc">y</span><span class="p" id="mwDKg">)</span><span class="w" id="mwDKk"> </span><span class="p" id="mwDKo">{</span> <span class="w" id="mwDKs"> </span><span class="k" id="mwDKw">static_assert</span><span class="p" id="mwDK0">(</span><span class="n" id="mwDK4">is_integral</span><span class="o" id="mwDK8"><</span><span class="n" id="mwDLA">Int</span><span class="o" id="mwDLE">>::</span><span class="n" id="mwDLI">value</span><span class="p" id="mwDLM">,</span><span class="w" id="mwDLQ"> </span><span class="s" id="mwDLU">"foo() parameter must be an integral type."</span><span class="p" id="mwDLY">);</span> <span class="p" id="mwDLc">}</span>When the constant expression is false the compiler produces an error message. The first example is similar to the preprocessor directive #error, although the preprocessor does only support integral types. In contrast, in the second example the assertion is checked at every instantiation of the template class Check.
Static assertions are useful outside of templates also. For instance, a given implementation of an algorithm might depend on the size of a long long being larger than an int, something the standard does not guarantee. Such an assumption is valid on most systems and compilers, but not all.
Allow sizeof to work on members of classes without an explicit object
In C++03, the sizeof operator can be used on types and objects. But it cannot be used to do this:
<span id="mwDMo"></span><span class="k" id="mwDMs">struct</span><span class="w" id="mwDMw"> </span><span class="nc" id="mwDM0">X</span><span class="w" id="mwDM4"> </span><span class="p" id="mwDM8">{</span> <span class="w" id="mwDNA"> </span><span class="n" id="mwDNE">T</span><span class="w" id="mwDNI"> </span><span class="n" id="mwDNM">member</span><span class="p" id="mwDNQ">;</span> <span class="p" id="mwDNU">};</span> <span class="k" id="mwDNY">sizeof</span><span class="p" id="mwDNc">(</span><span class="n" id="mwDNg">X</span><span class="o" id="mwDNk">::</span><span class="n" id="mwDNo">member</span><span class="p" id="mwDNs">);</span><span class="w" id="mwDNw"> </span><span class="c1" id="mwDN0">// Does not work with C++03. Okay with C++11</span>This should return the size of T. C++03 disallows this, so it is a compile error. C++11 allows it. It is also allowed for the alignof operator introduced in C++11.
Control and query object alignment
C++11 allows variable alignment to be queried and controlled with alignof and alignas.
The alignof operator takes the type and returns the power of 2 byte boundary on which the type instances must be allocated (as a std::size_t). When given a reference type alignof returns the referenced type's alignment; for arrays it returns the element type's alignment.
The alignas specifier controls the memory alignment for a variable. The specifier takes a constant or a type; when supplied a type alignas(T) is shorthand for alignas(alignof(T)). For example, to specify that a char[] should be properly aligned to hold a float:
<span id="mwDPs"></span><span class="k" id="mwDPw">alignas</span><span class="p" id="mwDP0">(</span><span class="kt" id="mwDP4">float</span><span class="p" id="mwDP8">)</span><span class="w" id="mwDQA"> </span><span class="kt" id="mwDQE">unsigned</span><span class="w" id="mwDQI"> </span><span class="kt" id="mwDQM">char</span><span class="w" id="mwDQQ"> </span><span class="n" id="mwDQU">c</span><span class="p" id="mwDQY">[</span><span class="k" id="mwDQc">sizeof</span><span class="p" id="mwDQg">(</span><span class="kt" id="mwDQk">float</span><span class="p" id="mwDQo">)];</span>
Allow garbage collected implementations
Prior C++ standards provided for programmer-driven garbage collection, but gave no definition of object reachability for the purpose of automatic garbage collection. C++11 defines conditions under which pointer values are "safely derived" from other values. An implementation may specify that it operates under strict pointer safety, in which case pointers that are not derived according to these rules can become invalid. This was later removed in C++23.
Attributes
C++11 provides a standardized syntax for compiler/tool extensions to the language. Such extensions were traditionally specified using #pragma directive or vendor-specific keywords (like __attribute__ for GNU and __declspec for Microsoft). With the new syntax, added information can be specified in a form of an attribute enclosed in double square brackets. An attribute can be applied to various elements of source code:
<span id="mwDRo"></span><span class="kt" id="mwDRs">int</span><span class="w" id="mwDRw"> </span><span class="p" id="mwDR0">[[</span><span class="na" id="mwDR4">attr1</span><span class="p" id="mwDR8">]]</span><span class="w" id="mwDSA"> </span><span class="n" id="mwDSE">i</span><span class="w" id="mwDSI"> </span><span class="p" id="mwDSM">[[</span><span class="na" id="mwDSQ">attr2</span><span class="p" id="mwDSU">,</span><span class="w" id="mwDSY"> </span><span class="na" id="mwDSc">attr3</span><span class="p" id="mwDSg">]];</span> <span class="p" id="mwDSk">[[</span><span class="na" id="mwDSo">attr4</span><span class="p" id="mwDSs">(</span><span class="n" id="mwDSw">arg1</span><span class="p" id="mwDS0">,</span><span class="err" id="mwDS4"> </span><span class="n" id="mwDS8">arg2</span><span class="p" id="mwDTA">)]]</span><span class="w" id="mwDTE"> </span><span class="k" id="mwDTI">if</span><span class="w" id="mwDTM"> </span><span class="p" id="mwDTQ">(</span><span class="n" id="mwDTU">cond</span><span class="p" id="mwDTY">)</span><span class="w" id="mwDTc"> </span><span class="p" id="mwDTg">{</span> <span class="w" id="mwDTk"> </span><span class="p" id="mwDTo">[[</span><span class="na" id="mwDTs">vendor</span><span class="p" id="mwDTw">::</span><span class="na" id="mwDT0">attr5</span><span class="p" id="mwDT4">]]</span><span class="w" id="mwDT8"> </span><span class="k" id="mwDUA">return</span><span class="w" id="mwDUE"> </span><span class="n" id="mwDUI">i</span><span class="p" id="mwDUM">;</span> <span class="p" id="mwDUQ">}</span>In the example above, attribute [[attr1]] applies to the type of variable i, [[attr2]] and [[attr3]] apply to the variable itself, [[attr4]] applies to the if statement and [[vendor::attr5]] applies to the return statement. In general (but with some exceptions), an attribute specified for a named entity is placed after the name, and before the entity otherwise, as shown above, several attributes may be listed inside one pair of double square brackets, added arguments may be provided for an attribute, and attributes may be scoped by vendor-specific attribute namespaces.
It is recommended that attributes have no language semantic meaning and do not change the sense of a program when ignored. Attributes can be useful for providing information that, for example, helps the compiler to issue better diagnostics or optimize the generated code.
C++11 provides two standard attributes itself: [[noreturn]] to specify that a function does not return, and [[carries_dependency]] to help optimizing multi-threaded code by indicating that function arguments or return value carry a dependency.
C++ standard library changes
A number of new features were introduced in the C++11 standard library. Many of these could have been implemented under the old standard, but some rely (to a greater or lesser extent) on new C++11 core features.
A large part of the new libraries was defined in the document C++ Standards Committee's Library Technical Report (called TR1), which was published in 2005. Various full and partial implementations of TR1 are currently available using the namespace std::tr1. For C++11 they were moved to namespace std. However, as TR1 features were brought into the C++11 standard library, they were upgraded where appropriate with C++11 language features that were not available in the initial TR1 version. Also, they may have been enhanced with features that were possible under C++03, but were not part of the original TR1 specification.
Upgrades to standard library components
C++11 offers a number of new language features that the currently existing standard library components can benefit from. For example, most standard library containers can benefit from Rvalue reference based move constructor support, both for quickly moving heavy containers around and for moving the contents of those containers to new memory locations. The standard library components were upgraded with new C++11 language features where appropriate. These include, but are not necessarily limited to:
- Rvalue references and the associated move support
- Support for the UTF-16 encoding unit, and UTF-32 encoding unit Unicode character types
- Variadic templates (coupled with Rvalue references to allow for perfect forwarding)
- Compile-time constant expressions
decltypeexplicitconversion operators- Functions declared defaulted or deleted
Further, much time has passed since the prior C++ standard. Much code using the standard library has been written. This has revealed parts of the standard libraries that could use some improving. Among the many areas of improvement considered were standard library allocators. A new scope-based model of allocators was included in C++11 to supplement the prior model.
Threading facilities
While the C++03 language provides a memory model that supports threading, the primary support for actually using threading comes with the C++11 standard library.
A thread class (std::thread) is provided, which takes a function object (and an optional series of arguments to pass to it) to run in the new thread. It is possible to cause a thread to halt until another executing thread completes, providing thread joining support via the std::thread::join() member function. Access is provided, where feasible, to the underlying native thread object(s) for platform-specific operations by the std::thread::native_handle() member function.
For synchronization between threads, appropriate mutexes (std::mutex, std::recursive_mutex, etc.) and condition variables (std::condition_variable and std::condition_variable_any) are added to the library. These are accessible via Resource Acquisition Is Initialization (RAII) locks (std::lock_guard and std::unique_lock) and locking algorithms for easy use.
For high-performance, low-level work, communicating between threads is sometimes needed without the overhead of mutexes. This is done using atomic operations on memory locations. These can optionally specify the minimum memory visibility constraints needed for an operation. Explicit memory barriers may also be used for this purpose.
The C++11 thread library also includes futures and promises for passing asynchronous results between threads, and std::packaged_task for wrapping up a function call that can generate such an asynchronous result. The futures proposal was criticized because it lacks a way to combine futures and check for the completion of one promise inside a set of promises.
Further high-level threading facilities such as thread pools have been remanded to a future C++ technical report. They are not part of C++11, but their eventual implementation is expected to be built entirely on top of the thread library features.
The new std::async facility provides a convenient method of running tasks and tying them to a std::future. The user can choose whether the task is to be run asynchronously on a separate thread or synchronously on a thread that waits for the value. By default, the implementation can choose, which provides an easy way to take advantage of hardware concurrency without oversubscription, and provides some of the advantages of a thread pool for simple usages.
Tuple types
Tuples are collections composed of heterogeneous objects of pre-arranged dimensions. A tuple can be considered a generalization of a struct's member variables.
The C++11 version of the TR1 tuple type benefited from C++11 features like variadic templates. To implement reasonably, the TR1 version required an implementation-defined maximum number of contained types, and substantial macro trickery. By contrast, the implementation of the C++11 version requires no explicit implementation-defined maximum number of types. Though compilers will have an internal maximum recursion depth for template instantiation (which is normal), the C++11 version of tuples will not expose this value to the user.
Using variadic templates, the declaration of the tuple class looks as follows:
<span id="mwDa0"></span><span class="k" id="mwDa4">namespace</span><span class="w" id="mwDa8"> </span><span class="nn" id="mwDbA">std</span><span class="w" id="mwDbE"> </span><span class="p" id="mwDbI">{</span> <span class="w" id="mwDbM"> </span><span class="k" id="mwDbQ">template</span><span class="w" id="mwDbU"> </span><span class="o" id="mwDbY"><</span><span class="k" id="mwDbc">class</span><span class="p" id="mwDbg">...</span><span class="w" id="mwDbk"> </span><span class="n" id="mwDbo">Ts</span><span class="o" id="mwDbs">></span><span class="w" id="mwDbw"> </span> <span class="w" id="mwDb0"> </span><span class="k" id="mwDb4">class</span><span class="w" id="mwDb8"> </span><span class="nc" id="mwDcA">tuple</span><span class="p" id="mwDcE">;</span> <span class="p" id="mwDcI">}</span>An example of definition and use of the tuple type:
<span id="mwDcY"></span><span class="k" id="mwDcc">using</span><span class="w" id="mwDcg"> </span><span class="n" id="mwDck">Types</span><span class="w" id="mwDco"> </span><span class="o" id="mwDcs">=</span><span class="w" id="mwDcw"> </span><span class="n" id="mwDc0">std</span><span class="o" id="mwDc4">::</span><span class="n" id="mwDc8">tuple</span><span class="o" id="mwDdA"><</span><span class="kt" id="mwDdE">int</span><span class="p" id="mwDdI">,</span><span class="w" id="mwDdM"> </span><span class="kt" id="mwDdQ">double</span><span class="p" id="mwDdU">,</span><span class="w" id="mwDdY"> </span><span class="kt" id="mwDdc">long</span><span class="o" id="mwDdg">&</span><span class="p" id="mwDdk">,</span><span class="w" id="mwDdo"> </span><span class="k" id="mwDds">const</span><span class="w" id="mwDdw"> </span><span class="kt" id="mwDd0">char</span><span class="o" id="mwDd4">*></span><span class="p" id="mwDd8">;</span> <span class="kt" id="mwDeA">long</span><span class="w" id="mwDeE"> </span><span class="n" id="mwDeI">lengthy</span><span class="w" id="mwDeM"> </span><span class="o" id="mwDeQ">=</span><span class="w" id="mwDeU"> </span><span class="mi" id="mwDeY">12</span><span class="p" id="mwDec">;</span> <span class="n" id="mwDeg">Types</span><span class="w" id="mwDek"> </span><span class="n" id="mwDeo">proof</span><span class="p" id="mwDes">(</span><span class="mi" id="mwDew">18</span><span class="p" id="mwDe0">,</span><span class="w" id="mwDe4"> </span><span class="mf" id="mwDe8">6.5</span><span class="p" id="mwDfA">,</span><span class="w" id="mwDfE"> </span><span class="n" id="mwDfI">lengthy</span><span class="p" id="mwDfM">,</span><span class="w" id="mwDfQ"> </span><span class="s" id="mwDfU">"Ciao!"</span><span class="p" id="mwDfY">);</span> <span class="n" id="mwDfc">lengthy</span><span class="w" id="mwDfg"> </span><span class="o" id="mwDfk">=</span><span class="w" id="mwDfo"> </span><span class="n" id="mwDfs">std</span><span class="o" id="mwDfw">::</span><span class="n" id="mwDf0">get</span><span class="o" id="mwDf4"><</span><span class="mi" id="mwDf8">0</span><span class="o" id="mwDgA">></span><span class="p" id="mwDgE">(</span><span class="n" id="mwDgI">proof</span><span class="p" id="mwDgM">);</span><span class="w" id="mwDgQ"> </span><span class="c1" id="mwDgU">// Assign to 'lengthy' the value 18.</span> <span class="n" id="mwDgY">std</span><span class="o" id="mwDgc">::</span><span class="n" id="mwDgg">get</span><span class="o" id="mwDgk"><</span><span class="mi" id="mwDgo">3</span><span class="o" id="mwDgs">></span><span class="p" id="mwDgw">(</span><span class="n" id="mwDg0">proof</span><span class="p" id="mwDg4">)</span><span class="w" id="mwDg8"> </span><span class="o" id="mwDhA">=</span><span class="w" id="mwDhE"> </span><span class="s" id="mwDhI">" Beautiful!"</span><span class="p" id="mwDhM">;</span><span class="w" id="mwDhQ"> </span><span class="c1" id="mwDhU">// Modify the tuple’s fourth element.</span>
It's possible to create the tuple proof without defining its contents, but only if the tuple elements' types possess default constructors. Moreover, it's possible to assign a tuple to another tuple: if the two tuples’ types are the same, each element type must possess a copy constructor; otherwise, each element type of the right-side tuple must be convertible to that of the corresponding element type of the left-side tuple or that the corresponding element type of the left-side tuple has a suitable constructor.
<span id="mwDho"></span><span class="k" id="mwDhs">using</span><span class="w" id="mwDhw"> </span><span class="n" id="mwDh0">std</span><span class="o" id="mwDh4">::</span><span class="n" id="mwDh8">string</span><span class="p" id="mwDiA">;</span> <span class="k" id="mwDiE">using</span><span class="w" id="mwDiI"> </span><span class="n" id="mwDiM">T1</span><span class="w" id="mwDiQ"> </span><span class="o" id="mwDiU">=</span><span class="w" id="mwDiY"> </span><span class="n" id="mwDic">std</span><span class="o" id="mwDig">::</span><span class="n" id="mwDik">tuple</span><span class="o" id="mwDio"><</span><span class="kt" id="mwDis">int</span><span class="p" id="mwDiw">,</span><span class="w" id="mwDi0"> </span><span class="kt" id="mwDi4">double</span><span class="p" id="mwDi8">,</span><span class="w" id="mwDjA"> </span><span class="n" id="mwDjE">string</span><span class="o" id="mwDjI">></span><span class="p" id="mwDjM">;</span> <span class="k" id="mwDjQ">using</span><span class="w" id="mwDjU"> </span><span class="n" id="mwDjY">T2</span><span class="w" id="mwDjc"> </span><span class="o" id="mwDjg">=</span><span class="w" id="mwDjk"> </span><span class="n" id="mwDjo">std</span><span class="o" id="mwDjs">::</span><span class="n" id="mwDjw">tuple</span><span class="o" id="mwDj0"><</span><span class="kt" id="mwDj4">char</span><span class="p" id="mwDj8">,</span><span class="w" id="mwDkA"> </span><span class="kt" id="mwDkE">short</span><span class="p" id="mwDkI">,</span><span class="w" id="mwDkM"> </span><span class="k" id="mwDkQ">const</span><span class="w" id="mwDkU"> </span><span class="kt" id="mwDkY">char</span><span class="o" id="mwDkc">*></span><span class="p" id="mwDkg">;</span> <span class="n" id="mwDkk">T1</span><span class="w" id="mwDko"> </span><span class="n" id="mwDks">t1</span><span class="p" id="mwDkw">;</span> <span class="n" id="mwDk0">T2</span><span class="w" id="mwDk4"> </span><span class="n" id="mwDk8">t2</span><span class="p" id="mwDlA">(</span><span class="sc" id="mwDlE">'X'</span><span class="p" id="mwDlI">,</span><span class="w" id="mwDlM"> </span><span class="mi" id="mwDlQ">2</span><span class="p" id="mwDlU">,</span><span class="w" id="mwDlY"> </span><span class="s" id="mwDlc">"Hola!"</span><span class="p" id="mwDlg">);</span> <span class="n" id="mwDlk">t1</span><span class="w" id="mwDlo"> </span><span class="o" id="mwDls">=</span><span class="w" id="mwDlw"> </span><span class="n" id="mwDl0">t2</span><span class="p" id="mwDl4">;</span><span class="w" id="mwDl8"> </span><span class="c1" id="mwDmA">// Ok, first two elements can be converted,</span> <span class="w" id="mwDmE"> </span><span class="c1" id="mwDmI">// the third one can be constructed from a 'const char *'.</span>
Just like std::make_pair for std::pair, there exists std::make_tuple to automatically create std::tuples using type deduction and auto helps to declare such a tuple. std::tie creates tuples of lvalue references to help unpack tuples. std::ignore also helps here. See the example:
<span id="mwDm0"></span><span class="cp" id="mwDm4">#include</span><span class="w" id="mwDm8"> </span><span class="cpf" id="mwDnA"><string></span> <span class="cp" id="mwDnE">#include</span><span class="w" id="mwDnI"> </span><span class="cpf" id="mwDnM"><tuple></span> <span class="k" id="mwDnQ">using</span><span class="w" id="mwDnU"> </span><span class="n" id="mwDnY">std</span><span class="o" id="mwDnc">::</span><span class="n" id="mwDng">string</span><span class="p" id="mwDnk">;</span> <span class="k" id="mwDno">auto</span><span class="w" id="mwDns"> </span><span class="n" id="mwDnw">record</span><span class="w" id="mwDn0"> </span><span class="o" id="mwDn4">=</span><span class="w" id="mwDn8"> </span><span class="n" id="mwDoA">std</span><span class="o" id="mwDoE">::</span><span class="n" id="mwDoI">make_tuple</span><span class="p" id="mwDoM">(</span><span class="s" id="mwDoQ">"Hari Ram"</span><span class="p" id="mwDoU">,</span><span class="w" id="mwDoY"> </span><span class="s" id="mwDoc">"New Delhi"</span><span class="p" id="mwDog">,</span><span class="w" id="mwDok"> </span><span class="mf" id="mwDoo">3.5</span><span class="p" id="mwDos">,</span><span class="w" id="mwDow"> </span><span class="sc" id="mwDo0">'A'</span><span class="p" id="mwDo4">);</span> <span class="n" id="mwDo8">string</span><span class="w" id="mwDpA"> </span><span class="n" id="mwDpE">name</span><span class="p" id="mwDpI">;</span> <span class="kt" id="mwDpM">float</span><span class="w" id="mwDpQ"> </span><span class="n" id="mwDpU">gpa</span><span class="p" id="mwDpY">;</span><span class="w" id="mwDpc"> </span> <span class="kt" id="mwDpg">char</span><span class="w" id="mwDpk"> </span><span class="n" id="mwDpo">grade</span><span class="p" id="mwDps">;</span> <span class="n" id="mwDpw">std</span><span class="o" id="mwDp0">::</span><span class="n" id="mwDp4">tie</span><span class="p" id="mwDp8">(</span><span class="n" id="mwDqA">name</span><span class="p" id="mwDqE">,</span><span class="w" id="mwDqI"> </span><span class="n" id="mwDqM">std</span><span class="o" id="mwDqQ">::</span><span class="n" id="mwDqU">ignore</span><span class="p" id="mwDqY">,</span><span class="w" id="mwDqc"> </span><span class="n" id="mwDqg">gpa</span><span class="p" id="mwDqk">,</span><span class="w" id="mwDqo"> </span><span class="n" id="mwDqs">grade</span><span class="p" id="mwDqw">)</span><span class="w" id="mwDq0"> </span><span class="o" id="mwDq4">=</span><span class="w" id="mwDq8"> </span><span class="n" id="mwDrA">record</span><span class="w" id="mwDrE"> </span><span class="p" id="mwDrI">;</span><span class="w" id="mwDrM"> </span><span class="c1" id="mwDrQ">// std::ignore helps drop the place name</span> <span class="n" id="mwDrU">std</span><span class="o" id="mwDrY">::</span><span class="n" id="mwDrc">cout</span><span class="w" id="mwDrg"> </span><span class="o" id="mwDrk"><<</span><span class="w" id="mwDro"> </span><span class="n" id="mwDrs">name</span><span class="w" id="mwDrw"> </span><span class="o" id="mwDr0"><<</span><span class="w" id="mwDr4"> </span><span class="sc" id="mwDr8">' '</span><span class="w" id="mwDsA"> </span><span class="o" id="mwDsE"><<</span><span class="w" id="mwDsI"> </span><span class="n" id="mwDsM">gpa</span><span class="w" id="mwDsQ"> </span><span class="o" id="mwDsU"><<</span><span class="w" id="mwDsY"> </span><span class="sc" id="mwDsc">' '</span><span class="w" id="mwDsg"> </span><span class="o" id="mwDsk"><<</span><span class="w" id="mwDso"> </span><span class="n" id="mwDss">grade</span><span class="w" id="mwDsw"> </span><span class="o" id="mwDs0"><<</span><span class="w" id="mwDs4"> </span><span class="n" id="mwDs8">std</span><span class="o" id="mwDtA">::</span><span class="n" id="mwDtE">endl</span><span class="w" id="mwDtI"> </span><span class="p" id="mwDtM">;</span>
Relational operators are available (among tuples with the same number of elements), and two expressions are available to check a tuple's characteristics (only during compilation):
std::tuple_size<T>::valuereturns the number of elements in the tupleT,std::tuple_element<I, T>::typereturns the type of the object numberIof the tupleT.
Hash tables
Including hash tables (unordered associative containers) in the C++ standard library is one of the most recurring requests. It was not adopted in C++03 due to time constraints only. Although hash tables are less efficient than a balanced tree in the worst case (in the presence of many collisions), they perform better in many real applications.
Collisions are managed only via linear chaining because the committee didn't consider it to be opportune to standardize solutions of open addressing that introduce quite a lot of intrinsic problems (above all when erasure of elements is admitted). To avoid name clashes with non-standard libraries that developed their own hash table implementations, the prefix “unordered” was used instead of “hash”.
The new library has four types of hash tables, differentiated by whether or not they accept elements with the same key (unique keys or equivalent keys), and whether they map each key to an associated value. They correspond to the four existing binary search tree based associative containers, with an unordered_ prefix.
The new classes fulfill all the requirements of a container class, and have all the methods needed to access elements: insert, erase, begin, end.
This new feature didn't need any C++ language core extensions (though implementations will take advantage of various C++11 language features), only a small extension of the header <functional> and the introduction of headers <unordered_set> and <unordered_map>. No other changes to any existing standard classes were needed, and it doesn't depend on any other extensions of the standard library.
std::array and std::forward_list
In addition to the hash tables two more containers were added to the standard library. The std::array is a fixed-size container that is more efficient than std::vector but safer and easier to use than a C-style array. The std::forward_list is a singly-linked list that provides more space efficient storage than the double linked std::list when bidirectional iteration is not needed.
Regular expressions
The new library, defined in the new header <regex>, is made of a couple of new classes:
- regular expressions are represented by instance of the template class
std::regex; - occurrences are represented by instance of the template class
std::match_results, std::regex_iteratoris used to iterate over all matches of a regex (withstd::cregex_iteratorforconst char*andstd::sregex_iteratorforstd::string)
The function std::regex_search is used for searching, while for ‘search and replace’ the function std::regex_replace is used which returns a new string.
Here is an example of the use of std::regex_iterator:
<span id="mwDzw"></span><span class="cp" id="mwDz0">#include</span><span class="w" id="mwDz4"> </span><span class="cpf" id="mwDz8"><regex></span> <span class="k" id="mwD0A">using</span><span class="w" id="mwD0E"> </span><span class="n" id="mwD0I">std</span><span class="o" id="mwD0M">::</span><span class="n" id="mwD0Q">regex</span><span class="p" id="mwD0U">;</span> <span class="k" id="mwD0Y">using</span><span class="w" id="mwD0c"> </span><span class="n" id="mwD0g">std</span><span class="o" id="mwD0k">::</span><span class="n" id="mwD0o">sregex_iterator</span><span class="p" id="mwD0s">;</span> <span class="k" id="mwD0w">using</span><span class="w" id="mwD00"> </span><span class="n" id="mwD04">std</span><span class="o" id="mwD08">::</span><span class="n" id="mwD1A">string</span><span class="p" id="mwD1E">;</span> <span class="n" id="mwD1I">string</span><span class="w" id="mwD1M"> </span><span class="n" id="mwD1Q">pattern</span><span class="w" id="mwD1U"> </span><span class="o" id="mwD1Y">=</span><span class="w" id="mwD1c"> </span><span class="sa" id="mwD1g">R</span><span class="s" id="mwD1k">"</span><span class="dl" id="mwD1o">(</span><span class="s" id="mwD1s">[^ ,.\t\n]+</span><span class="dl" id="mwD1w">)</span><span class="s" id="mwD10">"</span><span class="p" id="mwD14">;</span><span class="w" id="mwD18"> </span><span class="c1" id="mwD2A">// find words separated by space, comma, period tab newline</span> <span class="n" id="mwD2E">string</span><span class="w" id="mwD2I"> </span><span class="n" id="mwD2M">target</span><span class="w" id="mwD2Q"> </span><span class="o" id="mwD2U">=</span><span class="w" id="mwD2Y"> </span><span class="s" id="mwD2c">"Unseen University - Ankh-Morpork"</span><span class="p" id="mwD2g">;</span> <span class="n" id="mwD2k">regex</span><span class="w" id="mwD2o"> </span><span class="nf" id="mwD2s">re</span><span class="p" id="mwD2w">(</span><span class="n" id="mwD20">pattern</span><span class="p" id="mwD24">);</span><span class="w" id="mwD28"> </span><span class="c1" id="mwD3A">// throws exception on invalid pattern</span> <span class="c1" id="mwD3E">// Use a regex_iterator to identify all words of 'target' separated by characters of 'pattern'.</span> <span class="k" id="mwD3I">for</span><span class="w" id="mwD3M"> </span><span class="p" id="mwD3Q">(</span><span class="n" id="mwD3U">sregex_iterator</span><span class="w" id="mwD3Y"> </span><span class="n" id="mwD3c">it</span><span class="p" id="mwD3g">(</span><span class="n" id="mwD3k">target</span><span class="p" id="mwD3o">.</span><span class="n" id="mwD3s">begin</span><span class="p" id="mwD3w">(),</span><span class="w" id="mwD30"> </span><span class="n" id="mwD34">target</span><span class="p" id="mwD38">.</span><span class="n" id="mwD4A">end</span><span class="p" id="mwD4E">(),</span><span class="w" id="mwD4I"> </span><span class="n" id="mwD4M">re</span><span class="p" id="mwD4Q">);</span><span class="w" id="mwD4U"> </span><span class="n" id="mwD4Y">it</span><span class="w" id="mwD4c"> </span><span class="o" id="mwD4g">!=</span><span class="w" id="mwD4k"> </span><span class="n" id="mwD4o">re</span><span class="p" id="mwD4s">.</span><span class="n" id="mwD4w">end</span><span class="p" id="mwD40">();</span><span class="w" id="mwD44"> </span><span class="o" id="mwD48">++</span><span class="n" id="mwD5A">it</span><span class="p" id="mwD5E">)</span><span class="w" id="mwD5I"> </span><span class="p" id="mwD5M">{</span> <span class="w" id="mwD5Q"> </span><span class="n" id="mwD5U">string</span><span class="w" id="mwD5Y"> </span><span class="n" id="mwD5c">s</span><span class="w" id="mwD5g"> </span><span class="o" id="mwD5k">=</span><span class="w" id="mwD5o"> </span><span class="n" id="mwD5s">it</span><span class="o" id="mwD5w">-></span><span class="n" id="mwD50">str</span><span class="p" id="mwD54">();</span> <span class="w" id="mwD58"> </span><span class="n" id="mwD6A">std</span><span class="o" id="mwD6E">::</span><span class="n" id="mwD6I">cout</span><span class="w" id="mwD6M"> </span><span class="o" id="mwD6Q"><<</span><span class="w" id="mwD6U"> </span><span class="n" id="mwD6Y">s</span><span class="w" id="mwD6c"> </span><span class="o" id="mwD6g"><<</span><span class="w" id="mwD6k"> </span><span class="n" id="mwD6o">std</span><span class="o" id="mwD6s">::</span><span class="n" id="mwD6w">endl</span><span class="p" id="mwD60">;</span> <span class="p" id="mwD64">}</span>The library <regex> requires neither alteration of any existing header (though it will use them where appropriate) nor an extension of the core language. In POSIX C, regular expressions are also available via the <regex.h>.
General-purpose smart pointers
C++11 provides std::unique_ptr, and improvements to std::shared_ptr and std::weak_ptr from TR1. std::auto_ptr is deprecated.
Extensible random number facility
The C standard library provides the ability to generate pseudorandom numbers via the function rand. However, the algorithm is delegated entirely to the library vendor. C++ inherited this functionality with no changes, but C++11 provides a new method for generating pseudorandom numbers.
C++11's random number functionality is split into two parts: a generator engine that contains the random number generator's state and produces the pseudorandom numbers; and a distribution, which determines the range and mathematical distribution of the outcome. These two are combined to form a random number generator object.
Unlike the C standard rand, the C++11 mechanism will come with three base generator engine algorithms:
linear_congruential_engine,subtract_with_carry_engine, andmersenne_twister_engine.
C++11 also provides a number of standard distributions:
uniform_int_distribution,uniform_real_distribution,bernoulli_distribution,binomial_distribution,geometric_distribution,negative_binomial_distribution,poisson_distribution,exponential_distribution,gamma_distribution,weibull_distribution,extreme_value_distribution,normal_distribution,lognormal_distribution,chi_squared_distribution,cauchy_distribution,fisher_f_distribution,student_t_distribution,discrete_distribution,piecewise_constant_distributionandpiecewise_linear_distribution.
The generator and distributions are combined as in this example:
<span id="mwEBA"></span><span class="cp" id="mwEBE">#include</span><span class="w" id="mwEBI"> </span><span class="cpf" id="mwEBM"><functional></span> <span class="cp" id="mwEBQ">#include</span><span class="w" id="mwEBU"> </span><span class="cpf" id="mwEBY"><random></span> <span class="k" id="mwEBc">using</span><span class="w" id="mwEBg"> </span><span class="n" id="mwEBk">std</span><span class="o" id="mwEBo">::</span><span class="n" id="mwEBs">mt19937</span><span class="p" id="mwEBw">;</span> <span class="k" id="mwEB0">using</span><span class="w" id="mwEB4"> </span><span class="n" id="mwEB8">std</span><span class="o" id="mwECA">::</span><span class="n" id="mwECE">uniform_int_distribution</span><span class="p" id="mwECI">;</span> <span class="n" id="mwECM">uniform_int_distribution</span><span class="o" id="mwECQ"><</span><span class="kt" id="mwECU">int</span><span class="o" id="mwECY">></span><span class="w" id="mwECc"> </span><span class="n" id="mwECg">distribution</span><span class="p" id="mwECk">(</span><span class="mi" id="mwECo">0</span><span class="p" id="mwECs">,</span><span class="w" id="mwECw"> </span><span class="mi" id="mwEC0">99</span><span class="p" id="mwEC4">);</span> <span class="n" id="mwEC8">mt19937</span><span class="w" id="mwEDA"> </span><span class="n" id="mwEDE">engine</span><span class="p" id="mwEDI">;</span><span class="w" id="mwEDM"> </span><span class="c1" id="mwEDQ">// Mersenne twister MT19937</span> <span class="k" id="mwEDU">auto</span><span class="w" id="mwEDY"> </span><span class="n" id="mwEDc">generator</span><span class="w" id="mwEDg"> </span><span class="o" id="mwEDk">=</span><span class="w" id="mwEDo"> </span><span class="n" id="mwEDs">std</span><span class="o" id="mwEDw">::</span><span class="n" id="mwED0">bind</span><span class="p" id="mwED4">(</span><span class="n" id="mwED8">distribution</span><span class="p" id="mwEEA">,</span><span class="w" id="mwEEE"> </span><span class="n" id="mwEEI">engine</span><span class="p" id="mwEEM">);</span> <span class="kt" id="mwEEQ">int</span><span class="w" id="mwEEU"> </span><span class="n" id="mwEEY">random</span><span class="w" id="mwEEc"> </span><span class="o" id="mwEEg">=</span><span class="w" id="mwEEk"> </span><span class="n" id="mwEEo">generator</span><span class="p" id="mwEEs">();</span><span class="w" id="mwEEw"> </span><span class="c1" id="mwEE0">// Generate a uniform integral variate between 0 and 99.</span> <span class="kt" id="mwEE4">int</span><span class="w" id="mwEE8"> </span><span class="n" id="mwEFA">random2</span><span class="w" id="mwEFE"> </span><span class="o" id="mwEFI">=</span><span class="w" id="mwEFM"> </span><span class="n" id="mwEFQ">distribution</span><span class="p" id="mwEFU">(</span><span class="n" id="mwEFY">engine</span><span class="p" id="mwEFc">);</span><span class="w" id="mwEFg"> </span><span class="c1" id="mwEFk">// Generate another sample directly using the distribution and the engine objects.</span>
Wrapper reference
A wrapper reference is obtained from an instance of the class template reference_wrapper. Wrapper references are similar to normal references (‘&’) of the C++ language. To obtain a wrapper reference from any object the function template ref is used (for a constant reference cref is used).
Wrapper references are useful above all for function templates, where references to parameters rather than copies are needed:
<span id="mwEGU"></span><span class="cp" id="mwEGY">#include</span><span class="w" id="mwEGc"> </span><span class="cpf" id="mwEGg"><functional></span> <span class="cp" id="mwEGk">#include</span><span class="w" id="mwEGo"> </span><span class="cpf" id="mwEGs"><iostream></span> <span class="c1" id="mwEGw">// This function will take a reference to the parameter 'r' and increment it.</span> <span class="kt" id="mwEG0">void</span><span class="w" id="mwEG4"> </span><span class="nf" id="mwEG8">func</span><span class="p" id="mwEHA">(</span><span class="kt" id="mwEHE">int</span><span class="o" id="mwEHI">&</span><span class="w" id="mwEHM"> </span><span class="n" id="mwEHQ">r</span><span class="p" id="mwEHU">)</span><span class="w" id="mwEHY"> </span><span class="p" id="mwEHc">{</span><span class="w" id="mwEHg"> </span> <span class="w" id="mwEHk"> </span><span class="n" id="mwEHo">r</span><span class="o" id="mwEHs">++</span><span class="p" id="mwEHw">;</span><span class="w" id="mwEH0"> </span> <span class="p" id="mwEH4">}</span> <span class="c1" id="mwEH8">// Template function.</span> <span class="k" id="mwEIA">template</span><span class="w" id="mwEIE"> </span><span class="o" id="mwEII"><</span><span class="k" id="mwEIM">class</span><span class="w" id="mwEIQ"> </span><span class="nc" id="mwEIU">F</span><span class="p" id="mwEIY">,</span><span class="w" id="mwEIc"> </span><span class="k" id="mwEIg">class</span><span class="w" id="mwEIk"> </span><span class="nc" id="mwEIo">P</span><span class="o" id="mwEIs">></span><span class="w" id="mwEIw"> </span> <span class="kt" id="mwEI0">void</span><span class="w" id="mwEI4"> </span><span class="n" id="mwEI8">g</span><span class="p" id="mwEJA">(</span><span class="n" id="mwEJE">F</span><span class="w" id="mwEJI"> </span><span class="n" id="mwEJM">f</span><span class="p" id="mwEJQ">,</span><span class="w" id="mwEJU"> </span><span class="n" id="mwEJY">P</span><span class="w" id="mwEJc"> </span><span class="n" id="mwEJg">t</span><span class="p" id="mwEJk">)</span><span class="w" id="mwEJo"> </span><span class="p" id="mwEJs">{</span><span class="w" id="mwEJw"> </span> <span class="w" id="mwEJ0"> </span><span class="n" id="mwEJ4">f</span><span class="p" id="mwEJ8">(</span><span class="n" id="mwEKA">t</span><span class="p" id="mwEKE">);</span><span class="w" id="mwEKI"> </span> <span class="p" id="mwEKM">}</span> <span class="kt" id="mwEKQ">int</span><span class="w" id="mwEKU"> </span><span class="n" id="mwEKY">main</span><span class="p" id="mwEKc">()</span><span class="w" id="mwEKg"> </span><span class="p" id="mwEKk">{</span> <span class="w" id="mwEKo"> </span><span class="kt" id="mwEKs">int</span><span class="w" id="mwEKw"> </span><span class="n" id="mwEK0">i</span><span class="w" id="mwEK4"> </span><span class="o" id="mwEK8">=</span><span class="w" id="mwELA"> </span><span class="mi" id="mwELE">0</span><span class="p" id="mwELI">;</span> <span class="w" id="mwELM"> </span><span class="n" id="mwELQ">g</span><span class="p" id="mwELU">(</span><span class="n" id="mwELY">func</span><span class="p" id="mwELc">,</span><span class="w" id="mwELg"> </span><span class="n" id="mwELk">i</span><span class="p" id="mwELo">);</span><span class="w" id="mwELs"> </span> <span class="w" id="mwELw"> </span><span class="c1" id="mwEL0">// 'g<void(int& r), int>' is instantiated</span> <span class="w" id="mwEL4"> </span><span class="c1" id="mwEL8">// then 'i' will not be modified.</span> <span class="w" id="mwEMA"> </span><span class="n" id="mwEME">std</span><span class="o" id="mwEMI">::</span><span class="n" id="mwEMM">cout</span><span class="w" id="mwEMQ"> </span><span class="o" id="mwEMU"><<</span><span class="w" id="mwEMY"> </span><span class="n" id="mwEMc">i</span><span class="w" id="mwEMg"> </span><span class="o" id="mwEMk"><<</span><span class="w" id="mwEMo"> </span><span class="n" id="mwEMs">std</span><span class="o" id="mwEMw">::</span><span class="n" id="mwEM0">endl</span><span class="p" id="mwEM4">;</span><span class="w" id="mwEM8"> </span><span class="c1" id="mwENA">// Output -> 0</span> <span class="w" id="mwENE"> </span><span class="n" id="mwENI">g</span><span class="p" id="mwENM">(</span><span class="n" id="mwENQ">func</span><span class="p" id="mwENU">,</span><span class="w" id="mwENY"> </span><span class="n" id="mwENc">std</span><span class="o" id="mwENg">::</span><span class="n" id="mwENk">ref</span><span class="p" id="mwENo">(</span><span class="n" id="mwENs">i</span><span class="p" id="mwENw">));</span><span class="w" id="mwEN0"> </span> <span class="w" id="mwEN4"> </span><span class="c1" id="mwEN8">// 'g<void(int& r), reference_wrapper<int>>' is instantiated</span> <span class="w" id="mwEOA"> </span><span class="c1" id="mwEOE">// then 'i' will be modified.</span> <span class="w" id="mwEOI"> </span><span class="n" id="mwEOM">std</span><span class="o" id="mwEOQ">::</span><span class="n" id="mwEOU">cout</span><span class="w" id="mwEOY"> </span><span class="o" id="mwEOc"><<</span><span class="w" id="mwEOg"> </span><span class="n" id="mwEOk">i</span><span class="w" id="mwEOo"> </span><span class="o" id="mwEOs"><<</span><span class="w" id="mwEOw"> </span><span class="n" id="mwEO0">std</span><span class="o" id="mwEO4">::</span><span class="n" id="mwEO8">endl</span><span class="p" id="mwEPA">;</span><span class="w" id="mwEPE"> </span><span class="c1" id="mwEPI">// Output -> 1</span> <span class="p" id="mwEPM">}</span>This new utility was added to the existing <functional> header and didn't need further extensions of the C++ language.
Polymorphic wrappers for function objects
Polymorphic wrappers for function objects are similar to function pointers in semantics and syntax, but are less tightly bound and can indiscriminately refer to anything which can be called (function pointers, member function pointers, or functors) whose arguments are compatible with those of the wrapper.
An example can clarify its characteristics:
<span id="mwEQA"></span><span class="cp" id="mwEQE">#include</span><span class="w" id="mwEQI"> </span><span class="cpf" id="mwEQM"><functional></span> <span class="k" id="mwEQQ">using</span><span class="w" id="mwEQU"> </span><span class="n" id="mwEQY">std</span><span class="o" id="mwEQc">::</span><span class="n" id="mwEQg">function</span><span class="p" id="mwEQk">;</span> <span class="k" id="mwEQo">using</span><span class="w" id="mwEQs"> </span><span class="n" id="mwEQw">std</span><span class="o" id="mwEQ0">::</span><span class="n" id="mwEQ4">plus</span><span class="p" id="mwEQ8">;</span> <span class="c1" id="mwERA">// Wrapper creation using template class 'function'.</span> <span class="n" id="mwERE">function</span><span class="o" id="mwERI"><</span><span class="kt" id="mwERM">int</span><span class="p" id="mwERQ">(</span><span class="kt" id="mwERU">int</span><span class="p" id="mwERY">,</span><span class="w" id="mwERc"> </span><span class="kt" id="mwERg">int</span><span class="p" id="mwERk">)</span><span class="o" id="mwERo">></span><span class="w" id="mwERs"> </span><span class="n" id="mwERw">func</span><span class="p" id="mwER0">;</span> <span class="n" id="mwER4">plus</span><span class="o" id="mwER8"><</span><span class="kt" id="mwESA">int</span><span class="o" id="mwESE">></span><span class="w" id="mwESI"> </span><span class="n" id="mwESM">add</span><span class="p" id="mwESQ">;</span><span class="w" id="mwESU"> </span> <span class="c1" id="mwESY">// 'plus' is declared as 'template <class T> T plus(T, T) ;'</span> <span class="c1" id="mwESc">// then 'add' is type 'int add( int x, int y )'.</span> <span class="n" id="mwESg">func</span><span class="w" id="mwESk"> </span><span class="o" id="mwESo">=</span><span class="w" id="mwESs"> </span><span class="n" id="mwESw">add</span><span class="p" id="mwES0">;</span><span class="w" id="mwES4"> </span><span class="c1" id="mwES8">// OK - Parameters and return types are the same.</span> <span class="kt" id="mwETA">int</span><span class="w" id="mwETE"> </span><span class="n" id="mwETI">a</span><span class="w" id="mwETM"> </span><span class="o" id="mwETQ">=</span><span class="w" id="mwETU"> </span><span class="n" id="mwETY">func</span><span class="p" id="mwETc">(</span><span class="mi" id="mwETg">1</span><span class="p" id="mwETk">,</span><span class="w" id="mwETo"> </span><span class="mi" id="mwETs">2</span><span class="p" id="mwETw">);</span> <span class="c1" id="mwET0">// NOTE: if the wrapper 'func' does not refer to any function,</span> <span class="c1" id="mwET4">// the exception 'std::bad_function_call' is thrown.</span> <span class="n" id="mwET8">function</span><span class="o" id="mwEUA"><</span><span class="kt" id="mwEUE">bool</span><span class="p" id="mwEUI">(</span><span class="kt" id="mwEUM">short</span><span class="p" id="mwEUQ">,</span><span class="w" id="mwEUU"> </span><span class="kt" id="mwEUY">short</span><span class="p" id="mwEUc">)</span><span class="o" id="mwEUg">></span><span class="w" id="mwEUk"> </span><span class="n" id="mwEUo">func2</span><span class="p" id="mwEUs">;</span> <span class="k" id="mwEUw">if</span><span class="w" id="mwEU0"> </span><span class="p" id="mwEU4">(</span><span class="o" id="mwEU8">!</span><span class="n" id="mwEVA">func2</span><span class="p" id="mwEVE">)</span><span class="w" id="mwEVI"> </span><span class="p" id="mwEVM">{</span> <span class="w" id="mwEVQ"> </span><span class="c1" id="mwEVU">// True because 'func2' has not yet been assigned a function.</span> <span class="w" id="mwEVY"> </span><span class="kt" id="mwEVc">bool</span><span class="w" id="mwEVg"> </span><span class="nf" id="mwEVk">adjacent</span><span class="p" id="mwEVo">(</span><span class="kt" id="mwEVs">long</span><span class="w" id="mwEVw"> </span><span class="n" id="mwEV0">x</span><span class="p" id="mwEV4">,</span><span class="w" id="mwEV8"> </span><span class="kt" id="mwEWA">long</span><span class="w" id="mwEWE"> </span><span class="n" id="mwEWI">y</span><span class="p" id="mwEWM">);</span> <span class="w" id="mwEWQ"> </span><span class="n" id="mwEWU">func2</span><span class="w" id="mwEWY"> </span><span class="o" id="mwEWc">=</span><span class="w" id="mwEWg"> </span><span class="o" id="mwEWk">&</span><span class="n" id="mwEWo">adjacent</span><span class="p" id="mwEWs">;</span><span class="w" id="mwEWw"> </span><span class="c1" id="mwEW0">// OK - Parameters and return types are convertible.</span> <span class="w" id="mwEW4"> </span><span class="k" id="mwEW8">struct</span><span class="w" id="mwEXA"> </span><span class="nc" id="mwEXE">Test</span><span class="w" id="mwEXI"> </span><span class="p" id="mwEXM">{</span> <span class="w" id="mwEXQ"> </span><span class="kt" id="mwEXU">bool</span><span class="w" id="mwEXY"> </span><span class="nf" id="mwEXc">operator</span><span class="p" id="mwEXg">()(</span><span class="kt" id="mwEXk">short</span><span class="w" id="mwEXo"> </span><span class="n" id="mwEXs">x</span><span class="p" id="mwEXw">,</span><span class="w" id="mwEX0"> </span><span class="kt" id="mwEX4">short</span><span class="w" id="mwEX8"> </span><span class="n" id="mwEYA">y</span><span class="p" id="mwEYE">);</span> <span class="w" id="mwEYI"> </span><span class="p" id="mwEYM">};</span> <span class="w" id="mwEYQ"> </span><span class="n" id="mwEYU">Test</span><span class="w" id="mwEYY"> </span><span class="n" id="mwEYc">car</span><span class="p" id="mwEYg">;</span> <span class="w" id="mwEYk"> </span><span class="c1" id="mwEYo">// 'std::ref' is a template function that returns the wrapper</span> <span class="w" id="mwEYs"> </span><span class="c1" id="mwEYw">// of member function 'operator()' of struct 'car'.</span> <span class="w" id="mwEY0"> </span><span class="n" id="mwEY4">func</span><span class="w" id="mwEY8"> </span><span class="o" id="mwEZA">=</span><span class="w" id="mwEZE"> </span><span class="n" id="mwEZI">std</span><span class="o" id="mwEZM">::</span><span class="n" id="mwEZQ">ref</span><span class="p" id="mwEZU">(</span><span class="n" id="mwEZY">car</span><span class="p" id="mwEZc">);</span> <span class="p" id="mwEZg">}</span> <span class="n" id="mwEZk">func</span><span class="w" id="mwEZo"> </span><span class="o" id="mwEZs">=</span><span class="w" id="mwEZw"> </span><span class="n" id="mwEZ0">func2</span><span class="p" id="mwEZ4">;</span><span class="w" id="mwEZ8"> </span><span class="c1" id="mwEaA">// OK - Parameters and return types are convertible.</span>The template class function was defined inside the header <functional>, without needing any change to the C++ language.
Type traits for metaprogramming
Metaprogramming consists of creating a program that creates or modifies another program (or itself). This can happen during compilation or during execution. The C++ Standards Committee has decided to introduce a library for metaprogramming during compiling via templates.
Here is an example of a meta-program using the C++03 standard: a recursion of template instances for calculating integer exponents:
<span id="mwEa0"></span><span class="k" id="mwEa4">template</span><span class="w" id="mwEa8"> </span><span class="o" id="mwEbA"><</span><span class="kt" id="mwEbE">int</span><span class="w" id="mwEbI"> </span><span class="n" id="mwEbM">B</span><span class="p" id="mwEbQ">,</span><span class="w" id="mwEbU"> </span><span class="kt" id="mwEbY">int</span><span class="w" id="mwEbc"> </span><span class="n" id="mwEbg">N</span><span class="o" id="mwEbk">></span> <span class="k" id="mwEbo">struct</span><span class="w" id="mwEbs"> </span><span class="nc" id="mwEbw">Power</span><span class="w" id="mwEb0"> </span><span class="p" id="mwEb4">{</span> <span class="w" id="mwEb8"> </span><span class="c1" id="mwEcA">// recursive call and recombination.</span> <span class="w" id="mwEcE"> </span><span class="k" id="mwEcI">enum</span><span class="w" id="mwEcM"> </span><span class="p" id="mwEcQ">{</span><span class="w" id="mwEcU"> </span> <span class="w" id="mwEcY"> </span><span class="n" id="mwEcc">VALUE</span><span class="w" id="mwEcg"> </span><span class="o" id="mwEck">=</span><span class="w" id="mwEco"> </span><span class="n" id="mwEcs">B</span><span class="w" id="mwEcw"> </span><span class="o" id="mwEc0">*</span><span class="w" id="mwEc4"> </span><span class="n" id="mwEc8">Power</span><span class="o" id="mwEdA"><</span><span class="n" id="mwEdE">B</span><span class="p" id="mwEdI">,</span><span class="w" id="mwEdM"> </span><span class="n" id="mwEdQ">N</span><span class="w" id="mwEdU"> </span><span class="o" id="mwEdY">-</span><span class="w" id="mwEdc"> </span><span class="mi" id="mwEdg">1</span><span class="o" id="mwEdk">>::</span><span class="n" id="mwEdo">VALUE</span><span class="w" id="mwEds"> </span> <span class="w" id="mwEdw"> </span><span class="p" id="mwEd0">};</span> <span class="p" id="mwEd4">};</span> <span class="k" id="mwEd8">template</span><span class="w" id="mwEeA"> </span><span class="o" id="mwEeE"><</span><span class="kt" id="mwEeI">int</span><span class="w" id="mwEeM"> </span><span class="n" id="mwEeQ">B</span><span class="o" id="mwEeU">></span> <span class="k" id="mwEeY">struct</span><span class="w" id="mwEec"> </span><span class="nc" id="mwEeg">Power</span><span class="o" id="mwEek"><</span><span class="n" id="mwEeo">B</span><span class="p" id="mwEes">,</span><span class="w" id="mwEew"> </span><span class="mi" id="mwEe0">0</span><span class="o" id="mwEe4">></span><span class="w" id="mwEe8"> </span><span class="p" id="mwEfA">{</span> <span class="w" id="mwEfE"> </span><span class="c1" id="mwEfI">// ''N == 0'' condition of termination.</span> <span class="w" id="mwEfM"> </span><span class="k" id="mwEfQ">enum</span><span class="w" id="mwEfU"> </span><span class="p" id="mwEfY">{</span><span class="w" id="mwEfc"> </span> <span class="w" id="mwEfg"> </span><span class="n" id="mwEfk">VALUE</span><span class="w" id="mwEfo"> </span><span class="o" id="mwEfs">=</span><span class="w" id="mwEfw"> </span><span class="mi" id="mwEf0">1</span><span class="w" id="mwEf4"> </span> <span class="w" id="mwEf8"> </span><span class="p" id="mwEgA">};</span> <span class="p" id="mwEgE">};</span> <span class="kt" id="mwEgI">int</span><span class="w" id="mwEgM"> </span><span class="n" id="mwEgQ">quartic_of_three</span><span class="w" id="mwEgU"> </span><span class="o" id="mwEgY">=</span><span class="w" id="mwEgc"> </span><span class="n" id="mwEgg">Power</span><span class="o" id="mwEgk"><</span><span class="mi" id="mwEgo">3</span><span class="p" id="mwEgs">,</span><span class="w" id="mwEgw"> </span><span class="mi" id="mwEg0">4</span><span class="o" id="mwEg4">>::</span><span class="n" id="mwEg8">VALUE</span><span class="p" id="mwEhA">;</span>Many algorithms can operate on different types of data; C++'s templates support generic programming and make code more compact and useful. Nevertheless, it is common for algorithms to need information on the data types being used. This information can be extracted during instantiation of a template class using type traits.
Type traits can identify the category of an object and all the characteristics of a class (or of a struct). They are defined in the new header <type_traits>.
In the next example there is the template function 'elaborate' which, depending on the given data types, will instantiate one of the two proposed algorithms (Algorithm::perform).
<span id="mwEh0"></span><span class="cp" id="mwEh4">#include</span><span class="w" id="mwEh8"> </span><span class="cpf" id="mwEiA"><type_traits></span> <span class="k" id="mwEiE">using</span><span class="w" id="mwEiI"> </span><span class="n" id="mwEiM">std</span><span class="o" id="mwEiQ">::</span><span class="n" id="mwEiU">is_floating_point</span><span class="p" id="mwEiY">;</span> <span class="k" id="mwEic">using</span><span class="w" id="mwEig"> </span><span class="n" id="mwEik">std</span><span class="o" id="mwEio">::</span><span class="n" id="mwEis">is_integral</span><span class="p" id="mwEiw">;</span> <span class="c1" id="mwEi0">// First way of operating.</span> <span class="k" id="mwEi4">template</span><span class="w" id="mwEi8"> </span><span class="o" id="mwEjA"><</span><span class="kt" id="mwEjE">bool</span><span class="w" id="mwEjI"> </span><span class="n" id="mwEjM">B</span><span class="o" id="mwEjQ">></span><span class="w" id="mwEjU"> </span> <span class="k" id="mwEjY">struct</span><span class="w" id="mwEjc"> </span><span class="nc" id="mwEjg">Algorithm</span><span class="w" id="mwEjk"> </span><span class="p" id="mwEjo">{</span> <span class="w" id="mwEjs"> </span><span class="k" id="mwEjw">template</span><span class="w" id="mwEj0"> </span><span class="o" id="mwEj4"><</span><span class="k" id="mwEj8">class</span><span class="w" id="mwEkA"> </span><span class="nc" id="mwEkE">T1</span><span class="p" id="mwEkI">,</span><span class="w" id="mwEkM"> </span><span class="k" id="mwEkQ">class</span><span class="w" id="mwEkU"> </span><span class="nc" id="mwEkY">T2</span><span class="o" id="mwEkc">></span><span class="w" id="mwEkg"> </span> <span class="w" id="mwEkk"> </span><span class="k" id="mwEko">static</span><span class="w" id="mwEks"> </span><span class="kt" id="mwEkw">int</span><span class="w" id="mwEk0"> </span><span class="n" id="mwEk4">perform</span><span class="p" id="mwEk8">(</span><span class="n" id="mwElA">T1</span><span class="o" id="mwElE">&</span><span class="p" id="mwElI">,</span><span class="w" id="mwElM"> </span><span class="n" id="mwElQ">T2</span><span class="o" id="mwElU">&</span><span class="p" id="mwElY">)</span><span class="w" id="mwElc"> </span><span class="p" id="mwElg">{</span> <span class="w" id="mwElk"> </span><span class="c1" id="mwElo">// ...</span> <span class="w" id="mwEls"> </span><span class="p" id="mwElw">}</span> <span class="p" id="mwEl0">};</span> <span class="c1" id="mwEl4">// Second way of operating.</span> <span class="k" id="mwEl8">template</span><span class="w" id="mwEmA"> </span><span class="o" id="mwEmE"><></span><span class="w" id="mwEmI"> </span> <span class="k" id="mwEmM">struct</span><span class="w" id="mwEmQ"> </span><span class="nc" id="mwEmU">Algorithm</span><span class="o" id="mwEmY"><</span><span class="nb" id="mwEmc">true</span><span class="o" id="mwEmg">></span><span class="w" id="mwEmk"> </span><span class="p" id="mwEmo">{</span> <span class="w" id="mwEms"> </span><span class="k" id="mwEmw">template</span><span class="w" id="mwEm0"> </span><span class="o" id="mwEm4"><</span><span class="k" id="mwEm8">class</span><span class="w" id="mwEnA"> </span><span class="nc" id="mwEnE">T1</span><span class="p" id="mwEnI">,</span><span class="w" id="mwEnM"> </span><span class="k" id="mwEnQ">class</span><span class="w" id="mwEnU"> </span><span class="nc" id="mwEnY">T2</span><span class="o" id="mwEnc">></span><span class="w" id="mwEng"> </span> <span class="w" id="mwEnk"> </span><span class="k" id="mwEno">static</span><span class="w" id="mwEns"> </span><span class="kt" id="mwEnw">int</span><span class="w" id="mwEn0"> </span><span class="n" id="mwEn4">perform</span><span class="p" id="mwEn8">(</span><span class="n" id="mwEoA">T1</span><span class="p" id="mwEoE">,</span><span class="w" id="mwEoI"> </span><span class="n" id="mwEoM">T2</span><span class="p" id="mwEoQ">)</span><span class="w" id="mwEoU"> </span><span class="p" id="mwEoY">{</span> <span class="w" id="mwEoc"> </span><span class="c1" id="mwEog">// ...</span> <span class="w" id="mwEok"> </span><span class="p" id="mwEoo">}</span> <span class="p" id="mwEos">};</span> <span class="c1" id="mwEow">// Instantiating 'elaborate' will automatically instantiate the correct way to operate.</span> <span class="k" id="mwEo0">template</span><span class="w" id="mwEo4"> </span><span class="o" id="mwEo8"><</span><span class="k" id="mwEpA">class</span><span class="w" id="mwEpE"> </span><span class="nc" id="mwEpI">T1</span><span class="p" id="mwEpM">,</span><span class="w" id="mwEpQ"> </span><span class="k" id="mwEpU">class</span><span class="w" id="mwEpY"> </span><span class="nc" id="mwEpc">T2</span><span class="o" id="mwEpg">></span> <span class="kt" id="mwEpk">int</span><span class="w" id="mwEpo"> </span><span class="n" id="mwEps">elaborate</span><span class="p" id="mwEpw">(</span><span class="n" id="mwEp0">T1</span><span class="w" id="mwEp4"> </span><span class="n" id="mwEp8">A</span><span class="p" id="mwEqA">,</span><span class="w" id="mwEqE"> </span><span class="n" id="mwEqI">T2</span><span class="w" id="mwEqM"> </span><span class="n" id="mwEqQ">B</span><span class="p" id="mwEqU">)</span><span class="w" id="mwEqY"> </span><span class="p" id="mwEqc">{</span> <span class="w" id="mwEqg"> </span><span class="c1" id="mwEqk">// Use the second way only if 'T1' is an integer and if 'T2' is</span> <span class="w" id="mwEqo"> </span><span class="c1" id="mwEqs">// in floating point, otherwise use the first way.</span> <span class="w" id="mwEqw"> </span><span class="k" id="mwEq0">return</span><span class="w" id="mwEq4"> </span><span class="n" id="mwEq8">Algorithm</span><span class="o" id="mwErA"><</span><span class="n" id="mwErE">is_integral</span><span class="o" id="mwErI"><</span><span class="n" id="mwErM">T1</span><span class="o" id="mwErQ">>::</span><span class="n" id="mwErU">value</span><span class="w" id="mwErY"> </span><span class="o" id="mwErc">&&</span><span class="w" id="mwErg"> </span><span class="n" id="mwErk">is_floating_point</span><span class="o" id="mwEro"><</span><span class="n" id="mwErs">T2</span><span class="o" id="mwErw">>::</span><span class="n" id="mwEr0">value</span><span class="o" id="mwEr4">>::</span><span class="n" id="mwEr8">perform</span><span class="p" id="mwEsA">(</span><span class="w" id="mwEsE"> </span><span class="n" id="mwEsI">A</span><span class="p" id="mwEsM">,</span><span class="w" id="mwEsQ"> </span><span class="n" id="mwEsU">B</span><span class="w" id="mwEsY"> </span><span class="p" id="mwEsc">)</span><span class="w" id="mwEsg"> </span><span class="p" id="mwEsk">;</span> <span class="p" id="mwEso">}</span>Via type traits, defined in header <type_traits>, it's also possible to create type transformation operations (static_cast and const_cast are insufficient inside a template).
This type of programming produces elegant and concise code; however, the weak point of these techniques is the debugging: it's uncomfortable during compilation and very difficult during program execution.
Uniform method for computing the return type of function objects
Determining the return type of a template function object at compile-time is not intuitive, particularly if the return value depends on the parameters of the function. As an example:
<span id="mwEtY"></span><span class="k" id="mwEtc">struct</span><span class="w" id="mwEtg"> </span><span class="nc" id="mwEtk">Clear</span><span class="w" id="mwEto"> </span><span class="p" id="mwEts">{</span> <span class="w" id="mwEtw"> </span><span class="c1" id="mwEt0">// The parameter type is equal to the return type.</span> <span class="w" id="mwEt4"> </span><span class="kt" id="mwEt8">int</span><span class="w" id="mwEuA"> </span><span class="nf" id="mwEuE">operator</span><span class="p" id="mwEuI">()(</span><span class="kt" id="mwEuM">int</span><span class="p" id="mwEuQ">)</span><span class="w" id="mwEuU"> </span><span class="k" id="mwEuY">const</span><span class="p" id="mwEuc">;</span> <span class="w" id="mwEug"> </span><span class="kt" id="mwEuk">double</span><span class="w" id="mwEuo"> </span><span class="nf" id="mwEus">operator</span><span class="p" id="mwEuw">()(</span><span class="kt" id="mwEu0">double</span><span class="p" id="mwEu4">)</span><span class="w" id="mwEu8"> </span><span class="k" id="mwEvA">const</span><span class="p" id="mwEvE">;</span> <span class="p" id="mwEvI">};</span> <span class="k" id="mwEvM">template</span><span class="w" id="mwEvQ"> </span><span class="o" id="mwEvU"><</span><span class="k" id="mwEvY">class</span><span class="w" id="mwEvc"> </span><span class="nc" id="mwEvg">Obj</span><span class="o" id="mwEvk">></span> <span class="k" id="mwEvo">class</span><span class="w" id="mwEvs"> </span><span class="nc" id="mwEvw">Calculus</span><span class="w" id="mwEv0"> </span><span class="p" id="mwEv4">{</span> <span class="k" id="mwEv8">private</span><span class="o" id="mwEwA">:</span> <span class="w" id="mwEwE"> </span><span class="n" id="mwEwI">Obj</span><span class="w" id="mwEwM"> </span><span class="n" id="mwEwQ">member</span><span class="p" id="mwEwU">;</span> <span class="k" id="mwEwY">public</span><span class="o" id="mwEwc">:</span> <span class="w" id="mwEwg"> </span><span class="k" id="mwEwk">template</span><span class="w" id="mwEwo"> </span><span class="o" id="mwEws"><</span><span class="k" id="mwEww">class</span><span class="w" id="mwEw0"> </span><span class="nc" id="mwEw4">Arg</span><span class="o" id="mwEw8">></span><span class="w" id="mwExA"> </span> <span class="w" id="mwExE"> </span><span class="n" id="mwExI">Arg</span><span class="w" id="mwExM"> </span><span class="k" id="mwExQ">operator</span><span class="p" id="mwExU">()(</span><span class="n" id="mwExY">Arg</span><span class="o" id="mwExc">&</span><span class="w" id="mwExg"> </span><span class="n" id="mwExk">a</span><span class="p" id="mwExo">)</span><span class="w" id="mwExs"> </span><span class="k" id="mwExw">const</span><span class="w" id="mwEx0"> </span><span class="p" id="mwEx4">{</span> <span class="w" id="mwEx8"> </span><span class="k" id="mwEyA">return</span><span class="w" id="mwEyE"> </span><span class="n" id="mwEyI">member</span><span class="p" id="mwEyM">(</span><span class="n" id="mwEyQ">a</span><span class="p" id="mwEyU">);</span> <span class="w" id="mwEyY"> </span><span class="p" id="mwEyc">}</span> <span class="p" id="mwEyg">};</span>Instantiating the class template Calculus<Clear>, the function object of calculus will have always the same return type as the function object of Clear. However, given class Confused below:
<span id="mwEzE"></span><span class="k" id="mwEzI">struct</span><span class="w" id="mwEzM"> </span><span class="nc" id="mwEzQ">Confused</span><span class="w" id="mwEzU"> </span><span class="p" id="mwEzY">{</span> <span class="w" id="mwEzc"> </span><span class="c1" id="mwEzg">// The parameter type is not equal to the return type.</span> <span class="w" id="mwEzk"> </span><span class="kt" id="mwEzo">double</span><span class="w" id="mwEzs"> </span><span class="nf" id="mwEzw">operator</span><span class="p" id="mwEz0">()(</span><span class="kt" id="mwEz4">int</span><span class="p" id="mwEz8">)</span><span class="w" id="mwE0A"> </span><span class="k" id="mwE0E">const</span><span class="p" id="mwE0I">;</span> <span class="w" id="mwE0M"> </span><span class="kt" id="mwE0Q">int</span><span class="w" id="mwE0U"> </span><span class="nf" id="mwE0Y">operator</span><span class="p" id="mwE0c">()(</span><span class="kt" id="mwE0g">double</span><span class="p" id="mwE0k">)</span><span class="w" id="mwE0o"> </span><span class="k" id="mwE0s">const</span><span class="p" id="mwE0w">;</span> <span class="p" id="mwE00">};</span>Attempting to instantiate Calculus<Confused> will cause the return type of Calculus to not be the same as that of class Confused. The compiler may generate warnings about the conversion from int to double and vice versa.
TR1 introduces, and C++11 adopts, the template class std::result_of that allows one to determine and use the return type of a function object for every declaration. The object CalculusVer2 uses the std::result_of object to derive the return type of the function object:
<span id="mwE1s"></span><span class="cp" id="mwE1w">#include</span><span class="w" id="mwE10"> </span><span class="cpf" id="mwE14"><type_traits></span> <span class="k" id="mwE18">using</span><span class="w" id="mwE2A"> </span><span class="n" id="mwE2E">std</span><span class="o" id="mwE2I">::</span><span class="n" id="mwE2M">result_of</span><span class="p" id="mwE2Q">;</span> <span class="k" id="mwE2U">template</span><span class="w" id="mwE2Y"> </span><span class="o" id="mwE2c"><</span><span class="k" id="mwE2g">class</span><span class="w" id="mwE2k"> </span><span class="nc" id="mwE2o">Obj</span><span class="o" id="mwE2s">></span> <span class="k" id="mwE2w">class</span><span class="w" id="mwE20"> </span><span class="nc" id="mwE24">CalculusVer2</span><span class="w" id="mwE28"> </span><span class="p" id="mwE3A">{</span> <span class="k" id="mwE3E">private</span><span class="o" id="mwE3I">:</span> <span class="w" id="mwE3M"> </span><span class="n" id="mwE3Q">Obj</span><span class="w" id="mwE3U"> </span><span class="n" id="mwE3Y">member</span><span class="p" id="mwE3c">;</span> <span class="k" id="mwE3g">public</span><span class="o" id="mwE3k">:</span> <span class="w" id="mwE3o"> </span><span class="k" id="mwE3s">template</span><span class="w" id="mwE3w"> </span><span class="o" id="mwE30"><</span><span class="k" id="mwE34">class</span><span class="w" id="mwE38"> </span><span class="nc" id="mwE4A">Arg</span><span class="o" id="mwE4E">></span> <span class="w" id="mwE4I"> </span><span class="k" id="mwE4M">typename</span><span class="w" id="mwE4Q"> </span><span class="nc" id="mwE4U">result_of</span><span class="o" id="mwE4Y"><</span><span class="n" id="mwE4c">Obj</span><span class="p" id="mwE4g">(</span><span class="n" id="mwE4k">Arg</span><span class="p" id="mwE4o">)</span><span class="o" id="mwE4s">>::</span><span class="n" id="mwE4w">type</span><span class="w" id="mwE40"> </span><span class="k" id="mwE44">operator</span><span class="p" id="mwE48">()(</span><span class="n" id="mwE5A">Arg</span><span class="o" id="mwE5E">&</span><span class="w" id="mwE5I"> </span><span class="n" id="mwE5M">a</span><span class="p" id="mwE5Q">)</span><span class="w" id="mwE5U"> </span><span class="k" id="mwE5Y">const</span><span class="w" id="mwE5c"> </span><span class="p" id="mwE5g">{</span> <span class="w" id="mwE5k"> </span><span class="k" id="mwE5o">return</span><span class="w" id="mwE5s"> </span><span class="n" id="mwE5w">member</span><span class="p" id="mwE50">(</span><span class="n" id="mwE54">a</span><span class="p" id="mwE58">);</span> <span class="w" id="mwE6A"> </span><span class="p" id="mwE6E">}</span> <span class="p" id="mwE6I">};</span>In this way in instances of function object of CalculusVer2<Confused> there are no conversions, warnings, or errors.
The only change from the TR1 version of std::result_of is that the TR1 version allowed an implementation to fail to be able to determine the result type of a function call. Due to changes to C++ for supporting decltype, the C++11 version of std::result_of no longer needs these special cases; implementations are required to compute a type in all cases.
Improved C compatibility
For compatibility with C, from C99, these were added:
- Preprocessor:
- variadic macros,
- concatenation of adjacent narrow/wide string literals,
_Pragma()– equivalent of#pragma.
long long– integer type that is at least 64 bits long.__func__– macro evaluating to the name of the function it is in.- Headers:
cstdbool(stdbool.h),cstdint(stdint.h),cinttypes(inttypes.h).
Features originally planned but removed or not included
Heading for a separate TR:
- Modules
- Decimal types
- Math special functions
Postponed:
- Concepts
- More complete or required garbage collection support
- Reflection
- Macro scopes
Features removed or deprecated
The term sequence point was removed, being replaced by specifying that either one operation is sequenced before another, or that two operations are unsequenced.
The use of the keyword export, along with exported templates, were removed. The export keyword remained reserved, and was later reintroduced in C++20 with the addition of modules.
Dynamic exception specifications are deprecated. Compile-time specification of non-exception-throwing functions is available with the noexcept keyword, which is useful for optimization.
std::auto_ptr is deprecated, having been superseded by std::unique_ptr.
Function object base classes (std::unary_function, std::binary_function), adapters to pointers to functions and adapters to pointers to members, and binder classes are all deprecated.
Annex D.2 states: "The use of the register keyword as a storage-class-specifier (§7.1.1) is deprecated."