{"id":4473,"date":"2009-05-25T11:49:00","date_gmt":"2009-05-25T11:49:00","guid":{"rendered":"https:\/\/blogs.msdn.microsoft.com\/vcblog\/2009\/05\/25\/stl-breaking-changes-in-visual-studio-2010-beta-1\/"},"modified":"2019-02-18T18:45:55","modified_gmt":"2019-02-18T18:45:55","slug":"stl-breaking-changes-in-visual-studio-2010-beta-1","status":"publish","type":"post","link":"https:\/\/devblogs.microsoft.com\/cppblog\/stl-breaking-changes-in-visual-studio-2010-beta-1\/","title":{"rendered":"STL Breaking Changes in Visual Studio 2010 Beta 1"},"content":{"rendered":"

Visual Studio 2010 Beta 1<\/font><\/a> is now available for download.  I’ve recently blogged about how Visual C++ in VS 2010 Beta 1, which I refer to as VC10 Beta 1, contains compiler support for five C++0x core language features: lambdas, auto, static_assert<\/font><\/a>, rvalue references<\/font><\/a>, and decltype<\/a>.  It also contains a substantially rewritten implementation of the C++ Standard Library, supporting many C++0x standard library features.  In the near future, I’ll blog about them in Part 4 and beyond of “C++0x Features in VC10”, but today I’m going to talk about the STL changes that have the potential to break existing code, which you’ll probably want to know about before playing with the C++0x goodies.<\/p>\n

<\/span><\/p>\n

<\/p>\n

 <\/p>\n

<\/span><\/p>\n

<\/p>\n

 <\/p>\n

<\/span><\/p>\n

Problem 1: error C3861: ‘back_inserter’: identifier not found<\/p>\n

<\/span><\/b><\/p>\n

<\/p>\n

 <\/p>\n

<\/span><\/p>\n

This program compiles and runs cleanly with VC9 SP1:<\/p>\n

<\/span><\/p>\n

<\/p>\n

 <\/p>\n

<\/span><\/p>\n

C:Temp>type back_inserter.cpp<\/p>\n

<\/span><\/p>\n

#include <algorithm><\/p>\n

<\/span><\/p>\n

#include <iostream><\/p>\n

<\/span><\/p>\n

#include <ostream><\/p>\n

<\/span><\/p>\n

#include <vector><\/p>\n

<\/span><\/p>\n

using namespace std;<\/p>\n

<\/span><\/p>\n

<\/p>\n

 <\/p>\n

<\/span><\/p>\n

int square(const int n) {<\/p>\n

<\/span><\/p>\n

    return n * n;<\/p>\n

<\/span><\/p>\n

}<\/p>\n

<\/span><\/p>\n

<\/p>\n

 <\/p>\n

<\/span><\/p>\n

int main() {<\/p>\n

<\/span><\/p>\n

    vector<int> v;<\/p>\n

<\/span><\/p>\n

    v.push_back(11);<\/p>\n

<\/span><\/p>\n

    v.push_back(22);<\/p>\n

<\/span><\/p>\n

    v.push_back(33);<\/p>\n

<\/span><\/p>\n

<\/p>\n

 <\/p>\n

<\/span><\/p>\n

    vector<int> dest;<\/p>\n

<\/span><\/p>\n

<\/p>\n

 <\/p>\n

<\/span><\/p>\n

    transform(v.begin(), v.end(), back_inserter(dest), square);<\/p>\n

<\/span><\/p>\n

<\/p>\n

 <\/p>\n

<\/span><\/p>\n

    for (vector<int>::const_iterator i = dest.begin(); i != dest.end(); ++i) {<\/p>\n

<\/span><\/p>\n

        cout << *i << endl;<\/p>\n

<\/span><\/p>\n

    }<\/p>\n

<\/span><\/p>\n

}<\/p>\n

<\/span><\/p>\n

<\/p>\n

 <\/p>\n

<\/span><\/p>\n

C:Temp>cl \/EHsc \/nologo \/W4 back_inserter.cpp<\/p>\n

<\/span><\/p>\n

back_inserter.cpp<\/p>\n

<\/span><\/p>\n

<\/p>\n

 <\/p>\n

<\/span><\/p>\n

C:Temp>back_inserter<\/p>\n

<\/span><\/p>\n

121<\/p>\n

<\/span><\/p>\n

484<\/p>\n

<\/span><\/p>\n

1089<\/p>\n

<\/span><\/p>\n

<\/p>\n

 <\/p>\n

<\/span><\/p>\n

But it fails to compile with VC10 Beta 1:<\/p>\n

<\/span><\/p>\n

<\/p>\n

 <\/p>\n

<\/span><\/p>\n

C:Temp>cl \/EHsc \/nologo \/W4 back_inserter.cpp<\/p>\n

<\/span><\/p>\n

back_inserter.cpp<\/p>\n

<\/span><\/p>\n

back_inserter.cpp(19) : error C3861: ‘back_inserter’: identifier not found<\/p>\n

<\/span><\/p>\n

<\/p>\n

 <\/p>\n

<\/span><\/p>\n

What’s wrong?<\/p>\n

<\/span><\/p>\n

<\/p>\n

 <\/p>\n

<\/span><\/p>\n

Solution: #include <iterator><\/p>\n

<\/span><\/b><\/p>\n

<\/p>\n

 <\/p>\n

<\/span><\/p>\n

The problem was that <\/span>back_inserter()<\/span> was used without including <iterator>.  The C++ Standard Library headers include one another in unspecified ways.  “Unspecified” means that the Standard allows but doesn’t require any header X to include any header Y.  Furthermore, implementations (like Visual C++) aren’t required to document what they do, and are allowed to change what they do from version to version (or according to the phase of the moon, or anything else).  That’s what happened here.  In VC9 SP1, including <algorithm> dragged in <iterator>.  In VC10 Beta 1, <algorithm> doesn’t drag in <iterator>.<\/p>\n

<\/span><\/p>\n

<\/p>\n

 <\/p>\n

<\/span><\/p>\n

When you use a C++ Standard Library component, you should be careful to include its header (i.e. the header that the Standard says it’s supposed to live in).  This makes your code portable and immune to implementation changes like this one.<\/p>\n

<\/span><\/p>\n

<\/p>\n

 <\/p>\n

<\/span><\/p>\n

There are probably more places where headers have stopped dragging in other headers, but <iterator> is overwhelmingly the most popular header that people have forgotten to include.<\/p>\n

<\/span><\/p>\n

<\/p>\n

 <\/p>\n

<\/span><\/p>\n

Note: Range Insertion and Range Construction<\/p>\n

<\/span><\/b><\/p>\n

<\/p>\n

 <\/p>\n

<\/span><\/p>\n

By the way, when <\/span>seq<\/span> is a <\/span>vector<\/span>, <\/span>deque<\/span>, or <\/span>list<\/span>, instead of writing this:<\/p>\n

<\/span><\/p>\n

<\/p>\n

 <\/p>\n

<\/span><\/p>\n

copy(first, last, back_inserter(seq)); \/\/ Bad!<\/p>\n

<\/span><\/p>\n

<\/p>\n

 <\/p>\n

<\/span><\/p>\n

You should write this:<\/p>\n

<\/span><\/p>\n

<\/p>\n

 <\/p>\n

<\/span><\/p>\n

seq.insert(seq.end(), first, last); \/\/ Range Insertion – Good!<\/p>\n

<\/span><\/p>\n

<\/p>\n

 <\/p>\n

<\/span><\/p>\n

Or, if you’re constructing <\/span>seq<\/span>, simply write this:<\/p>\n

<\/span><\/p>\n

<\/p>\n

 <\/p>\n

<\/span><\/p>\n

vector<T> seq(first, last); \/\/ Range Construction – Good!<\/p>\n

<\/span><\/p>\n

<\/p>\n

 <\/p>\n

<\/span><\/p>\n

They’re not only slightly less typing, they’re also significantly more efficient.  <\/span>copy()<\/span>-to-<\/span>back_inserter()<\/span> calls <\/span>push_back()<\/span> repeatedly, which can trigger multiple <\/span>vector<\/span> reallocations.  Given forward or better iterators, range insertion and range construction can just count how many elements you’ve got, and allocate enough space for all of them all at once.  This is also more efficient for <\/span>deque<\/span>, and you may as well do it for <\/span>list<\/span> too.<\/p>\n

<\/span><\/p>\n

<\/p>\n

 <\/p>\n

<\/span><\/p>\n

<\/p>\n

 <\/p>\n

<\/span><\/p>\n

Problem 2: error C2664: ‘std::vector<_Ty>::_Inside’ : cannot convert parameter 1 from ‘IUnknown **’ to ‘const ATL::CComPtr<T> *’<\/p>\n

<\/span><\/b><\/p>\n

<\/p>\n

 <\/p>\n

<\/span><\/p>\n

This program compiles and runs cleanly with VC9 SP1:<\/p>\n

<\/span><\/p>\n

<\/p>\n

 <\/p>\n

<\/span><\/p>\n

C:Temp>type vector_ccomptr.cpp<\/p>\n

<\/span><\/p>\n

#include <atlcomcli.h><\/p>\n

<\/span><\/p>\n

#include <stddef.h><\/p>\n

<\/span><\/p>\n

#include <iostream><\/p>\n

<\/span><\/p>\n

#include <ostream><\/p>\n

<\/span><\/p>\n

#include <vector><\/p>\n

<\/span><\/p>\n

using namespace std;<\/p>\n

<\/span><\/p>\n

<\/p>\n

 <\/p>\n

<\/span><\/p>\n

int main() {<\/p>\n

<\/span><\/p>\n

    vector<CComPtr<IUnknown>> v;<\/p>\n

<\/span><\/p>\n

<\/p>\n

 <\/p>\n

<\/span><\/p>\n

    v.push_back(NULL);<\/p>\n

<\/span><\/p>\n

}<\/p>\n

<\/span><\/p>\n

<\/p>\n

 <\/p>\n

<\/span><\/p>\n

C:Temp>cl \/EHsc \/nologo \/W4 vector_ccomptr.cpp<\/p>\n

<\/span><\/p>\n

vector_ccomptr.cpp<\/p>\n

<\/span><\/p>\n

<\/p>\n

 <\/p>\n

<\/span><\/p>\n

C:Temp>vector_ccomptr<\/p>\n

<\/span><\/p>\n

<\/p>\n

 <\/p>\n

<\/span><\/p>\n

C:Temp><\/p>\n

<\/span><\/p>\n

<\/p>\n

 <\/p>\n

<\/span><\/p>\n

But it fails to compile with VC10 Beta 1:<\/p>\n

<\/span><\/p>\n

<\/p>\n

 <\/p>\n

<\/span><\/p>\n

C:Temp>cl \/EHsc \/nologo \/W4 vector_ccomptr.cpp<\/p>\n

<\/span><\/p>\n

vector_ccomptr.cpp<\/p>\n

<\/span><\/p>\n

C:Program FilesMicrosoft Visual Studio 10.0VCINCLUDEvector(623) : error C2664: ‘std::vector<_Ty>::_Inside’ : cannot convert parameter 1 from ‘IUnknown **’ to ‘const ATL::CComPtr<T> *’<\/p>\n

<\/span><\/p>\n

        with<\/p>\n

<\/span><\/p>\n

        [<\/p>\n

<\/span><\/p>\n

            _Ty=ATL::CComPtr<IUnknown><\/p>\n

<\/span><\/p>\n

        ]<\/p>\n

<\/span><\/p>\n

        and<\/p>\n

<\/span><\/p>\n

        [<\/p>\n

<\/span><\/p>\n

            T=IUnknown<\/p>\n

<\/span><\/p>\n

        ]<\/p>\n

<\/span><\/p>\n

        Types pointed to are unrelated; conversion requires reinterpret_cast, C-style cast or function-style cast<\/p>\n

<\/span><\/p>\n

        C:Program FilesMicrosoft Visual Studio 10.0VCINCLUDEvector(622) : while compiling class template member function ‘void std::vector<_Ty>::push_back(_Ty &&)’<\/p>\n

<\/span><\/p>\n

        with<\/p>\n

<\/span><\/p>\n

        [<\/p>\n

<\/span><\/p>\n

            _Ty=ATL::CComPtr<IUnknown><\/p>\n

<\/span><\/p>\n

        ]<\/p>\n

<\/span><\/p>\n

        vector_ccomptr.cpp(9) : see reference to class template instantiation ‘std::vector<_Ty>’ being compiled<\/p>\n

<\/span><\/p>\n

        with<\/p>\n

<\/span><\/p>\n

        [<\/p>\n

<\/span><\/p>\n

            _Ty=ATL::CComPtr<IUnknown><\/p>\n

<\/span><\/p>\n

        ]<\/p>\n

<\/span><\/p>\n

C:Program FilesMicrosoft Visual Studio 10.0VCINCLUDEvector(625) : error C2040: ‘-‘ : ‘IUnknown **’ differs in levels of indirection from ‘ATL::CComPtr<T> *’<\/p>\n

<\/span><\/p>\n

        with<\/p>\n

<\/span><\/p>\n

        [<\/p>\n

<\/span><\/p>\n

            T=IUnknown<\/p>\n

<\/span><\/p>\n

        ]<\/p>\n

<\/span><\/p>\n

<\/p>\n

 <\/p>\n

<\/span><\/p>\n

What’s wrong?<\/p>\n

<\/span><\/p>\n

<\/p>\n

 <\/p>\n

<\/span><\/p>\n

Solution: Use CAdapt<\/p>\n

<\/span><\/b><\/p>\n

<\/p>\n

 <\/p>\n

<\/span><\/p>\n

The Standard containers prohibit their elements from overloading the address-of operator.  <\/span>CComPtr<\/span> overloads the address-of operator.  Therefore, <\/span>vector<CComPtr<T>><\/span> is forbidden (it triggers undefined behavior).  It happened to work in VC9 SP1, but it doesn’t in VC10 Beta 1.  That’s because <\/span>vector<\/span> now uses the address-of operator in <\/span>push_back()<\/span>, among other places.<\/p>\n

<\/span><\/p>\n

<\/p>\n

 <\/p>\n

<\/span><\/p>\n

The solution is to use <atlcomcli.h>’s <\/span>CAdapt<\/span>, whose only purpose in life is to wrap address-of-overloading types for consumption by Standard containers.  <\/span>vector<CAdapt<CComPtr<T>>><\/span> will compile just fine.  In VC10 Beta 1, I added <\/span>operator->()<\/span> to <\/span>CAdapt<\/span>, allowing <\/span>v[i]->Something()<\/span> to compile unchanged.  However, typically you’ll have to make a few other changes when adding <\/span>CAdapt<\/span> to your program.  <\/span>operator.()<\/span> can’t be overloaded, so if you’re calling <\/span>CComPtr<\/span>‘s member functions like <\/span>Release()<\/span>, you’ll need to go through <\/span>CAdapt<\/span>‘s public data member <\/span>m_T<\/span> .  For example, <\/span>v[i].Release()<\/span> needs to be transformed into <\/span>v[i].m_T.Release()<\/span> .  Also, if you’re relying on implicit conversions, <\/span>CAdapt<\/span> adds an extra layer, which will interfere with them.  Therefore, you may need to explicitly convert things when pushing them back into the <\/span>vector<\/span><\/span><\/p><\/p>\n","protected":false},"excerpt":{"rendered":"

Visual Studio 2010 Beta 1 is now available for download.  I’ve recently blogged about how Visual C++ in VS 2010 Beta 1, which I refer to as VC10 Beta 1, contains compiler support for five C++0x core language features: lambdas, auto, static_assert, rvalue references, and decltype.  It also contains a substantially rewritten implementation of the […]<\/p>\n","protected":false},"author":289,"featured_media":35994,"comment_status":"open","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"_acf_changed":false,"footnotes":""},"categories":[1],"tags":[],"class_list":["post-4473","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-cplusplus"],"acf":[],"blog_post_summary":"

Visual Studio 2010 Beta 1 is now available for download.  I’ve recently blogged about how Visual C++ in VS 2010 Beta 1, which I refer to as VC10 Beta 1, contains compiler support for five C++0x core language features: lambdas, auto, static_assert, rvalue references, and decltype.  It also contains a substantially rewritten implementation of the […]<\/p>\n","_links":{"self":[{"href":"https:\/\/devblogs.microsoft.com\/cppblog\/wp-json\/wp\/v2\/posts\/4473","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\/289"}],"replies":[{"embeddable":true,"href":"https:\/\/devblogs.microsoft.com\/cppblog\/wp-json\/wp\/v2\/comments?post=4473"}],"version-history":[{"count":0,"href":"https:\/\/devblogs.microsoft.com\/cppblog\/wp-json\/wp\/v2\/posts\/4473\/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=4473"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/devblogs.microsoft.com\/cppblog\/wp-json\/wp\/v2\/categories?post=4473"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/devblogs.microsoft.com\/cppblog\/wp-json\/wp\/v2\/tags?post=4473"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}