{"id":173,"date":"2014-11-12T07:35:00","date_gmt":"2014-11-12T15:35:00","guid":{"rendered":"https:\/\/blogs.msdn.microsoft.com\/vcblog\/2014\/11\/12\/details-about-some-of-the-new-c-language-features\/"},"modified":"2019-07-31T09:25:43","modified_gmt":"2019-07-31T09:25:43","slug":"details-about-some-of-the-new-c-language-features","status":"publish","type":"post","link":"https:\/\/devblogs.microsoft.com\/cppblog\/details-about-some-of-the-new-c-language-features\/","title":{"rendered":"Details About Some of the New C++ Language Features"},"content":{"rendered":"

When you read our release notes<\/a>, you’ll notice that we’ve added a large number of C++ language features. The details of what these features are<\/em> can be found all over the web, but what purpose<\/em> they serve might still be nebulous. This article will attempt to explain the origins of and how to use a few of these new language mechanisms for best results.<\/p>\n

Terse Range-Based For Loops<\/h2>\n

[Note 11\/12\/2014 1:00pm PST: This proposed feature was approved by the Evolution and Core Working Groups in June 2014, and it was implemented in VS 2015 Preview and Clang 3.5, but the full Standardization Committee rejected this feature on Nov. 7, so it will be removed from VS 2015 RTM. New syntax will be proposed at the next Committee meeting in May 2015.]<\/em><\/p>\n

This proposed <\/em>C++17 feature allows you to omit the type of the element in range-based for loops:<\/p>\n

    std::vector<int> v = { 1, 2, 3 }; <\/span><\/span><\/span><\/span><\/span>
    for (i : v) <\/span><\/span><\/span>
    { <\/span>
        printf(“%d “, i); <\/span><\/span><\/span>
    }<\/span><\/p>\n

You should keep in mind that this is more than a mere syntactic convenience.<\/p>\n

Many developers will tend to write auto<\/strong> as the element type, and in most cases this would work correctly, except that auto<\/strong> by itself causes the elements to be copied, which is usually not desirable. Furthermore, mutations to the element will not be reflected in the container.<\/p>\n

Some developers might try to get around these problems by writing auto &<\/strong> as the element type instead. This will indeed work in a greater number of cases, but in some corner cases it also breaks:<\/p>\n

    std::vector<bool> v = { true, false }; <\/span><\/span><\/span><\/span><\/span><\/span><\/span><\/span><\/span>
    for (auto &i : v) \/\/C4239<\/span><\/span><\/span><\/span><\/span><\/span>
    { <\/span>
        printf(“%d “, (bool)i); <\/span><\/span><\/span><\/span><\/span>
    }<\/span><\/p>\n

The std::vector<bool><\/strong><\/a> type is specialized to be a bit vector, so a proxy type (a.k.a. “simulated reference”) is needed when iterating. The compiler will emit:<\/p>\n

warning C4239: nonstandard extension used: ‘initializing’: conversion from ‘std::_Vb_reference<std::_Wrap_alloc<std::allocator<_Other>>>’ to ‘std::_Vb_reference<std::_Wrap_alloc<std::allocator<_Other>>> &’ <\/span>
    with <\/span>
    [ <\/span>
        _Other=std::_Vbase <\/span>
    ]<\/span><\/p>\n

If that extension were disabled, this code would result in a compilation error.<\/p>\n

For these reasons, a terse range-based for loop behaves the same as if you had written auto && <\/strong>as the type of the element. This ensures that modifying the elements of the container will work right in cases where such modifications make sense, and that proxy types are handled correctly too.<\/p>\n

Generalized Lambda Capture<\/h2>\n

To understand the reason for introducing this feature, also known as “init-capture”, imagine that you wish to generate some heap-allocated data to be operated on later with a lambda function:<\/p>\n

auto f(int i) <\/span><\/span><\/span><\/span><\/span><\/span>
{ <\/span>
    std::unique_ptr<int> p = std::make_unique<int>(i); <\/span><\/span><\/span><\/span><\/span><\/span><\/span><\/span><\/span>
    return [=](int j){ return *p + j; }; \/\/C2280<\/span><\/span><\/span><\/span><\/span><\/span><\/span><\/span><\/span><\/span><\/span><\/span>
} <\/span>
 
int main() <\/span><\/span>
{ <\/span>
    auto g = f(42); <\/span><\/span><\/span>
    printf(“%dn”, g(2)); <\/span><\/span><\/span>
    printf(“%dn”, g(12)); <\/span><\/span><\/span>
    return 0; <\/span><\/span><\/span>
}<\/span><\/p>\n

Unfortunately, this will not work. The compiler will emit:<\/p>\n

error C2280: ‘std::unique_ptr<int,std::default_delete<_Ty>>::unique_ptr(const std::unique_ptr<_Ty,std::default_delete<_Ty>> &)’: attempting to reference a deleted function<\/span><\/p>\n

Because unique_ptr is a move-only type, capturing it from the enclosing scope by value is disallowed because it would require a copy.<\/p>\n

You could try to get around this via capturing by reference instead, replacing the return statement of f<\/strong> with:<\/p>\n

    return [&](int j){ return *p + j; };<\/span><\/span><\/span><\/span><\/span><\/span><\/span><\/span><\/span><\/span><\/span><\/span><\/span> <\/span><\/p>\n

But p<\/strong> goes out of scope once f<\/strong> exits, so when the program is run, the output is gibberish, reflecting whatever garbage was on the stack at the time:<\/p>\n

1160179346 <\/span>
681009 <\/span><\/p>\n

To truly solve this problem, you need a way to capture an instance of a move-only type by value. To do so, you can use generalized lambda capture, replacing the return statement of f<\/strong> with:<\/p>\n

    return [q = std::move(p)<\/em>](int j){ return *q + j; };<\/span><\/span><\/span><\/span><\/span><\/span><\/span><\/span><\/span><\/span><\/span> <\/span><\/p>\n

The italicized code moves<\/em> the value of p<\/strong> into q<\/strong>, which is stored directly in the lambda function itself and thus will not expire until the lambda itself goes out of scope (in this case, at the end of main<\/strong>). The program now runs as expected and prints:<\/p>\n

44 <\/span>
54 <\/span><\/p>\n

Dining Philosophers<\/h2>\n

The “Dining Philosophers Problem” is a common scenario used to illustrate deadlock in concurrent resource allocation. For more details, read this<\/a> Wikipedia article or one of the many other descriptions found on the internet or in a textbook.<\/p>\n

Initial implementation<\/h3>\n

This uses the resource hierarchy solution to avoid deadlock.<\/p>\n

\n

#include <\/span><cstdio<\/span>><\/span>
#include <\/span><thread><\/span>
#include <\/span><mutex<\/span>><\/span>
#include <\/span><vector><\/span>
 <\/span>
class <\/span><\/span>Fork<\/span>
{<\/span>
private<\/span><\/span>:<\/span>
    <\/span><\/span>const <\/span><\/span><\/span>int<\/span><\/span> position;<\/span>
    <\/span>std<\/span><\/span>::mutex<\/span><\/span><\/span> m;<\/span>
 <\/span>
public<\/span><\/span>:<\/span>
    <\/span>Fork(<\/span><\/span>int <\/span><\/span>position<\/span>) : position(<\/span>position<\/span>) {}<\/span>
 <\/span>
    <\/span><\/span>bool<\/span><\/span><\/span> pickup(<\/span>int <\/span><\/span>position<\/span>) {<\/span>
        <\/span><\/span>if<\/span><\/span> (m.try_lock<\/span>()) {<\/span>
            <\/span>printf<\/span><\/span>(<\/span><\/span>“Philosopher %d picked up fork %d.n”<\/span>, <\/span>position<\/span>, <\/span>this<\/span>->position);<\/span>
        <\/span>    <\/span><\/span>return <\/span><\/span>true<\/span>;<\/span>
        <\/span>}<\/span>
        <\/span><\/span>return <\/span><\/span>false<\/span>;<\/span>
    <\/span>}<\/span>
 <\/span>
    <\/span><\/span>void<\/span><\/span> drop(<\/span>int <\/span><\/span>position<\/span>) {<\/span>
        <\/span>m.unlock<\/span><\/span>(<\/span>);<\/span>
     <\/span>   <\/span>printf<\/span><\/span>(<\/span><\/span>“Philosopher %d dropped fork %d.n”<\/span>, <\/span>position<\/span>, <\/span>this<\/span>->position);<\/span>
    <\/span>}<\/span>
};<\/span>
 <\/span>
class <\/span><\/span>Philosopher<\/span>
{<\/span>
private<\/span><\/span>:<\/span>
    <\/span><\/span>const <\/span><\/span><\/span>int<\/span><\/span> position;<\/span>
    <\/span><\/span>const<\/span><\/span><\/span> std<\/span>::<\/span>vector<\/span><<\/span>Fork<\/span> *> *forks;<\/span>
 <\/span>
public<\/span><\/span>:<\/span>
    <\/span>Philosopher(<\/span><\/span>int <\/span><\/span>position<\/span>, std<\/span>::<\/span>vector<\/span><<\/span>Fork<\/span> *> *<\/span>forks<\/span>) : position(<\/span>position<\/span>), forks(<\/span>forks<\/span>) {}<\/span>
 <\/span>
    <\/span><\/span>void<\/span><\/span> think() { printf<\/span>(<\/span>“Philosopher %d is thinking.n”<\/span>, position); _sleep(10); }<\/span>
 <\/span>
    <\/span><\/span>void<\/span><\/span> eat() { printf<\/span>(<\/span>“Philosopher %d is eating.n”<\/span>, position); _sleep(10); }<\/span>
 <\/span>
    <\/span><\/span>void<\/span><\/span> start() {<\/span>
        <\/span><\/span>\/\/ assume that the number of forks matches the number of philosophers<\/span>
        <\/span><\/span>int<\/span><\/span><\/span> left = position;<\/span>
        <\/span><\/span>int<\/span><\/span><\/span> right = (position + 1) % forks->size();<\/span>
 <\/span>
&<\/span><\/span><\/p>\n<\/div>\n","protected":false},"excerpt":{"rendered":"

When you read our release notes, you’ll notice that we’ve added a large number of C++ language features. The details of what these features are can be found all over the web, but what purpose they serve might still be nebulous. This article will attempt to explain the origins of and how to use a […]<\/p>\n","protected":false},"author":6384,"featured_media":35994,"comment_status":"open","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"_acf_changed":false,"footnotes":""},"categories":[230],"tags":[8],"class_list":["post-173","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-new-feature","tag-announcement"],"acf":[],"blog_post_summary":"

When you read our release notes, you’ll notice that we’ve added a large number of C++ language features. The details of what these features are can be found all over the web, but what purpose they serve might still be nebulous. This article will attempt to explain the origins of and how to use a […]<\/p>\n","_links":{"self":[{"href":"https:\/\/devblogs.microsoft.com\/cppblog\/wp-json\/wp\/v2\/posts\/173","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/devblogs.microsoft.com\/cppblog\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/devblogs.microsoft.com\/cppblog\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/devblogs.microsoft.com\/cppblog\/wp-json\/wp\/v2\/users\/6384"}],"replies":[{"embeddable":true,"href":"https:\/\/devblogs.microsoft.com\/cppblog\/wp-json\/wp\/v2\/comments?post=173"}],"version-history":[{"count":0,"href":"https:\/\/devblogs.microsoft.com\/cppblog\/wp-json\/wp\/v2\/posts\/173\/revisions"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/devblogs.microsoft.com\/cppblog\/wp-json\/wp\/v2\/media\/35994"}],"wp:attachment":[{"href":"https:\/\/devblogs.microsoft.com\/cppblog\/wp-json\/wp\/v2\/media?parent=173"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/devblogs.microsoft.com\/cppblog\/wp-json\/wp\/v2\/categories?post=173"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/devblogs.microsoft.com\/cppblog\/wp-json\/wp\/v2\/tags?post=173"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}