{"id":20784,"date":"2016-01-22T09:16:35","date_gmt":"2016-01-22T09:16:35","guid":{"rendered":"https:\/\/blogs.msdn.microsoft.com\/vcblog\/2016\/01\/22\/vs-2015-update-2s-stl-is-c17-so-far-feature-complete\/"},"modified":"2019-02-18T18:04:51","modified_gmt":"2019-02-18T18:04:51","slug":"vs-2015-update-2s-stl-is-c17-so-far-feature-complete-2","status":"publish","type":"post","link":"https:\/\/devblogs.microsoft.com\/cppblog\/vs-2015-update-2s-stl-is-c17-so-far-feature-complete-2\/","title":{"rendered":"VS 2015 Update 2’s STL is C++17-so-far Feature Complete"},"content":{"rendered":"

In VS 2015 Update 2, we’ve implemented every C++ Standard Library feature that’s been voted into C++11, C++14, and the C++17-so-far Working Paper N4567<\/span><\/a>.  (See the end of this post for Update 2 availability information.)  Here’s the table:\n<\/span><\/p>\n

\n <\/p>\n

\n\n\n\n\n\n<\/colgroup>\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n
\n

Status<\/strong><\/p>\n<\/td>\n

\n

Std<\/strong><\/span><\/p>\n<\/td>\n

\n

Paper<\/strong><\/span><\/p>\n<\/td>\n

\n

Title<\/strong><\/span><\/p>\n<\/td>\n<\/tr>\n

\n

Update 2<\/span><\/p>\n<\/td>\n

\n

C++14<\/span><\/p>\n<\/td>\n

\n

N3462<\/span><\/a><\/p>\n<\/td>\n

\n

SFINAE-Friendly result_of<\/span><\/p>\n<\/td>\n<\/tr>\n

\n

Update 2<\/span><\/p>\n<\/td>\n

\n

C++17<\/span><\/p>\n<\/td>\n

\n

N4387<\/span><\/a><\/p>\n<\/td>\n

\n

Improving pair And tuple<\/span><\/p>\n<\/td>\n<\/tr>\n

\n

Up2 Win7+<\/span><\/p>\n<\/td>\n

\n

C++17<\/span><\/p>\n<\/td>\n

\n

N4508<\/span><\/a><\/p>\n<\/td>\n

\n

shared_mutex (Untimed)<\/span><\/p>\n<\/td>\n<\/tr>\n

\n

Up2 opt-in<\/span><\/p>\n<\/td>\n

\n

C++17<\/span><\/p>\n<\/td>\n

\n

P0004R1<\/span><\/a><\/p>\n<\/td>\n

\n

Removing Deprecated Iostreams Aliases<\/span><\/p>\n<\/td>\n<\/tr>\n

\n

Update 2<\/span><\/p>\n<\/td>\n

\n

C++17<\/span><\/p>\n<\/td>\n

\n

P0006R0<\/span><\/a><\/p>\n<\/td>\n

\n

Variable Templates For Type Traits (is_same_v, etc.)<\/span><\/p>\n<\/td>\n<\/tr>\n

\n

Update 2<\/span><\/p>\n<\/td>\n

\n

C++17<\/span><\/p>\n<\/td>\n

\n

P0007R1<\/span><\/a><\/p>\n<\/td>\n

\n

as_const()<\/span><\/p>\n<\/td>\n<\/tr>\n

\n

Update 2<\/span><\/p>\n<\/td>\n

\n

C++17<\/span><\/p>\n<\/td>\n

\n

P0013R1<\/span><\/a><\/p>\n<\/td>\n

\n

Logical Operator Type Traits (conjunction, etc.)<\/span><\/p>\n<\/td>\n<\/tr>\n

\n

Update 2<\/span><\/p>\n<\/td>\n

\n

C++17<\/span><\/p>\n<\/td>\n

\n

P0074R0<\/span><\/a><\/p>\n<\/td>\n

\n

owner_less<><\/span><\/p>\n<\/td>\n<\/tr>\n

\n

Update 2<\/span><\/p>\n<\/td>\n

\n

C++17<\/span><\/p>\n<\/td>\n

\n

P0092R1<\/span><\/a><\/p>\n<\/td>\n

\n

<chrono> floor(), ceil(), round(), abs()<\/span><\/p>\n<\/td>\n<\/tr>\n

\n

Update 2<\/span><\/p>\n<\/td>\n

\n

C++17<\/span><\/p>\n<\/td>\n

\n

P0156R0<\/span><\/a><\/p>\n<\/td>\n

\n

Variadic lock_guard<\/span><\/p>\n<\/td>\n<\/tr>\n

\n

VS 2015<\/span><\/p>\n<\/td>\n

\n

C++14<\/span><\/p>\n<\/td>\n

\n

N3302<\/span><\/a><\/p>\n<\/td>\n

\n

constexpr For <complex><\/span><\/p>\n<\/td>\n<\/tr>\n

\n

VS 2015<\/span><\/p>\n<\/td>\n

\n

C++14<\/span><\/p>\n<\/td>\n

\n

N3469<\/span><\/a><\/p>\n<\/td>\n

\n

constexpr For <chrono><\/span><\/p>\n<\/td>\n<\/tr>\n

\n

VS 2015<\/span><\/p>\n<\/td>\n

\n

C++14<\/span><\/p>\n<\/td>\n

\n

N3470<\/span><\/a><\/p>\n<\/td>\n

\n

constexpr For <array><\/span><\/p>\n<\/td>\n<\/tr>\n

\n

VS 2015<\/span><\/p>\n<\/td>\n

\n

C++14<\/span><\/p>\n<\/td>\n

\n

N3471<\/span><\/a><\/p>\n<\/td>\n

\n

constexpr For <initializer_list>, <tuple>, <utility><\/span><\/p>\n<\/td>\n<\/tr>\n

\n

VS 2015<\/span><\/p>\n<\/td>\n

\n

C++14<\/span><\/p>\n<\/td>\n

\n

N3545<\/span><\/a><\/p>\n<\/td>\n

\n

integral_constant::operator()()<\/span><\/p>\n<\/td>\n<\/tr>\n

\n

VS 2015<\/span><\/p>\n<\/td>\n

\n

C++14<\/span><\/p>\n<\/td>\n

\n

N3642<\/span><\/a><\/p>\n<\/td>\n

\n

UDLs For <chrono>, <string> (1729ms, “meow”s, etc.)<\/span><\/p>\n<\/td>\n<\/tr>\n

\n

VS 2015<\/span><\/p>\n<\/td>\n

\n

C++14<\/span><\/p>\n<\/td>\n

\n

N3644<\/span><\/a><\/p>\n<\/td>\n

\n

Null Forward Iterators<\/span><\/p>\n<\/td>\n<\/tr>\n

\n

VS 2015<\/span><\/p>\n<\/td>\n

\n

C++14<\/span><\/p>\n<\/td>\n

\n

N3654<\/span><\/a><\/p>\n<\/td>\n

\n

quoted()<\/span><\/p>\n<\/td>\n<\/tr>\n

\n

VS 2015<\/span><\/p>\n<\/td>\n

\n

C++14<\/span><\/p>\n<\/td>\n

\n

N3657<\/span><\/a><\/p>\n<\/td>\n

\n

Heterogeneous Associative Lookup<\/span><\/p>\n<\/td>\n<\/tr>\n

\n

VS 2015<\/span><\/p>\n<\/td>\n

\n

C++14<\/span><\/p>\n<\/td>\n

\n

N3658<\/span><\/a><\/p>\n<\/td>\n

\n

integer_sequence<\/span><\/p>\n<\/td>\n<\/tr>\n

\n

VS 2015<\/span><\/p>\n<\/td>\n

\n

C++14<\/span><\/p>\n<\/td>\n

\n

N3659<\/span><\/a><\/p>\n<\/td>\n

\n

shared_mutex (Timed)<\/span><\/p>\n<\/td>\n<\/tr>\n

\n

VS 2015<\/span><\/p>\n<\/td>\n

\n

C++14<\/span><\/p>\n<\/td>\n

\n

N3668<\/span><\/a><\/p>\n<\/td>\n

\n

exchange()<\/span><\/p>\n<\/td>\n<\/tr>\n

\n

VS 2015<\/span><\/p>\n<\/td>\n

\n

C++14<\/span><\/p>\n<\/td>\n

\n

N3669<\/span><\/a><\/p>\n<\/td>\n

\n

Fixing constexpr Member Functions Without const<\/span><\/p>\n<\/td>\n<\/tr>\n

\n

VS 2015<\/span><\/p>\n<\/td>\n

\n

C++14<\/span><\/p>\n<\/td>\n

\n

N3670<\/span><\/a><\/p>\n<\/td>\n

\n

get<T>()<\/span><\/p>\n<\/td>\n<\/tr>\n

\n

VS 2015<\/span><\/p>\n<\/td>\n

\n

C++14<\/span><\/p>\n<\/td>\n

\n

N3671<\/span><\/a><\/p>\n<\/td>\n

\n

Dual-Range equal(), is_permutation(), mismatch()<\/span><\/p>\n<\/td>\n<\/tr>\n

\n

VS 2015<\/span><\/p>\n<\/td>\n

\n

C++14<\/span><\/p>\n<\/td>\n

\n

N3778<\/span><\/a><\/p>\n<\/td>\n

\n

Sized Deallocation<\/span><\/p>\n<\/td>\n<\/tr>\n

\n

VS 2015<\/span><\/p>\n<\/td>\n

\n

C++14<\/span><\/p>\n<\/td>\n

\n

N3779<\/span><\/a><\/p>\n<\/td>\n

\n

UDLs For <complex> (3.14i, etc.)<\/span><\/p>\n<\/td>\n<\/tr>\n

\n

VS 2015<\/span><\/p>\n<\/td>\n

\n

C++14<\/span><\/p>\n<\/td>\n

\n

N3789<\/span><\/a><\/p>\n<\/td>\n

\n

constexpr For <functional><\/span><\/p>\n<\/td>\n<\/tr>\n

\n

VS 2015<\/span><\/p>\n<\/td>\n

\n

C++14<\/span><\/p>\n<\/td>\n

\n

N3887<\/span><\/a><\/p>\n<\/td>\n

\n

tuple_element_t<\/span><\/p>\n<\/td>\n<\/tr>\n

\n

VS 2015<\/span><\/p>\n<\/td>\n

\n

C++14<\/span><\/p>\n<\/td>\n

\n

N3891<\/span><\/a><\/p>\n<\/td>\n

\n

Renaming shared_mutex (Timed) To shared_timed_mutex<\/span><\/p>\n<\/td>\n<\/tr>\n

\n

VS 2015<\/span><\/p>\n<\/td>\n

\n

C++17<\/span><\/p>\n<\/td>\n

\n

N3911<\/span><\/a><\/p>\n<\/td>\n

\n

void_t<\/span><\/p>\n<\/td>\n<\/tr>\n

\n

VS 2015<\/span><\/p>\n<\/td>\n

\n

C++17<\/span><\/p>\n<\/td>\n

\n

N4089<\/span><\/a><\/p>\n<\/td>\n

\n

Safe Conversions In unique_ptr<T[]><\/span><\/p>\n<\/td>\n<\/tr>\n

\n

VS 2015<\/span><\/p>\n<\/td>\n

\n

C++17<\/span><\/p>\n<\/td>\n

\n

N4169<\/span><\/a><\/p>\n<\/td>\n

\n

invoke()<\/span><\/p>\n<\/td>\n<\/tr>\n

\n

2015 opt-in<\/span><\/p>\n<\/td>\n

\n

C++17<\/span><\/p>\n<\/td>\n

\n

N4190<\/span><\/a><\/p>\n<\/td>\n

\n

Removing auto_ptr, random_shuffle(), And Old <functional> Stuff<\/span><\/p>\n<\/td>\n<\/tr>\n

\n

VS 2015<\/span><\/p>\n<\/td>\n

\n

C++17<\/span><\/p>\n<\/td>\n

\n

N4258<\/span><\/a><\/p>\n<\/td>\n

\n

noexcept Cleanups<\/span><\/p>\n<\/td>\n<\/tr>\n

\n

VS 2015<\/span><\/p>\n<\/td>\n

\n

C++17<\/span><\/p>\n<\/td>\n

\n

N4259<\/span><\/a><\/p>\n<\/td>\n

\n

uncaught_exceptions()<\/span><\/p>\n<\/td>\n<\/tr>\n

\n

VS 2015<\/span><\/p>\n<\/td>\n

\n

C++17<\/span><\/p>\n<\/td>\n

\n

N4277<\/span><\/a><\/p>\n<\/td>\n

\n

Trivially Copyable reference_wrapper<\/span><\/p>\n<\/td>\n<\/tr>\n

\n

VS 2015<\/span><\/p>\n<\/td>\n

\n

C++17<\/span><\/p>\n<\/td>\n

\n

N4279<\/span><\/a><\/p>\n<\/td>\n

\n

insert_or_assign()\/try_emplace() For map\/unordered_map<\/span><\/p>\n<\/td>\n<\/tr>\n

\n

VS 2015<\/span><\/p>\n<\/td>\n

\n

C++17<\/span><\/p>\n<\/td>\n

\n

N4280<\/span><\/a><\/p>\n<\/td>\n

\n

size(), empty(), data()<\/span><\/p>\n<\/td>\n<\/tr>\n

\n

VS 2015<\/span><\/p>\n<\/td>\n

\n

C++17<\/span><\/p>\n<\/td>\n

\n

N4366<\/span><\/a><\/p>\n<\/td>\n

\n

Precisely Constraining unique_ptr Assignment<\/span><\/p>\n<\/td>\n<\/tr>\n

\n

VS 2015<\/span><\/p>\n<\/td>\n

\n

C++17<\/span><\/p>\n<\/td>\n

\n

N4389<\/span><\/a><\/p>\n<\/td>\n

\n

bool_constant<\/span><\/p>\n<\/td>\n<\/tr>\n

\n

VS 2013<\/span><\/p>\n<\/td>\n

\n

C++14<\/span><\/p>\n<\/td>\n

\n

N3346<\/span><\/a><\/p>\n<\/td>\n

\n

Minimal Container Element Requirements<\/span><\/p>\n<\/td>\n<\/tr>\n

\n

VS 2013<\/span><\/p>\n<\/td>\n

\n

C++14<\/span><\/p>\n<\/td>\n

\n

N3421<\/span><\/a><\/p>\n<\/td>\n

\n

Transparent Operator Functors (less<>, etc.)<\/span><\/p>\n<\/td>\n<\/tr>\n

\n

VS 2013<\/span><\/p>\n<\/td>\n

\n

C++14<\/span><\/p>\n<\/td>\n

\n

N3655<\/span><\/a><\/p>\n<\/td>\n

\n

Alias Templates For <type_traits> (decay_t, etc.)<\/span><\/p>\n<\/td>\n<\/tr>\n

\n

VS 2013<\/span><\/p>\n<\/td>\n

\n

C++14<\/span><\/p>\n<\/td>\n

\n

N3656<\/span><\/a><\/p>\n<\/td>\n

\n

make_unique()<\/span><\/p>\n<\/td>\n<\/tr>\n

\n

VS 2013<\/span><\/p>\n<\/td>\n

\n

C++17<\/span><\/p>\n<\/td>\n

\n

N4510<\/span><\/a><\/p>\n<\/td>\n

\n

Supporting Incomplete Types In vector\/list\/forward_list<\/span><\/p>\n<\/td>\n<\/tr>\n

\n

N\/A<\/p>\n<\/td>\n

\n

C++14<\/span><\/p>\n<\/td>\n

\n

N3924<\/span><\/a><\/p>\n<\/td>\n

\n

Discouraging rand()<\/span><\/p>\n<\/td>\n<\/tr>\n

\n

N\/A<\/p>\n<\/td>\n

\n

C++17<\/span><\/p>\n<\/td>\n

\n

N4284<\/span><\/a><\/p>\n<\/td>\n

\n

Contiguous Iterators<\/span><\/p>\n<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<\/div>\n

\n <\/p>\n

“N\/A” means that these proposals altered the Standard’s wording, but did not physically affect implementers or users.  I’ve listed them as Not Applicable for the sake of completeness.\n<\/span><\/p>\n

\n <\/p>\n

We previously announced that compiler support for Expression SFINAE became Partial in Update 1<\/span><\/a>.  While it’s still Partial in Update 2, the compiler team was able to improve it to the point where the STL could carefully take a dependency on it.  As a result, Update 2’s STL fully supports N3462 “SFINAE-Friendly result_of” and LWG 2132 “std::function ambiguity”.  This is verified by exhaustive unit tests that run for every build.  (LWG 2132 allows meow(function<void (int)>) and meow(function<void (int, int)>) to be overloaded, then meow() can be called with a lambda taking 1 or 2 ints, and the corresponding overload will be selected.)\n<\/span><\/p>\n

\n <\/p>\n

A notable consequence of N4387 “Improving pair And tuple” is that tuples can now be brace-returned when it’s safe to do so.  For example, { “cute”, “fluffy”, “kittens” } can be returned as tuple<string, string, string>, because std::string has an implicit constructor from const char *.\n<\/span><\/p>\n

\n <\/p>\n

N4508 “shared_mutex (Untimed)” isn’t supported on XP\/Vista-class OSes (both client and server).  This is because our implementation of std::shared_mutex wraps SRWLOCK, and requires OS APIs that were introduced in Win7-class OSes.  Like std::forward_list, the whole purpose of std::shared_mutex is to offer lower overhead at the cost of reduced functionality.  Attempting to support XP\/Vista with dynamic checks would compromise std::shared_mutex’s reason for existing.  If you require XP\/Vista support, you should use std::shared_timed_mutex, which offers strictly greater functionality.\n<\/span><\/p>\n

\n <\/p>\n

P0004R1 “Removing Deprecated Iostreams Aliases” is opt-in.  If you define _HAS_OLD_IOSTREAMS_MEMBERS to 0 project-wide, we’ll remove this old machinery (which was “born deprecated” in C++98).  Similarly, LWG 2385 “function::assign allocator argument doesn’t make sense” is requested by defining _HAS_FUNCTION_ASSIGN to 0 project-wide, and N4190 “Removing auto_ptr, random_shuffle(), And Old <functional> Stuff” is requested by defining _HAS_AUTO_PTR_ETC to 0 project-wide.  In future major versions, we intend to make these removals opt-out and then unconditional.\n<\/span><\/p>\n

\n <\/p>\n

Now, I should mention some caveats.  “Feature complete” doesn’t mean “literally every electron in the Standard”.  We’re still missing a few things that are smaller than entire proposals:\n<\/span><\/p>\n

\n <\/p>\n

* A very small number of constexpr occurrences are missing.  The exhaustive list is: in C++11, mutex’s default constructor requires a major representation change (which we can’t ship in an Update).  In C++14, error_category’s default constructor requires a minor representation change (also forbidden in 2015 Updates, but already fixed for the next major version).  Finally, C++14’s min()\/max()\/minmax() for initializer_list and C++17’s min_element()\/max_element()\/minmax_element() inherently contain loops, so they require C++14 extended constexpr support from the compiler, which is not yet available.\n<\/span><\/p>\n

\n <\/p>\n

* Our C99 Standard Library implementation is complete, except for tgmath.h (which is irrelevant in C++) and the CX_LIMITED_RANGE\/FP_CONTRACT pragma macros.\n<\/span><\/p>\n

\n <\/p>\n

* We’ve made substantial progress in implementing C++14\/17’s Library Issue resolutions (see table below; Library Issues are bugs in the Standard itself), but 8 Library Issues fixed in C++14 and 11 Library Issues fixed in C++17-so-far remain to be implemented.\n<\/span><\/p>\n

\n <\/p>\n

* More features will inevitably be voted into C++17 before its final publication, but we’re caught up as of this very moment.\n<\/span><\/p>\n

\n <\/p>\n

* There are still bugs, which we’re working on fixing.  (We’ve fixed approximately 36 STL bugs in Update 2 so far.  I’ll post a changelog for the final release of Update 2.)\n<\/span><\/p>\n

\n <\/p>\n

Here’s our Library Issue table:\n<\/span><\/p>\n

\n <\/p>\n

\n\n\n\n\n\n<\/colgroup>\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n
\n

Status<\/strong><\/p>\n<\/td>\n

\n

Std<\/strong><\/span><\/p>\n<\/td>\n

\n

Issue<\/strong><\/span><\/a><\/p>\n<\/td>\n

\n

Title<\/strong><\/span><\/p>\n<\/td>\n<\/tr>\n

\n

Update 2<\/span><\/p>\n<\/td>\n

\n

C++14<\/span><\/p>\n<\/td>\n

\n

LWG 2005<\/span><\/p>\n<\/td>\n

\n

unordered_map::insert(T&&) protection should apply to map too<\/span><\/p>\n<\/td>\n<\/tr>\n

\n

Update 2<\/span><\/p>\n<\/td>\n

\n

C++14<\/span><\/p>\n<\/td>\n

\n

LWG 2021<\/span><\/p>\n<\/td>\n

\n

Further incorrect usages of result_of<\/span><\/p>\n<\/td>\n<\/tr>\n

\n

Update 2<\/span><\/p>\n<\/td>\n

\n

C++14<\/span><\/p>\n<\/td>\n

\n

LWG 2132<\/span><\/p>\n<\/td>\n

\n

std::function ambiguity<\/span><\/p>\n<\/td>\n<\/tr>\n

\n

Update 2<\/span><\/p>\n<\/td>\n

\n

C++14<\/span><\/p>\n<\/td>\n

\n

LWG 2196<\/span><\/p>\n<\/td>\n

\n

Specification of is_*[copy\/move]_[constructible\/assignable] unclear for non-referencable types<\/span><\/p>\n<\/td>\n<\/tr>\n

\n

Update 2<\/span><\/p>\n<\/td>\n

\n

C++17<\/span><\/p>\n<\/td>\n

\n

LWG 2101<\/span><\/p>\n<\/td>\n

\n

Some transformation types can produce impossible types<\/span><\/p>\n<\/td>\n<\/tr>\n

\n

Update 2<\/span><\/p>\n<\/td>\n

\n

C++17<\/span><\/p>\n<\/td>\n

\n

LWG 2106<\/span><\/p>\n<\/td>\n

\n

move_iterator wrapping iterators returning prvalues<\/span><\/p>\n<\/td>\n<\/tr>\n

\n

Update 2<\/span><\/p>\n<\/td>\n

\n

C++17<\/span><\/p>\n<\/td>\n

\n

LWG 2127<\/span><\/p>\n<\/td>\n

\n

Move-construction with raw_storage_iterator<\/span><\/p>\n<\/td>\n<\/tr>\n

\n

Update 2<\/span><\/p>\n<\/td>\n

\n

C++17<\/span><\/p>\n<\/td>\n

\n

LWG 2217<\/span><\/p>\n<\/td>\n

\n

operator==(sub_match, string) slices on embedded ”s<\/span><\/p>\n<\/td>\n<\/tr>\n

\n

Update 2<\/span><\/p>\n<\/td>\n

\n

C++17<\/span><\/p>\n<\/td>\n

\n

LWG 2353<\/span><\/p>\n<\/td>\n

\n

std::next is over-constrained<\/span><\/p>\n<\/td>\n<\/tr>\n

\n

Update 2<\/span><\/p>\n<\/td>\n

\n

C++17<\/span><\/p>\n<\/td>\n

\n

LWG 2354<\/span><\/p>\n<\/td>\n

\n

Unnecessary copying when inserting into maps with braced-init syntax<\/span><\/p>\n<\/td>\n<\/tr>\n

\n

Update 2<\/span><\/p>\n<\/td>\n

\n

C++17<\/span><\/p>\n<\/td>\n

\n

LWG 2367<\/span><\/p>\n<\/td>\n

\n

pair and tuple are not correctly implemented for is_constructible with no args<\/span><\/p>\n<\/td>\n<\/tr>\n

\n

Up2 opt-in<\/span><\/p>\n<\/td>\n

\n

C++17<\/span><\/p>\n<\/td>\n

\n

LWG 2385<\/span><\/p>\n<\/td>\n

\n

function::assign allocator argument doesn’t make sense<\/span><\/p>\n<\/td>\n<\/tr>\n

\n

Update 2<\/span><\/p>\n<\/td>\n

\n

C++17<\/span><\/p>\n<\/td>\n

\n

LWG 2455<\/span><\/p>\n<\/td>\n

\n

Allocator default construction should be allowed to throw<\/span><\/p>\n<\/td>\n<\/tr>\n

\n

Update 2<\/span><\/p>\n<\/td>\n

\n

C++17<\/span><\/p>\n<\/td>\n

\n

LWG 2466<\/span><\/p>\n<\/td>\n

\n

allocator_traits::max_size() default behavior is incorrect<\/span><\/p>\n<\/td>\n<\/tr>\n

\n

Update 2<\/span><\/p>\n<\/td>\n

\n

C++17<\/span><\/p>\n<\/td>\n

\n

LWG 2469<\/span><\/p>\n<\/td>\n

\n

Wrong specification of Requires clause of operator[] for map and unordered_map<\/span><\/p>\n<\/td>\n<\/tr>\n

\n

Update 2<\/span><\/p>\n<\/td>\n

\n

New<\/span><\/p>\n<\/td>\n

\n

LWG 2549<\/span><\/p>\n<\/td>\n

\n

Tuple EXPLICIT constructor templates […] will create dangling references<\/span><\/p>\n<\/td>\n<\/tr>\n

\n

missing<\/span><\/p>\n<\/td>\n

\n

C++14<\/span><\/p>\n<\/td>\n

\n

LWG 2064<\/span><\/p>\n<\/td>\n

\n

More noexcept issues in basic_string<\/span><\/p>\n<\/td>\n<\/tr>\n

\n

missing<\/span><\/p>\n<\/td>\n

\n

C++14<\/span><\/p>\n<\/td>\n

\n

LWG 2078<\/span><\/p>\n<\/td>\n

\n

Throw specification of async() incomplete<\/span><\/p>\n<\/td>\n<\/tr>\n

\n

missing<\/span><\/p>\n<\/td>\n

\n

C++14<\/span><\/p>\n<\/td>\n

\n

LWG 2135<\/span><\/p>\n<\/td>\n

\n

Unclear requirement for exceptions thrown in condition_variable::wait()<\/span><\/p>\n<\/td>\n<\/tr>\n

\n

missing<\/span><\/p>\n<\/td>\n

\n

C++14<\/span><\/p>\n<\/td>\n

\n

LWG 2140<\/span><\/p>\n<\/td>\n

\n

notify_all_at_thread_exit synchronization<\/span><\/p>\n<\/td>\n<\/tr>\n

\n

missing<\/span><\/p>\n<\/td>\n

\n

C++14<\/span><\/p>\n<\/td>\n

\n

LWG 2203<\/span><\/p>\n<\/td>\n

\n

scoped_allocator_adaptor uses wrong argument types for piecewise construction<\/span><\/p>\n<\/td>\n<\/tr>\n

\n

missing<\/span><\/p>\n<\/td>\n

\n

C++14<\/span><\/p>\n<\/td>\n

\n

LWG 2210<\/span><\/p>\n<\/td>\n

\n

Missing allocator-extended constructor for allocator-aware containers<\/span><\/p>\n<\/td>\n<\/tr>\n

\n

missing<\/span><\/p>\n<\/td>\n

\n

C++14<\/span><\/p>\n<\/td>\n

\n

LWG 2252<\/span><\/p>\n<\/td>\n

\n

Strong guarantee on vector::push_back() still broken with C++11?<\/span><\/p>\n<\/td>\n<\/tr>\n

\n

missing<\/span><\/p>\n<\/td>\n

\n

C++14<\/span><\/p>\n<\/td>\n

\n

LWG 2350<\/span><\/p>\n<\/td>\n

\n

min, max, and minmax should be constexpr<\/span><\/p>\n<\/td>\n<\/tr>\n

\n

missing<\/span><\/p>\n<\/td>\n

\n

C++17<\/span><\/p>\n<\/td>\n

\n

LWG 1169<\/span><\/p>\n<\/td>\n

\n

num_get not fully compatible with strto*<\/span><\/p>\n<\/td>\n<\/tr>\n

\n

missing<\/span><\/p>\n<\/td>\n

\n

C++17<\/span><\/p>\n<\/td>\n

\n

LWG 2059<\/span><\/p>\n<\/td>\n

\n

C++0x ambiguity problem with map::erase<\/span><\/p>\n<\/td>\n<\/tr>\n

\n

missing<\/span><\/p>\n<\/td>\n

\n

C++17<\/span><\/p>\n<\/td>\n

\n

LWG 2063<\/span><\/p>\n<\/td>\n

\n

Contradictory requirements for string move assignment<\/span><\/p>\n<\/td>\n<\/tr>\n

\n

missing<\/span><\/p>\n<\/td>\n

\n

C++17<\/span><\/p>\n<\/td>\n

\n

LWG 2156<\/span><\/p>\n<\/td>\n

\n

Unordered containers’ reserve(n) reserves for n-1 elements<\/span><\/p>\n<\/td>\n<\/tr>\n

\n

missing<\/span><\/p>\n<\/td>\n

\n

C++17<\/span><\/p>\n<\/td>\n

\n

LWG 2219<\/span><\/p>\n<\/td>\n

\n

INVOKE-ing a pointer to member with a reference_wrapper as the object expression<\/span><\/p>\n<\/td>\n<\/tr>\n

\n

missing<\/span><\/p>\n<\/td>\n

\n

C++17<\/span><\/p>\n<\/td>\n

\n

LWG 2369<\/span><\/p>\n<\/td>\n

\n

constexpr max(initializer_list) vs max_element<\/span><\/p>\n<\/td>\n<\/tr>\n

\n

missing<\/span><\/p>\n<\/td>\n

\n

C++17<\/span><\/p>\n<\/td>\n

\n

LWG 2408<\/span><\/p>\n<\/td>\n

\n

SFINAE-friendly common_type \/ iterator_traits is missing in C++14<\/span><\/p>\n<\/td>\n<\/tr>\n

\n

missing<\/span><\/p>\n<\/td>\n

\n

C++17<\/span><\/p>\n<\/td>\n

\n

LWG 2415<\/span><\/p>\n<\/td>\n

\n

Inconsistency between unique_ptr and shared_ptr<\/span><\/p>\n<\/td>\n<\/tr>\n

\n

missing<\/span><\/p>\n<\/td>\n

\n

C++17<\/span><\/p>\n<\/td>\n

\n

LWG 2439<\/span><\/p>\n<\/td>\n

\n

unique_copy() sometimes can’t fall back to reading its output<\/span><\/p>\n<\/td>\n<\/tr>\n

\n

missing<\/span><\/p>\n<\/td>\n

\n

C++17<\/span><\/p>\n<\/td>\n

\n

LWG 2476<\/span><\/p>\n<\/td>\n

\n

scoped_allocator_adaptor is not assignable<\/span><\/p>\n<\/td>\n<\/tr>\n

\n

missing<\/span><\/p>\n<\/td>\n

\n

C++17<\/span><\/p>\n<\/td>\n

\n

LWG 2485<\/span><\/p>\n<\/td>\n

\n

get() should be overloaded for const tuple&&<\/span><\/p>\n<\/td>\n<\/tr>\n

\n

VS 2015<\/span><\/p>\n<\/td>\n

\n

C++14<\/span><\/p>\n<\/td>\n

\n

GB 9<\/span><\/p>\n<\/td>\n

\n

Remove gets from C++14<\/span><\/p>\n<\/td>\n<\/tr>\n

\n

VS 2015<\/span><\/p>\n<\/td>\n

\n

C++14<\/span><\/p>\n<\/td>\n

\n

LWG 2009<\/span><\/p>\n<\/td>\n

\n

Reporting out-of-bound values on numeric string conversions<\/span><\/p>\n<\/td>\n<\/tr>\n

\n

VS 2015<\/span><\/p>\n<\/td>\n

\n

C++14<\/span><\/p>\n<\/td>\n

\n

LWG 2094<\/span><\/p>\n<\/td>\n

\n

duration conversion overflow shouldn’t participate in overload resolution<\/span><\/p>\n<\/td>\n<\/tr>\n

\n

VS 2015<\/span><\/p>\n<\/td>\n

\n

C++14<\/span><\/p>\n<\/td>\n

\n

LWG 2097<\/span><\/p>\n<\/td>\n

\n

packaged_task constructors should be constrained<\/span><\/p>\n<\/td>\n<\/tr>\n

\n

VS 2015<\/span><\/p>\n<\/td>\n

\n

C++14<\/span><\/p>\n<\/td>\n

\n

LWG 2103<\/span><\/p>\n<\/td>\n

\n

std::allocator_traits<std::allocator<T>>::propagate_on_container_move_assignment<\/span><\/p>\n<\/td>\n<\/tr>\n

\n

VS 2015<\/span><\/p>\n<\/td>\n

\n

C++14<\/span><\/p>\n<\/td>\n

\n

LWG 2104<\/span><\/p>\n<\/td>\n

\n

unique_lock move-assignment should not be noexcept<\/span><\/p>\n<\/td>\n<\/tr>\n

\n

VS 2015<\/span><\/p>\n<\/td>\n

\n

C++14<\/span><\/p>\n<\/td>\n

\n

LWG 2112<\/span><\/p>\n<\/td>\n

\n

User-defined classes that cannot be derived from<\/span><\/p>\n<\/td>\n<\/tr>\n

\n

VS 2015<\/span><\/p>\n<\/td>\n

\n

C++14<\/span><\/p>\n<\/td>\n

\n

LWG 2144<\/span><\/p>\n<\/td>\n

\n

Missing noexcept specification in type_index<\/span><\/p>\n<\/td>\n<\/tr>\n

\n

VS 2015<\/span><\/p>\n<\/td>\n

\n

C++14<\/span><\/p>\n<\/td>\n

\n

LWG 2145<\/span><\/p>\n<\/td>\n

\n

error_category default constructor<\/span><\/p>\n<\/td>\n<\/tr>\n

\n

VS 2015<\/span><\/p>\n<\/td>\n

\n

C++14<\/span><\/p>\n<\/td>\n

\n

LWG 2162<\/span><\/p>\n<\/td>\n

\n

allocator_traits::max_size missing noexcept<\/span><\/p>\n<\/td>\n<\/tr>\n

\n

VS 2015<\/span><\/p>\n<\/td>\n

\n

C++14<\/span><\/p>\n<\/td>\n

\n

LWG 2174<\/span><\/p>\n<\/td>\n

\n

wstring_convert::converted() should be noexcept<\/span><\/p>\n<\/td>\n<\/tr>\n

\n

VS 2015<\/span><\/p>\n<\/td>\n

\n

C++14<\/span><\/p>\n<\/td>\n

\n

LWG 2176<\/span><\/p>\n<\/td>\n

\n

Special members for wstring_convert and wbuffer_convert<\/span><\/p>\n<\/td>\n<\/tr>\n

\n

VS 2015<\/span><\/p>\n<\/td>\n

\n

C++14<\/span><\/p>\n<\/td>\n

\n

LWG 2187<\/span><\/p>\n<\/td>\n

\n

vector<bool> is missing emplace and emplace_back member functions<\/span><\/p>\n<\/td>\n<\/tr>\n

\n

VS 2015<\/span><\/p>\n<\/td>\n

\n

C++14<\/span><\/p>\n<\/td>\n

\n

LWG 2193<\/span><\/p>\n<\/td>\n

\n

Default constructors for standard library containers are explicit<\/span><\/p>\n<\/td>\n<\/tr>\n

\n

VS 2015<\/span><\/p>\n<\/td>\n

\n

C++14<\/span><\/p>\n<\/td>\n

\n

LWG 2247<\/span><\/p>\n<\/td>\n

\n

Type traits and std::nullptr_t<\/span><\/p>\n<\/td>\n<\/tr>\n

\n

VS 2015<\/span><\/p>\n<\/td>\n

\n

C++14<\/span><\/p>\n<\/td>\n

\n

LWG 2268<\/span><\/p>\n<\/td>\n

\n

Setting a default argument in the declaration of a member function assign of std::basic_string<\/span><\/p>\n<\/td>\n<\/tr>\n

\n

VS 2015<\/span><\/p>\n<\/td>\n

\n

C++14<\/span><\/p>\n<\/td>\n

\n

LWG 2272<\/span><\/p>\n<\/td>\n

\n

quoted should use char_traits::eq for character comparison<\/span><\/p>\n<\/td>\n<\/tr>\n

\n

VS 2015<\/span><\/p>\n<\/td>\n

\n

C++14<\/span><\/p>\n<\/td>\n

\n

LWG 2275<\/span><\/p>\n<\/td>\n

\n

Why is forward_as_tuple not constexpr?<\/span><\/p>\n<\/td>\n<\/tr>\n

\n

VS 2015<\/span><\/p>\n<\/td>\n

\n

C++14<\/span><\/p>\n<\/td>\n

\n

LWG 2278<\/span><\/p>\n<\/td>\n

\n

User-defined literals for Standard Library types<\/span><\/p>\n<\/td>\n<\/tr>\n

\n

VS 2015<\/span><\/p>\n<\/td>\n

\n

C++14<\/span><\/p>\n<\/td>\n

\n

LWG 2280<\/span><\/p>\n<\/td>\n

\n

begin \/ end for arrays should be constexpr and noexcept<\/span><\/p>\n<\/td>\n<\/tr>\n

\n

VS 2015<\/span><\/p>\n<\/td>\n

\n

C++14<\/span><\/p>\n<\/td>\n

\n

LWG 2285<\/span><\/p>\n<\/td>\n

\n

make_reverse_iterator<\/span><\/p>\n<\/td>\n<\/tr>\n

\n

VS 2015<\/span><\/p>\n<\/td>\n

\n

C++14<\/span><\/p>\n<\/td>\n

\n

LWG 2301<\/span><\/p>\n<\/td>\n

\n

Why is std::tie not constexpr?<\/span><\/p>\n<\/td>\n<\/tr>\n

\n

VS 2015<\/span><\/p>\n<\/td>\n

\n

C++14<\/span><\/p>\n<\/td>\n

\n

LWG 2306<\/span><\/p>\n<\/td>\n

\n

match_results::reference should be value_type&, not const value_type&<\/span><\/p>\n<\/td>\n<\/tr>\n

\n

VS 2015<\/span><\/p>\n<\/td>\n

\n

C++14<\/span><\/p>\n<\/td>\n

\n

LWG 2315<\/span><\/p>\n<\/td>\n

\n

weak_ptr should be movable<\/span><\/p>\n<\/td>\n<\/tr>\n

\n

VS 2015<\/span><\/p>\n<\/td>\n

\n

C++14<\/span><\/p>\n<\/td>\n

\n

LWG 2324<\/span><\/p>\n<\/td>\n

\n

Insert iterator constructors should use addressof()<\/span><\/p>\n<\/td>\n<\/tr>\n

\n

VS 2015<\/span><\/p>\n<\/td>\n

\n

C++14<\/span><\/p>\n<\/td>\n

\n

LWG 2329<\/span><\/p>\n<\/td>\n

\n

regex_match()\/regex_search() with match_results should forbid temporary strings<\/span><\/p>\n<\/td>\n<\/tr>\n

\n

VS 2015<\/span><\/p>\n<\/td>\n

\n

C++14<\/span><\/p>\n<\/td>\n

\n

LWG 2332<\/span><\/p>\n<\/td>\n

\n

regex_iterator\/regex_token_iterator should forbid temporary regexes<\/span><\/p>\n<\/td>\n<\/tr>\n

\n

VS 2015<\/span><\/p>\n<\/td>\n

\n

C++14<\/span><\/p>\n<\/td>\n

\n

LWG 2339<\/span><\/p>\n<\/td>\n

\n

Wording issue in nth_element<\/span><\/p>\n<\/td>\n<\/tr>\n

\n

VS 2015<\/span><\/p>\n<\/td>\n

\n

C++14<\/span><\/p>\n<\/td>\n

\n

LWG 2344<\/span><\/p>\n<\/td>\n

\n

quoted()’s interaction with padding is unclear<\/span><\/p>\n<\/td>\n<\/tr>\n

\n

VS 2015<\/span><\/p>\n<\/td>\n

\n

C++14<\/span><\/p>\n<\/td>\n

\n

LWG 2346<\/span><\/p>\n<\/td>\n

\n

integral_constant’s member functions should be marked noexcept<\/span><\/p>\n<\/td>\n<\/tr>\n

\n

VS 2015<\/span><\/p>\n<\/td>\n

\n

C++17<\/span><\/p>\n<\/td>\n

\n

LWG 2129<\/span><\/p>\n<\/td>\n

\n

User specializations of std::initializer_list<\/span><\/p>\n<\/td>\n<\/tr>\n

\n

VS 2015<\/span><\/p>\n<\/td>\n

\n

C++17<\/span><\/p>\n<\/td>\n

\n

LWG 2133<\/span><\/p>\n<\/td>\n

\n

Attitude to overloaded comma for iterators<\/span><\/p>\n<\/td>\n<\/tr>\n

\n

VS 2015<\/span><\/p>\n<\/td>\n

\n

C++17<\/span><\/p>\n<\/td>\n

\n

LWG 2212<\/span><\/p>\n<\/td>\n

\n

tuple_size for const pair request header<\/span><\/p>\n<\/td>\n<\/tr>\n

\n

VS 2015<\/span><\/p>\n<\/td>\n

\n

C++17<\/span><\/p>\n<\/td>\n

\n

LWG 2234<\/span><\/p>\n<\/td>\n

\n

assert() should allow usage in constant expressions<\/span><\/p>\n<\/td>\n<\/tr>\n

\n

VS 2015<\/span><\/p>\n<\/td>\n

\n

C++17<\/span><\/p>\n<\/td>\n

\n

LWG 2365<\/span><\/p>\n<\/td>\n

\n

Missing noexcept in shared_ptr::shared_ptr(nullptr_t)<\/span><\/p>\n<\/td>\n<\/tr>\n

\n

VS 2015<\/span><\/p>\n<\/td>\n

\n

C++17<\/span><\/p>\n<\/td>\n

\n

LWG 2399<\/span><\/p>\n<\/td>\n

\n

shared_ptr’s constructor from unique_ptr should be constrained<\/span><\/p>\n<\/td>\n<\/tr>\n

\n

VS 2015<\/span><\/p>\n<\/td>\n

\n

C++17<\/span><\/p>\n<\/td>\n

\n

LWG 2400<\/span><\/p>\n<\/td>\n

\n

shared_ptr’s get_deleter() should use addressof()<\/span><\/p>\n<\/td>\n<\/tr>\n

\n

VS 2015<\/span><\/p>\n<\/td>\n

\n

C++17<\/span><\/p>\n<\/td>\n

\n

LWG 2401<\/span><\/p>\n<\/td>\n

\n

std::function needs more noexcept<\/span><\/p>\n<\/td>\n<\/tr>\n

\n

VS 2015<\/span><\/p>\n<\/td>\n

\n

C++17<\/span><\/p>\n<\/td>\n

\n

LWG 2403<\/span><\/p>\n<\/td>\n

\n

stof() should call strtof() and wcstof()<\/span><\/p>\n<\/td>\n<\/tr>\n

\n

VS 2015<\/span><\/p>\n<\/td>\n

\n

C++17<\/span><\/p>\n<\/td>\n

\n

LWG 2407<\/span><\/p>\n<\/td>\n

\n

packaged_task(allocator_arg_t, const Allocator&, F&&) should neither be constrained nor explicit<\/span><\/p>\n<\/td>\n<\/tr>\n

\n

VS 2015<\/span><\/p>\n<\/td>\n

\n

C++17<\/span><\/p>\n<\/td>\n

\n

LWG 2420<\/span><\/p>\n<\/td>\n

\n

function<void(ArgTypes…)> does not discard the return value of the target object<\/span><\/p>\n<\/td>\n<\/tr>\n

\n

VS 2015<\/span><\/p>\n<\/td>\n

\n

C++17<\/span><\/p>\n<\/td>\n

\n

LWG 2433<\/span><\/p>\n<\/td>\n

\n

uninitialized_copy()\/etc. should tolerate overloaded operator&<\/span><\/p>\n<\/td>\n<\/tr>\n

\n

VS 2015<\/span><\/p>\n<\/td>\n

\n

C++17<\/span><\/p>\n<\/td>\n

\n

LWG 2440<\/span><\/p>\n<\/td>\n

\n

seed_seq::size() should be noexcept<\/span><\/p>\n<\/td>\n<\/tr>\n

\n

VS 2015<\/span><\/p>\n<\/td>\n

\n

C++17<\/span><\/p>\n<\/td>\n

\n

LWG 2442<\/span><\/p>\n<\/td>\n

\n

call_once() shouldn’t DECAY_COPY()<\/span><\/p>\n<\/td>\n<\/tr>\n

\n

VS 2015<\/span><\/p>\n<\/td>\n

\n

C++17<\/span><\/p>\n<\/td>\n

\n

LWG 2454<\/span><\/p>\n<\/td>\n

\n

Add raw_storage_iterator::base() member<\/span><\/p>\n<\/td>\n<\/tr>\n

\n

VS 2015<\/span><\/p>\n<\/td>\n

\n

C++17<\/span><\/p>\n<\/td>\n

\n

LWG 2458<\/span><\/p>\n<\/td>\n

\n

N3778 and new library deallocation signatures<\/span><\/p>\n<\/td>\n<\/tr>\n

\n

VS 2015<\/span><\/p>\n<\/td>\n

\n

C++17<\/span><\/p>\n<\/td>\n

\n

LWG 2464<\/span><\/p>\n<\/td>\n

\n

try_emplace and insert_or_assign misspecified<\/span><\/p>\n<\/td>\n<\/tr>\n

\n

VS 2015<\/span><\/p>\n<\/td>\n

\n

C++17<\/span><\/p>\n<\/td>\n

\n

LWG 2467<\/span><\/p>\n<\/td>\n

\n

is_always_equal has slightly inconsistent default<\/span><\/p>\n<\/td>\n<\/tr>\n

\n

VS 2015<\/span><\/p>\n<\/td>\n

\n

C++17<\/span><\/p>\n<\/td>\n

\n

LWG 2483<\/span><\/p>\n<\/td>\n

\n

throw_with_nested() should use is_final<\/span><\/p>\n<\/td>\n<\/tr>\n

\n

VS 2015<\/span><\/p>\n<\/td>\n

\n

C++17<\/span><\/p>\n<\/td>\n

\n

LWG 2484<\/span><\/p>\n<\/td>\n

\n

rethrow_if_nested() is doubly unimplementable<\/span><\/p>\n<\/td>\n<\/tr>\n

\n

VS 2015<\/span><\/p>\n<\/td>\n

\n

C++17<\/span><\/p>\n<\/td>\n

\n

LWG 2486<\/span><\/p>\n<\/td>\n

\n

mem_fn() should be required to use perfect forwarding<\/span><\/p>\n<\/td>\n<\/tr>\n

\n

VS 2015<\/span><\/p>\n<\/td>\n

\n

C++17<\/span><\/p>\n<\/td>\n

\n

LWG 2487<\/span><\/p>\n<\/td>\n

\n

bind() should be const-overloaded, not cv-overloaded<\/span><\/p>\n<\/td>\n<\/tr>\n

\n

VS 2015<\/span><\/p>\n<\/td>\n

\n

C++17<\/span><\/p>\n<\/td>\n

\n

LWG 2488<\/span><\/p>\n<\/td>\n

\n

Placeholders should be allowed and encouraged to be constexpr<\/span><\/p>\n<\/td>\n<\/tr>\n

\n

VS 2015<\/span><\/p>\n<\/td>\n

\n

C++17<\/span><\/p>\n<\/td>\n

\n

LWG 2489<\/span><\/p>\n<\/td>\n

\n

mem_fn() should be noexcept<\/span><\/p>\n<\/td>\n<\/tr>\n

\n

VS 2013<\/span><\/p>\n<\/td>\n

\n

C++14<\/span><\/p>\n<\/td>\n

\n

LWG 1214<\/span><\/p>\n<\/td>\n

\n

Insufficient\/inconsistent key immutability requirements for associative containers<\/span><\/p>\n<\/td>\n<\/tr>\n

\n

VS 2013<\/span><\/p>\n<\/td>\n

\n

C++14<\/span><\/p>\n<\/td>\n

\n

LWG 2011<\/span><\/p>\n<\/td>\n

\n

Unexpected output required of strings<\/span><\/p>\n<\/td>\n<\/tr>\n

\n

VS 2013<\/span><\/p>\n<\/td>\n

\n

C++14<\/span><\/p>\n<\/td>\n

\n

LWG 2018<\/span><\/p>\n<\/td>\n

\n

regex_traits::isctype Returns clause is wrong<\/span><\/p>\n<\/td>\n<\/tr>\n

\n

VS 2013<\/span><\/p>\n<\/td>\n

\n

C++14<\/span><\/p>\n<\/td>\n

\n

LWG 2033<\/span><\/p>\n<\/td>\n

\n

Preconditions of reserve, shrink_to_fit, and resize functions<\/span><\/p>\n<\/td>\n<\/tr>\n

\n

VS 2013<\/span><\/p>\n<\/td>\n

\n

C++14<\/span><\/p>\n<\/td>\n

\n

LWG 2039<\/span><\/p>\n<\/td>\n

\n

Issues with std::reverse and std::copy_if<\/span><\/p>\n<\/td>\n<\/tr>\n

\n

VS 2013<\/span><\/p>\n<\/td>\n

\n

C++14<\/span><\/p>\n<\/td>\n

\n

LWG 2047<\/span><\/p>\n<\/td>\n

\n

Incorrect “mixed” move-assignment semantics of unique_ptr<\/span><\/p>\n<\/td>\n<\/tr>\n

\n

VS 2013<\/span><\/p>\n<\/td>\n

\n

C++14<\/span><\/p>\n<\/td>\n

\n

LWG 2049<\/span><\/p>\n<\/td>\n

\n

is_destructible is underspecified<\/span><\/p>\n<\/td>\n<\/tr>\n

\n

VS 2013<\/span><\/p>\n<\/td>\n

\n

C++14<\/span><\/p>\n<\/td>\n

\n

LWG 2050<\/span><\/p>\n<\/td>\n

\n

Unordered associative containers do not use allocator_traits to define member types<\/span><\/p>\n<\/td>\n<\/tr>\n

\n

VS 2013<\/span><\/p>\n<\/td>\n

\n

C++14<\/span><\/p>\n<\/td>\n

\n

LWG 2056<\/span><\/p>\n<\/td>\n

\n

future_errc enums start with value 0 (invalid value for broken_promise)<\/span><\/p>\n<\/td>\n<\/tr>\n

\n

VS 2013<\/span><\/p>\n<\/td>\n

\n

C++14<\/span><\/p>\n<\/td>\n

\n

LWG 2061<\/span><\/p>\n<\/td>\n

\n

make_move_iterator and arrays<\/span><\/p>\n<\/td>\n<\/tr>\n

\n

VS 2013<\/span><\/p>\n<\/td>\n

\n

C++14<\/span><\/p>\n<\/td>\n

\n

LWG 2067<\/span><\/p>\n<\/td>\n

\n

packaged_task should have deleted copy c’tor with const parameter<\/span><\/p>\n<\/td>\n<\/tr>\n

\n

VS 2013<\/span><\/p>\n<\/td>\n

\n

C++14<\/span><\/p>\n<\/td>\n

\n

LWG 2074<\/span><\/p>\n<\/td>\n

\n

Off by one error in std::reverse_copy<\/span><\/p>\n<\/td>\n<\/tr>\n

\n

VS 2013<\/span><\/p>\n<\/td>\n

\n

C++14<\/span><\/p>\n<\/td>\n

\n

LWG 2083<\/span><\/p>\n<\/td>\n

\n

const-qualification on weak_ptr::owner_before<\/span><\/p>\n<\/td>\n<\/tr>\n

\n

VS 2013<\/span><\/p>\n<\/td>\n

\n

C++14<\/span><\/p>\n<\/td>\n

\n

LWG 2087<\/span><\/p>\n<\/td>\n

\n

iostream_category() and noexcept<\/span><\/p>\n<\/td>\n<\/tr>\n

\n

VS 2013<\/span><\/p>\n<\/td>\n

\n

C++14<\/span><\/p>\n<\/td>\n

\n

LWG 2096<\/span><\/p>\n<\/td>\n

\n

Incorrect constraints of future::get in regard to MoveAssignable<\/span><\/p>\n<\/td>\n<\/tr>\n

\n

VS 2013<\/span><\/p>\n<\/td>\n

\n

C++14<\/span><\/p>\n<\/td>\n

\n

LWG 2128<\/span><\/p>\n<\/td>\n

\n

Absence of global functions cbegin\/cend<\/span><\/p>\n<\/td>\n<\/tr>\n

\n

VS 2013<\/span><\/p>\n<\/td>\n

\n

C++14<\/span><\/p>\n<\/td>\n

\n

LWG 2138<\/span><\/p>\n<\/td>\n

\n

atomic_flag::clear ordering constraints<\/span><\/p>\n<\/td>\n<\/tr>\n

\n

VS 2013<\/span><\/p>\n<\/td>\n

\n

C++14<\/span><\/p>\n<\/td>\n

\n

LWG 2141<\/span><\/p>\n<\/td>\n

\n

common_type trait produces reference types<\/span><\/p>\n<\/td>\n<\/tr>\n

\n

VS 2013<\/span><\/p>\n<\/td>\n

\n

C++14<\/span><\/p>\n<\/td>\n

\n

LWG 2143<\/span><\/p>\n<\/td>\n

\n

ios_base::xalloc should be thread-safe<\/span><\/p>\n<\/td>\n<\/tr>\n

\n

VS 2013<\/span><\/p>\n<\/td>\n

\n

C++14<\/span><\/p>\n<\/td>\n

\n

LWG 2148<\/span><\/p>\n<\/td>\n

\n

Hashing enums should be supported directly by std::hash<\/span><\/p>\n<\/td>\n<\/tr>\n

\n

VS 2013<\/span><\/p>\n<\/td>\n

\n

C++14<\/span><\/p>\n<\/td>\n

\n

LWG 2188<\/span><\/p>\n<\/td>\n

\n

Reverse iterator does not fully support targets that overload operator&<\/span><\/p>\n<\/td>\n<\/tr>\n

\n

VS 2013<\/span><\/p>\n<\/td>\n

\n

C++14<\/span><\/p>\n<\/td>\n

\n

LWG 2197<\/span><\/p>\n<\/td>\n

\n

Specification of is_[un]signed unclear for non-arithmetic types<\/span><\/p>\n<\/td>\n<\/tr>\n

\n

VS 2013<\/span><\/p>\n<\/td>\n

\n

C++14<\/span><\/p>\n<\/td>\n

\n

LWG 2213<\/span><\/p>\n<\/td>\n

\n

Return value of std::regex_replace<\/span><\/p>\n<\/td>\n<\/tr>\n

\n

VS 2013<\/span><\/p>\n<\/td>\n

\n

C++14<\/span><\/p>\n<\/td>\n

\n

LWG 2229<\/span><\/p>\n<\/td>\n

\n

Standard code conversion facets underspecified<\/span><\/p>\n<\/td>\n<\/tr>\n

\n

VS 2013<\/span><\/p>\n<\/td>\n

\n

C++14<\/span><\/p>\n<\/td>\n

\n

LWG 2284<\/span><\/p>\n<\/td>\n

\n

Inconsistency in allocator_traits::max_size<\/span><\/p>\n<\/td>\n<\/tr>\n

\n

VS 2013<\/span><\/p>\n<\/td>\n

\n

C++14<\/span><\/p>\n<\/td>\n

\n

LWG 2293<\/span><\/p>\n<\/td>\n

\n

Wrong facet used by num_put::do_put<\/span><\/p>\n<\/td>\n<\/tr>\n

\n

VS 2013<\/span><\/p>\n<\/td>\n

\n

C++14<\/span><\/p>\n<\/td>\n

\n

LWG 2313<\/span><\/p>\n<\/td>\n

\n

tuple_size should always derive from integral_constant<\/span><\/p>\n<\/td>\n<\/tr>\n

\n

VS 2013<\/span><\/p>\n<\/td>\n

\n

C++14<\/span><\/p>\n<\/td>\n

\n

LWG 2317<\/span><\/p>\n<\/td>\n

\n

The type property queries should be UnaryTypeTraits returning size_t<\/span><\/p>\n<\/td>\n<\/tr>\n

\n

VS 2013<\/span><\/p>\n<\/td>\n

\n

C++14<\/span><\/p>\n<\/td>\n

\n

LWG 2330<\/span><\/p>\n<\/td>\n

\n

regex(“meow”, regex::icase) is technically forbidden but should be permitted<\/span><\/p>\n<\/td>\n<\/tr>\n

\n

VS 2013<\/span><\/p>\n<\/td>\n

\n

C++14<\/span><\/p>\n<\/td>\n

\n

LWG 2341<\/span><\/p>\n<\/td>\n

\n

Inconsistency between basic_ostream::seekp(pos) and basic_ostream::seekp(off, dir)<\/span><\/p>\n<\/td>\n<\/tr>\n

\n

VS 2013<\/span><\/p>\n<\/td>\n

\n

C++14<\/span><\/p>\n<\/td>\n

\n

LWG 2359<\/span><\/p>\n<\/td>\n

\n

How does regex_constants::nosubs affect basic_regex::mark_count()?<\/span><\/p>\n<\/td>\n<\/tr>\n

\n

VS 2013<\/span><\/p>\n<\/td>\n

\n

C++14<\/span><\/p>\n<\/td>\n

\n

LWG 2360<\/span><\/p>\n<\/td>\n

\n

reverse_iterator::operator*() is unimplementable<\/span><\/p>\n<\/td>\n<\/tr>\n

\n

VS 2013<\/span><\/p>\n<\/td>\n

\n

C++17<\/span><\/p>\n<\/td>\n

\n

LWG 2244<\/span><\/p>\n<\/td>\n

\n

Issue on basic_istream::seekg<\/span><\/p>\n<\/td>\n<\/tr>\n

\n

VS 2013<\/span><\/p>\n<\/td>\n

\n

C++17<\/span><\/p>\n<\/td>\n

\n

LWG 2273<\/span><\/p>\n<\/td>\n

\n

regex_match ambiguity<\/span><\/p>\n<\/td>\n<\/tr>\n

\n

VS 2013<\/span><\/p>\n<\/td>\n

\n

C++17<\/span><\/p>\n<\/td>\n

\n

LWG 2473<\/span><\/p>\n<\/td>\n

\n

basic_filebuf’s relation to C FILE semantics<\/span><\/p>\n<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<\/div>\n

\n <\/p>\n

I’ve omitted 125 N\/A issues, which require no action from implementers as far as I can tell.\n<\/span><\/p>\n

\n <\/p>\n

One issue here is special.  The Proposed Resolution for LWG 2549 “Tuple EXPLICIT constructor templates […] will create dangling references” hasn’t been voted into C++17 yet, but I implemented it and listed it here because it’s required to implement C++17’s N4387 “Improving pair And tuple” safely.\n<\/span><\/p>\n

\n <\/p>\n

Frequently Asked Questions\n<\/strong><\/span><\/p>\n

\n <\/p>\n

Q: Argh, you’re implementing C++17 library features before finishing C++11 compiler features.\n<\/span><\/p>\n

\n <\/p>\n

A: That’s not a question.\n<\/span><\/p>\n

\n <\/p>\n

Q: Whyyyy?\n<\/span><\/p>\n

\n <\/p>\n

A: Much better.  There are at least two reasons.  First, library devs aren’t interchangeable with compiler devs.  The library and compiler codebases are totally different, and while we’re all advanced C++ programmers, the required skillsets for library vs. compiler development are non-overlapping to a much greater extent than most people appreciate.  It’s very rare for someone to work on both (Gor Nishanov is a notable exception; he’s been adding support for await to both).  The effort that’s going into the STL isn’t being withheld from the compiler, really!  Second, STL development exercises\/stresses compiler features, making the compiler more robust.  Several examples: implementing C++14 result_of\/function SFINAE in the STL led to improvements in the compiler’s ongoing implementation of C++11 Expression SFINAE (pointer-to-data-member expressions were especially tricky), implementing C++11\/14\/17 occurrences of constexpr throughout the STL led to numerous improvements in the compiler’s support for C++11 constexpr, and implementing C++17’s pair\/tuple changes (which involved a novel use of SFINAE in the STL) identified numerous compiler bugs that are being worked on.  So, all of this STL work is indirectly making the compiler better, especially for code that behaves like the STL (e.g. Boost).\n<\/span><\/p>\n

\n <\/p>\n

Q: What’s new in the compiler?\n<\/span><\/p>\n

\n <\/p>\n

A: We’ll publish an updated feature table for the compiler, but the changes since RTM are that Expression SFINAE is Partial in Update 1, and Variable Templates are Yes in Update 2 (and are used by the STL’s is_same_v\/etc.).  However, support for variable templates is restricted to C1XX and Clang, the compiler front-ends used for actual code generation.  The EDG front-end used for Intellisense won’t support variable templates in Update 2 (support is planned for Update 3).  Therefore, while using compiler or STL variable templates will compile, they’ll produce red squiggles in the IDE.  While unusual, we thought that this was better than artificially holding back C1XX\/STL support.\n<\/span><\/p>\n

\n <\/p>\n

Q: When was the last time that VS’s STL was caught up with the C++ Working Paper’s features?\n<\/span><\/p>\n

\n <\/p>\n

A: I believe it was 2006, before TR1 was voted into C++0x.\n<\/span><\/p>\n

\n <\/p>\n

Q: When was the last time you shipped STL features outside of a major version?\n<\/span><\/p>\n

\n <\/p>\n

A: 2008 SP1, when we added TR1.\n<\/span><\/p>\n

\n <\/p>\n

Q: C++17 sounds kinda futuristic.  Are your implementations of these C++17 STL features highly experimental, or something?\n<\/span><\/p>\n

\n <\/p>\n

A: Everything we’ve added is fully supported for production use.  I’ve personally reviewed every line, and I believe it’s very high quality.  Of course, the C++ Standardization Committee can change anything before final publication, but things that are voted into the C++ Working Paper tend to be relatively stable.\n<\/span><\/p>\n

\n <\/p>\n

Q: Will all of this stuff be available in the Community Edition?\n<\/span><\/p>\n

\n <\/p>\n

A: Yes.  We have neither the ability nor the desire to offer differing levels of STL features across different editions.\n<\/span><\/p>\n

\n <\/p>\n

Q: What’s next for the STL?\n<\/span><\/p>\n

\n <\/p>\n

A: We’re going to work on more bugfixes, especially for performance.  After that, we’ll look into implementing the rest of the Library Issues, plus any more features that are voted in, and we’ll begin to look into various Technical Specifications (no specific promises at this time).\n<\/span><\/p>\n

\n <\/p>\n

Q: When will Update 2 be available?\n<\/span><\/p>\n

\n <\/p>\n

A: We haven’t announced that publicly yet, but the first preview build will contain these features and will be available Soonish(TM). (Edited on 2\/16\/2016 to add: That first preview build, the VS 2015 Update 2 CTP<\/span><\/a>, is now available. Additionally, we’ve released the compiler\/library toolset as a NuGet package, see Andrew Pardoe’s post<\/span><\/a> for more info.)\n<\/span><\/p>\n

\n <\/p>\n

Q: Can I play with this stuff now?\n<\/span><\/p>\n

\n <\/p>\n

A: Yes!  We’ve updated the Visual C++ webcompiler<\/span><\/a> with our current development build, so you can compile example programs and try out these features.\n<\/span><\/p>\n

\n <\/p>\n

I’ll update this post with a download link when that preview build of Update 2 becomes available, and again for the final build.  You can download the Community Edition of VS 2015 Update 1 right now<\/span><\/a>, containing support for all of the purple\/blue table rows above.\n<\/span><\/p>\n

\n <\/p>\n

Special thanks to Billy O’Neal (@MalwareMinigun<\/span><\/a>) and Steve Wishnousky (@SteveWishnousky<\/span><\/a>), who made this possible so soon by implementing several features, issues, and bugfixes.\n<\/span><\/p>\n

\n <\/p>\n

Stephan T. Lavavej (@StephanTLavavej<\/span><\/a>)\n<\/span><\/p>\n

Senior Developer – Visual C++ Libraries\n<\/span><\/p>\n

stl@microsoft.com<\/span><\/a>\n\t\t<\/span><\/p><\/p>\n","protected":false},"excerpt":{"rendered":"

In VS 2015 Update 2, we’ve implemented every C++ Standard Library feature that’s been voted into C++11, C++14, and the C++17-so-far Working Paper N4567.  (See the end of this post for Update 2 availability information.)  Here’s the table:   Status Std Paper Title Update 2 C++14 N3462 SFINAE-Friendly result_of Update 2 C++17 N4387 Improving pair […]<\/p>\n","protected":false},"author":266,"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-20784","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-cplusplus"],"acf":[],"blog_post_summary":"

In VS 2015 Update 2, we’ve implemented every C++ Standard Library feature that’s been voted into C++11, C++14, and the C++17-so-far Working Paper N4567.  (See the end of this post for Update 2 availability information.)  Here’s the table:   Status Std Paper Title Update 2 C++14 N3462 SFINAE-Friendly result_of Update 2 C++17 N4387 Improving pair […]<\/p>\n","_links":{"self":[{"href":"https:\/\/devblogs.microsoft.com\/cppblog\/wp-json\/wp\/v2\/posts\/20784","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\/266"}],"replies":[{"embeddable":true,"href":"https:\/\/devblogs.microsoft.com\/cppblog\/wp-json\/wp\/v2\/comments?post=20784"}],"version-history":[{"count":0,"href":"https:\/\/devblogs.microsoft.com\/cppblog\/wp-json\/wp\/v2\/posts\/20784\/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=20784"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/devblogs.microsoft.com\/cppblog\/wp-json\/wp\/v2\/categories?post=20784"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/devblogs.microsoft.com\/cppblog\/wp-json\/wp\/v2\/tags?post=20784"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}