libc++ C++1z Status
In November 2014, the C++ standard committee created a draft for the next version of the C++ standard, known here as "C++1z" (probably to be C++17)
This page shows the status of libc++; the status of clang's support of the language features is here.
The groups that have contributed papers:
- LWG - Library working group
- CWG - Core Language Working group
- SG1 - Study group #1 (Concurrency working group)
Paper Status
| Paper # | Group | Paper Name | Meeting | Status | First released version |
|---|---|---|---|---|---|
| N3911 | LWG | TransformationTrait Alias void_t. | Urbana | Complete | 3.6 |
| N4089 | LWG | Safe conversions in unique_ptr<T[]>. | Urbana | ||
| N4169 | LWG | A proposal to add invoke function template | Urbana | Complete | 3.7 |
| N4190 | LWG | Removing auto_ptr, random_shuffle(), And Old | Urbana | ||
| N4258 | LWG | Cleaning-up noexcept in the Library. | Urbana | In progress | 3.7 |
| N4259 | CWG | Wording for std::uncaught_exceptions | Urbana | Complete | 3.7 |
| N4277 | LWG | TriviallyCopyable reference_wrapper. | Urbana | Complete | 3.2 |
| N4279 | LWG | Improved insertion interface for unique-key maps. | Urbana | Complete | 3.7 |
| N4280 | LWG | Non-member size() and more | Urbana | Complete | 3.6 |
| N4284 | LWG | Contiguous Iterators. | Urbana | Complete | 3.6 |
| N4285 | CWG | Cleanup for exception-specification and throw-expression. | Urbana | ||
| N4387 | LWG | improving pair and tuple | Lenexa | ||
| N4389 | LWG | bool_constant | Lenexa | Complete | 3.7 |
| N4508 | LWG | shared_mutex for C++17 | Lenexa | Complete | 3.7 |
| N4366 | LWG | LWG 2228 missing SFINAE rule | Lenexa | Complete | 3.1 |
| N4510 | LWG | Minimal incomplete type support for standard containers, revision 4 | Lenexa | Complete | 3.6 |
Library Working group Issues Status
| Issue # | Issue Name | Meeting | Status |
|---|---|---|---|
| 2016 | Allocators must be no-throw swappable | Urbana | |
| 2118 | unique_ptr for array does not support cv qualification conversion of actual argument | Urbana | Will be resolved by N4089 |
| 2170 | Aggregates cannot be DefaultConstructible | Urbana | Complete |
| 2308 | Clarify container destructor requirements w.r.t. std::array | Urbana | Complete |
| 2340 | Replacement allocation functions declared as inline | Urbana | Complete |
| 2354 | Unnecessary copying when inserting into maps with braced-init syntax | Urbana | |
| 2377 | std::align requirements overly strict | Urbana | Complete |
| 2396 | underlying_type doesn't say what to do for an incomplete enumeration type | Urbana | Complete |
| 2399 | shared_ptr's constructor from unique_ptr should be constrained | Urbana | Complete |
| 2400 | shared_ptr's get_deleter() should use addressof() | Urbana | Complete |
| 2401 | std::function needs more noexcept | Urbana | Complete |
| 2404 | mismatch()'s complexity needs to be updated | Urbana | Complete |
| 2408 | SFINAE-friendly common_type / iterator_traits is missing in C++14 | Urbana | common_type is waiting on LWG#2465 |
| 2106 | move_iterator wrapping iterators returning prvalues | Urbana | |
| 2129 | User specializations of std::initializer_list | Urbana | Complete |
| 2212 | tuple_size for const pair request | Urbana | Complete |
| 2217 | operator==(sub_match, string) slices on embedded '\0's | Urbana | Complete |
| 2230 | "see below" for initializer_list constructors of unordered containers | Urbana | Complete |
| 2233 | bad_function_call::what() unhelpful | Urbana | Complete |
| 2266 | vector and deque have incorrect insert requirements | Urbana | Complete |
| 2325 | minmax_element()'s behavior differing from max_element()'s should be noted | Urbana | Complete |
| 2361 | Apply 2299 resolution throughout library | Urbana | |
| 2365 | Missing noexcept in shared_ptr::shared_ptr(nullptr_t) | Urbana | Complete |
| 2376 | bad_weak_ptr::what() overspecified | Urbana | Complete |
| 2387 | More nested types that must be accessible and unambiguous | Urbana | Complete |
| 2059 | C++0x ambiguity problem with map::erase | Lenexa | Complete |
| 2063 | Contradictory requirements for string move assignment | Lenexa | Complete |
| 2076 | Bad CopyConstructible requirement in set constructors | Lenexa | Complete |
| 2160 | Unintended destruction ordering-specification of resize | Lenexa | Complete |
| 2168 | Inconsistent specification of uniform_real_distribution constructor | Lenexa | Complete |
| 2239 | min/max/minmax requirements | Lenexa | Complete |
| 2364 | deque and vector pop_back don't specify iterator invalidation requirements | Lenexa | Complete |
| 2369 | constexpr max(initializer_list) vs max_element | Lenexa | Complete |
| 2378 | Behaviour of standard exception types | Lenexa | Complete |
| 2403 | stof() should call strtof() and wcstof() | Lenexa | Complete |
| 2406 | negative_binomial_distribution should reject p == 1 | Lenexa | Complete |
| 2407 | packaged_task(allocator_arg_t, const Allocator&, F&&) should neither be constrained nor explicit | Lenexa | Complete |
| 2411 | shared_ptr is only contextually convertible to bool | Lenexa | Complete |
| 2415 | Inconsistency between unique_ptr and shared_ptr | Lenexa | Complete |
| 2420 | function | Lenexa | Complete |
| 2425 | operator delete(void*, size_t) doesn't invalidate pointers sufficiently | Lenexa | Complete |
| 2427 | Container adaptors as sequence containers, redux | Lenexa | Complete |
| 2428 | "External declaration" used without being defined | Lenexa | Complete |
| 2433 | uninitialized_copy()/etc. should tolerate overloaded operator& | Lenexa | Complete |
| 2434 | shared_ptr::use_count() is efficient | Lenexa | Complete |
| 2437 | iterator_traits::reference can and can't be void | Lenexa | Complete |
| 2438 | std::iterator inheritance shouldn't be mandated | Lenexa | Complete |
| 2439 | unique_copy() sometimes can't fall back to reading its output | Lenexa | Complete |
| 2440 | seed_seq::size() should be noexcept | Lenexa | Complete |
| 2442 | call_once() shouldn't DECAY_COPY() | Lenexa | Complete |
| 2448 | Non-normative Container destructor specification | Lenexa | Complete |
| 2454 | Add raw_storage_iterator::base() member | Lenexa | Complete |
| 2455 | Allocator default construction should be allowed to throw | Lenexa | Complete |
| 2458 | N3778 and new library deallocation signatures | Lenexa | Complete |
| 2459 | std::polar should require a non-negative rho | Lenexa | Complete |
| 2464 | try_emplace and insert_or_assign misspecified | Lenexa | Complete |
| 2467 | is_always_equal has slightly inconsistent default | Lenexa | Complete |
| 2470 | Allocator's destroy function should be allowed to fail to instantiate | Lenexa | Complete |
| 2482 | [c.strings] Table 73 mentions nonexistent functions | Lenexa | Complete |
| 2488 | Placeholders should be allowed and encouraged to be constexpr | Lenexa |
Last Updated: 5-Oct-2015