libc++ C++17 Status

Overview

In November 2014, the C++ standard committee created a draft for the next version of the C++ standard, initially known as “C++1z”. In February 2017, the C++ standard committee approved this draft, and sent it to ISO for approval as C++17.

This page shows the status of libc++; the status of clang’s support of the language features is here.

Attention

Features in unreleased drafts of the standard are subject to change.

The groups that have contributed papers:

• CWG - Core Language Working group

• LWG - Library working group

• SG1 - Study group #1 (Concurrency working group)

Note

“Nothing to do” means that no library changes were needed to implement this change.

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	In Progress	3.9
N4169	LWG	A proposal to add invoke function template	Urbana	Complete	3.7
N4190	LWG	Removing auto_ptr, random_shuffle(), And Old <functional> Stuff.	Urbana	In Progress
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	Complete	4.0
N4387	LWG	improving pair and tuple	Lenexa	Complete	4.0
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
P0004R1	LWG	Remove Deprecated iostreams aliases.	Kona	Complete	3.8
P0006R0	LWG	Adopt Type Traits Variable Templates for C++17.	Kona	Complete	3.8
P0092R1	LWG	Polishing <chrono>	Kona	Complete	3.8
P0007R1	LWG	Constant View: A proposal for a std::as_const helper function template.	Kona	Complete	3.8
P0156R0	LWG	Variadic lock_guard(rev 3).	Kona	Reverted in Kona	3.9
P0074R0	LWG	Making std::owner_less more flexible	Kona	Complete	3.8
P0013R1	LWG	Logical type traits rev 2	Kona	Complete	3.8
P0024R2	LWG	The Parallelism TS Should be Standardized	Jacksonville
P0226R1	LWG	Mathematical Special Functions for C++17	Jacksonville
P0220R1	LWG	Adopt Library Fundamentals V1 TS Components for C++17	Jacksonville	In Progress
P0218R1	LWG	Adopt the File System TS for C++17	Jacksonville	Complete	7.0
P0033R1	LWG	Re-enabling shared_from_this	Jacksonville	Complete	3.9
P0005R4	LWG	Adopt not_fn from Library Fundamentals 2 for C++17	Jacksonville	Complete	3.9
P0152R1	LWG	constexpr atomic::is_always_lock_free	Jacksonville	Complete	3.9
P0185R1	LWG	Adding [nothrow-]swappable traits	Jacksonville	Complete	3.9
P0253R1	LWG	Fixing a design mistake in the searchers interface	Jacksonville	Complete	3.9
P0025R0	LWG	An algorithm to “clamp” a value between a pair of boundary values	Jacksonville	Complete	3.9
P0154R1	LWG	constexpr std::hardware_{constructive,destructive}_interference_size	Jacksonville
P0030R1	LWG	Proposal to Introduce a 3-Argument Overload to std::hypot	Jacksonville	Complete	3.9
P0031R0	LWG	A Proposal to Add Constexpr Modifiers to reverse_iterator, move_iterator, array and Range Access	Jacksonville	Complete	4.0
P0272R1	LWG	Give std::string a non-const .data() member function	Jacksonville	Complete	3.9
P0077R2	LWG	is_callable, the missing INVOKE related trait	Jacksonville	Complete	3.9
p0032r3	LWG	Homogeneous interface for variant, any and optional	Oulu	Complete	4.0
p0040r3	LWG	Extending memory management tools	Oulu	Complete	4.0
p0063r3	LWG	C++17 should refer to C11 instead of C99	Oulu	Complete	7.0
p0067r3	LWG	Elementary string conversions	Oulu	Now P0067R5	n/a
p0083r3	LWG	Splicing Maps and Sets	Oulu	Complete	8.0
p0084r2	LWG	Emplace Return Type	Oulu	Complete	4.0
p0088r3	LWG	Variant: a type-safe union for C++17	Oulu	Complete	4.0
p0137r1	CWG	Core Issue 1776: Replacement of class objects containing reference members	Oulu	Complete	6.0
p0163r0	LWG	shared_ptr::weak_type	Oulu	Complete	3.9
p0174r2	LWG	Deprecating Vestigial Library Parts in C++17	Oulu	Partial
p0175r1	LWG	Synopses for the C library	Oulu
p0180r2	LWG	Reserve a New Library Namespace for Future Standardization	Oulu	Nothing To Do	n/a
p0181r1	LWG	Ordered by Default	Oulu	Removed in Kona	n/a
p0209r2	LWG	make_from_tuple: apply for construction	Oulu	Complete	3.9
p0219r1	LWG	Relative Paths for Filesystem	Oulu	Complete	7.0
p0254r2	LWG	Integrating std::string_view and std::string	Oulu	Complete	4.0
p0258r2	LWG	has_unique_object_representations	Oulu	Complete	6.0
p0295r0	LWG	Adopt Selected Library Fundamentals V2 Components for C++17	Oulu	Complete	4.0
p0302r1	LWG	Removing Allocator Support in std::function	Oulu	Complete	4.0
p0307r2	LWG	Making Optional Greater Equal Again	Oulu	Complete	4.0
p0336r1	LWG	Better Names for Parallel Execution Policies in C++17	Oulu
p0337r0	LWG	Delete operator= for polymorphic_allocator	Oulu	Complete	3.9
p0346r1	LWG	A <random> Nomenclature Tweak	Oulu	Complete	3.9
p0358r1	LWG	Fixes for not_fn	Oulu	Complete	3.9
p0371r1	LWG	Temporarily discourage memory_order_consume	Oulu	Nothing To Do	n/a
p0392r0	LWG	Adapting string_view by filesystem paths	Oulu	Complete	4.0
p0393r3	LWG	Making Variant Greater Equal	Oulu	Complete	4.0
P0394r4	LWG	Hotel Parallelifornia: terminate() for Parallel Algorithms Exception Handling	Oulu
P0003R5	LWG	Removing Deprecated Exception Specifications from C++17	Issaquah	Complete	5.0
P0067R5	LWG	Elementary string conversions, revision 5	Issaquah	Partial [#note-P0067]
P0403R1	LWG	Literal suffixes for basic_string_view	Issaquah	Complete	4.0
P0414R2	LWG	Merging shared_ptr changes from Library Fundamentals to C++17	Issaquah	Complete	11.0
P0418R2	LWG	Fail or succeed: there is no atomic lattice	Issaquah
P0426R1	LWG	Constexpr for std::char_traits	Issaquah	Complete	4.0
P0435R1	LWG	Resolving LWG Issues re common_type	Issaquah	Complete	4.0
P0502R0	LWG	Throwing out of a parallel algorithm terminates - but how?	Issaquah
P0503R0	LWG	Correcting library usage of “literal type”	Issaquah	Complete	4.0
P0504R0	LWG	Revisiting in-place tag types for any/optional/variant	Issaquah	Complete	4.0
P0505R0	LWG	Wording for GB 50 - constexpr for chrono	Issaquah	Complete	4.0
P0508R0	LWG	Wording for GB 58 - structured bindings for node_handles	Issaquah
P0509R1	LWG	Updating “Restrictions on exception handling”	Issaquah	Nothing To Do	n/a
P0510R0	LWG	Disallowing references, incomplete types, arrays, and empty variants	Issaquah	Complete	4.0
P0513R0	LWG	Poisoning the Hash	Issaquah	Complete	5.0
P0516R0	LWG	Clarify That shared_future’s Copy Operations have Wide Contracts	Issaquah	Complete	4.0
P0517R0	LWG	Make future_error Constructible	Issaquah	Complete	4.0
P0521R0	LWG	Proposed Resolution for CA 14 (shared_ptr use_count/unique)	Issaquah	Nothing To Do	n/a
P0156R2	LWG	Variadic Lock guard(rev 5)	Kona	Complete	5.0
P0270R3	CWG	Removing C dependencies from signal handler wording	Kona
P0298R3	CWG	A byte type definition	Kona	Complete	5.0
P0317R1	LWG	Directory Entry Caching for Filesystem	Kona	Complete	7.0
P0430R2	LWG	File system library on non-POSIX-like operating systems	Kona	Complete	7.0
P0433R2	LWG	Toward a resolution of US7 and US14: Integrating template deduction for class templates into the standard library	Kona	Complete	14.0
P0452R1	LWG	Unifying <numeric> Parallel Algorithms	Kona
P0467R2	LWG	Iterator Concerns for Parallel Algorithms	Kona
P0492R2	LWG	Proposed Resolution of C++17 National Body Comments for Filesystems	Kona	Complete	7.0
P0518R1	LWG	Allowing copies as arguments to function objects given to parallel algorithms in response to CH11	Kona
P0523R1	LWG	Wording for CH 10: Complexity of parallel algorithms	Kona
P0548R1	LWG	common_type and duration	Kona	Complete	5.0
P0558R1	LWG	Resolving atomic<T> named base class inconsistencies	Kona	Complete
P0574R1	LWG	Algorithm Complexity Constraints and Parallel Overloads	Kona
P0599R1	LWG	noexcept for hash functions	Kona	Complete	5.0
P0604R0	LWG	Resolving GB 55, US 84, US 85, US 86	Kona	Complete
P0607R0	LWG	Inline Variables for the Standard Library	Kona	In Progress 2	6.0
P0618R0	LWG	Deprecating <codecvt>	Kona
P0623R0	LWG	Final C++17 Parallel Algorithms Fixes	Kona
P0682R1	LWG	Repairing elementary string conversions	Toronto
P0739R0	LWG	Some improvements to class template argument deduction integration into the standard library	Toronto	Complete	5.0

Note

1

P0067: std::(to|from)_chars for integrals has been available since version 7.0. std::to_chars for float and double since version 14.0 std::to_chars for long double uses the implementation for double.

2

P0607: The parts of P0607 that are not done are the <regex> bits.

Library Working Group Issues Status

Issue #	Issue Name	Meeting	Status	First released version
2016	Allocators must be no-throw swappable	Urbana	Complete
2118	unique_ptr for array does not support cv qualification conversion of actual argument	Urbana	Complete
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	Complete
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	Complete
2106	move_iterator wrapping iterators returning prvalues	Urbana	Complete
2129	User specializations of std::initializer_list	Urbana	Complete
2212	tuple_size for const pair request <tuple> header	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	Complete
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<void(ArgTypes…)> does not discard the return value of the target object	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	Complete
1169	num_get not fully compatible with strto*	Kona	Complete
2072	Unclear wording about capacity of temporary buffers	Kona	Complete
2101	Some transformation types can produce impossible types	Kona	Complete
2111	Which unexpected&#47;``terminate`` handler is called from the exception handling runtime?	Kona	Complete
2119	Missing hash specializations for extended integer types	Kona	Complete
2127	Move-construction with raw_storage_iterator	Kona	Complete
2133	Attitude to overloaded comma for iterators	Kona	Complete
2156	Unordered containers’ reserve(n) reserves for n-1 elements	Kona	Complete
2218	Unclear how containers use allocator_traits::construct()	Kona	Complete
2219	*INVOKE*-ing a pointer to member with a reference_wrapper as the object expression	Kona	Complete
2224	Ambiguous status of access to non-live objects	Kona	Complete
2234	assert() should allow usage in constant expressions	Kona	Complete
2244	Issue on basic_istream::seekg	Kona	Complete
2250	Follow-up On Library Issue 2207	Kona	Complete
2259	Issues in 17.6.5.5 rules for member functions	Kona	Complete
2273	regex_match ambiguity	Kona	Complete
2336	is_trivially_constructible/is_trivially_assignable traits are always false	Kona	Complete
2353	std::next is over-constrained	Kona	Complete
2367	pair and tuple are not correctly implemented for is_constructible with no args	Kona	Complete
2380	May <cstdlib> provide long ::abs(long) and long long ::abs(long long)?	Kona	Complete
2384	Allocator’s deallocate function needs better specification	Kona	Complete
2385	function::assign allocator argument doesn’t make sense	Kona	Complete
2435	reference_wrapper::operator()‘s Remark should be deleted	Kona	Complete
2447	Allocators and volatile-qualified value types	Kona	Complete
2462	std::ios_base::failure is overspecified	Kona	Complete
2466	allocator_traits::max_size() default behavior is incorrect	Kona	Complete
2469	Wrong specification of Requires clause of operator[] for map and unordered_map	Kona	Complete
2473	basic_filebuf‘s relation to C FILE semantics	Kona	Complete
2476	scoped_allocator_adaptor is not assignable	Kona	Complete
2477	Inconsistency of wordings in std::vector::erase() and std::deque::erase()	Kona	Complete
2483	throw_with_nested() should use is_final	Kona	Complete
2484	rethrow_if_nested() is doubly unimplementable	Kona	Complete
2485	get() should be overloaded for const tuple&&	Kona	Complete
2486	mem_fn() should be required to use perfect forwarding	Kona	Complete
2487	bind() should be const-overloaded, not cv-overloaded	Kona	Complete
2489	mem_fn() should be noexcept	Kona	Complete
2492	Clarify requirements for comp	Kona	Complete
2495	There is no such thing as an Exception Safety element	Kona	Complete
2192	Validity and return type of std::abs(0u) is unclear	Jacksonville	Complete
2276	Missing requirement on std::promise::set_exception	Jacksonville	Complete
2296	std::addressof should be constexpr	Jacksonville	Complete
2450	(greater|less|greater_equal|less_equal)<void> do not yield a total order for pointers	Jacksonville	Complete
2520	N4089 broke initializing unique_ptr<T[]> from a nullptr	Jacksonville	Complete
2522	[fund.ts.v2] Contradiction in set_default_resource specification	Jacksonville	Complete
2523	std::promise synopsis shows two set_value_at_thread_exit()‘s for no apparent reason	Jacksonville	Complete
2537	Constructors for priority_queue taking allocators should call make_heap	Jacksonville	Complete
2539	[fund.ts.v2] invocation_trait definition definition doesn’t work for surrogate call functions	Jacksonville
2545	Simplify wording for bind without explicitly specified return type	Jacksonville	Complete
2557	Logical operator traits are broken in the zero-argument case	Jacksonville	Complete
2558	[fund.ts.v2] Logical operator traits are broken in the zero-argument case	Jacksonville	Complete
2559	Error in LWG 2234’s resolution	Jacksonville	Complete
2560	is_constructible underspecified when applied to a function type	Jacksonville	Complete
2565	std::function‘s move constructor should guarantee nothrow for reference_wrappers and function pointers	Jacksonville	Complete
2566	Requirements on the first template parameter of container adaptors	Jacksonville	Complete
2571	§[map.modifiers]/2 imposes nonsensical requirement on insert(InputIterator, InputIterator)	Jacksonville	Complete
2572	The remarks for shared_ptr::operator* should apply to cv-qualified void as well	Jacksonville	Complete
2574	[fund.ts.v2] std::experimental::function::operator=(F&&) should be constrained	Jacksonville	Complete
2575	[fund.ts.v2] experimental::function::assign should be removed	Jacksonville
2576	istream_iterator and ostream_iterator should use std::addressof	Jacksonville	Complete
2577	{shared,unique}_lock should use std::addressof	Jacksonville	Complete
2579	Inconsistency wrt Allocators in basic_string assignment vs. basic_string::assign	Jacksonville	Complete
2581	Specialization of <type_traits> variable templates should be prohibited	Jacksonville	Complete
2582	§[res.on.functions]/2’s prohibition against incomplete types shouldn’t apply to type traits	Jacksonville	Complete
2583	There is no way to supply an allocator for basic_string(str, pos)	Jacksonville	Complete
2585	forward_list::resize(size_type, const value_type&) effects incorrect	Jacksonville	Complete
2586	Wrong value category used in scoped_allocator_adaptor::construct()	Jacksonville	Complete
2590	Aggregate initialization for std::array	Jacksonville	Complete
2181	Exceptions from seed sequence operations	Oulu	Complete
2309	mutex::lock() should not throw device_or_resource_busy	Oulu	Complete
2310	Public exposition only member in std::array	Oulu	Complete
2312	tuple’s constructor constraints need to be phrased more precisely	Oulu	Complete
2328	Rvalue stream extraction should use perfect forwarding	Oulu	Complete
2393	std::function’s Callable definition is broken	Oulu	Complete
2422	std::numeric_limits<T>::is_modulo description: “most machines” errata	Oulu	Complete
2426	Issue about compare_exchange	Oulu
2436	Comparators for associative containers should always be CopyConstructible	Oulu	Complete
2441	Exact-width atomic typedefs should be provided	Oulu	Complete
2451	[fund.ts.v2] optional should ‘forward’ T’s implicit conversions	Oulu	Nothing To Do
2509	[fund.ts.v2] any_cast doesn’t work with rvalue reference targets and cannot move with a value target	Oulu	Complete
2516	[fund.ts.v2] Public “exposition only” members in observer_ptr	Oulu
2542	Missing const requirements for associative containers	Oulu
2549	Tuple EXPLICIT constructor templates that take tuple parameters end up taking references to temporaries and will create dangling references	Oulu	Complete
2550	Wording of unordered container’s clear() method complexity	Oulu	Complete
2551	[fund.ts.v2] “Exception safety” cleanup in library fundamentals required	Oulu	Complete
2555	[fund.ts.v2] No handling for over-aligned types in optional	Oulu	Complete
2573	[fund.ts.v2] std::hash<std::experimental::shared_ptr> does not work for arrays	Oulu
2596	vector::data() should use addressof	Oulu	Complete
2667	path::root_directory() description is confusing	Oulu	Complete
2669	recursive_directory_iterator effects refers to non-existent functions	Oulu	Complete
2670	system_complete refers to undefined variable ‘base’	Oulu	Complete
2671	Errors in Copy	Oulu	Complete
2673	status() effects cannot be implemented as specified	Oulu	Complete
2674	Bidirectional iterator requirement on path::iterator is very expensive	Oulu	Complete
2683	filesystem::copy() says “no effects”	Oulu	Complete
2684	priority_queue lacking comparator typedef	Oulu	Complete
2685	shared_ptr deleters must not throw on move construction	Oulu	Complete
2687	{inclusive,exclusive}_scan misspecified	Oulu
2688	clamp misses preconditions and has extraneous condition on result	Oulu	Complete
2689	Parallel versions of std::copy and std::move shouldn’t be in order	Oulu
2698	Effect of assign() on iterators/pointers/references	Oulu	Complete
2704	recursive_directory_iterator’s members should require ‘*this is dereferenceable’	Oulu	Complete
2706	Error reporting for recursive_directory_iterator::pop() is under-specified	Oulu	Complete
2707	path construction and assignment should have “string_type&&” overloads	Oulu	Complete
2709	offsetof is unnecessarily imprecise	Oulu
2710	“Effects: Equivalent to …” doesn’t count “Synchronization:” as determined semantics	Oulu	Complete
2711	path is convertible from approximately everything under the sun	Oulu	Complete
2716	Specification of shuffle and sample disallows lvalue URNGs	Oulu	Complete
2718	Parallelism bug in [algorithms.parallel.exec] p2	Oulu
2719	permissions function should not be noexcept due to narrow contract	Oulu	Complete
2720	permissions function incorrectly specified for symlinks	Oulu	Complete
2721	remove_all has incorrect post conditions	Oulu	Complete
2723	Do directory_iterator and recursive_directory_iterator become the end iterator upon error?	Oulu	Complete
2724	The protected virtual member functions of memory_resource should be private	Oulu
2725	filesystem::exists(const path&, error_code&) error reporting	Oulu	Complete
2726	[recursive_]directory_iterator::increment(error_code&) is underspecified	Oulu	Complete
2727	Parallel algorithms with constexpr specifier	Oulu
2728	status(p).permissions() and symlink_status(p).permissions() are not specified	Oulu	Complete
2062	Effect contradictions w/o no-throw guarantee of std::function swaps	Issaquah	Complete
2166	Heap property underspecified?	Issaquah
2221	No formatted output operator for nullptr	Issaquah	Complete
2223	shrink_to_fit effect on iterator validity	Issaquah	Complete
2261	Are containers required to use their ‘pointer’ type internally?	Issaquah
2394	locale::name specification unclear - what is implementation-defined?	Issaquah	Complete
2460	LWG issue 2408 and value categories	Issaquah	Complete
2468	Self-move-assignment of library types	Issaquah
2475	Allow overwriting of std::basic_string terminator with charT() to allow cleaner interoperation with legacy APIs	Issaquah	Complete
2503	multiline option should be added to syntax_option_type	Issaquah	Complete
2510	Tag types should not be DefaultConstructible	Issaquah	Complete
2514	Type traits must not be final	Issaquah	Complete
2518	[fund.ts.v2] Non-member swap for propagate_const should call member swap	Issaquah	Complete
2519	Iterator operator-= has gratuitous undefined behaviour	Issaquah	Complete
2521	[fund.ts.v2] weak_ptr’s converting move constructor should be modified as well for array support	Issaquah
2525	[fund.ts.v2] get_memory_resource should be const and noexcept	Issaquah
2527	[fund.ts.v2] ALLOCATOR_OF for function::operator= has incorrect default	Issaquah
2531	future::get should explicitly state that the shared state is released	Issaquah
2534	Constrain rvalue stream operators	Issaquah	Complete
2536	What should <complex.h> do?	Issaquah	Complete
2540	unordered_multimap::insert hint iterator	Issaquah	Complete
2543	LWG 2148 (hash support for enum types) seems under-specified	Issaquah	Complete
2544	istreambuf_iterator(basic_streambuf<charT, traits>* s) effects unclear when s is 0	Issaquah	Complete
2556	Wide contract for future::share()	Issaquah	Complete
2562	Consistent total ordering of pointers by comparison functors	Issaquah
2567	Specification of logical operator traits uses BaseCharacteristic, which is defined only for UnaryTypeTraits and BinaryTypeTraits	Issaquah	Complete
2568	[fund.ts.v2] Specification of logical operator traits uses BaseCharacteristic, which is defined only for UnaryTypeTraits and BinaryTypeTraits	Issaquah
2569	conjunction and disjunction requirements are too strict	Issaquah	Complete
2570	[fund.ts.v2] conjunction and disjunction requirements are too strict	Issaquah
2578	Iterator requirements should reference iterator traits	Issaquah	Complete
2584	<regex> ECMAScript IdentityEscape is ambiguous	Issaquah
2587	“Convertible to bool” requirement in conjunction and disjunction	Issaquah	Resolved by 2567
2588	[fund.ts.v2] “Convertible to bool” requirement in conjunction and disjunction	Issaquah
2589	match_results can’t satisfy the requirements of a container	Issaquah	Complete
2591	std::function’s member template target() should not lead to undefined behaviour	Issaquah	Complete
2598	addressof works on temporaries	Issaquah	Complete
2664	operator/ (and other append) semantics not useful if argument has root	Issaquah	Complete
2665	remove_filename() post condition is incorrect	Issaquah	Complete
2672	Should is_empty use error_code in its specification?	Issaquah	Complete
2678	std::filesystem enum classes overspecified	Issaquah	Complete
2679	Inconsistent Use of Effects and Equivalent To	Issaquah	Complete
2680	Add “Equivalent to” to filesystem	Issaquah	Complete
2681	filesystem::copy() cannot copy symlinks	Issaquah	Complete
2682	filesystem::copy() won’t create a symlink to a directory	Issaquah	Complete
2686	Why is std::hash specialized for error_code, but not error_condition?	Issaquah	Complete
2694	Application of LWG 436 accidentally deleted definition of “facet”	Issaquah	Complete
2696	Interaction between make_shared and enable_shared_from_this is underspecified	Issaquah	Nothing To Do
2699	Missing restriction in [numeric.requirements]	Issaquah	Complete
2712	copy_file(from, to, …) has a number of unspecified error conditions	Issaquah	Complete
2722	equivalent incorrectly specifies throws clause	Issaquah	Complete
2729	Missing SFINAE on std::pair::operator=	Issaquah	Complete
2732	Questionable specification of path::operator/= and path::append	Issaquah	Complete
2733	[fund.ts.v2] gcd / lcm and bool	Issaquah	Complete
2735	std::abs(short), std::abs(signed char) and others should return int instead of double in order to be compatible with C++98 and C	Issaquah	Complete
2736	nullopt_t insufficiently constrained	Issaquah	Complete
2738	is_constructible with void types	Issaquah	Complete
2739	Issue with time_point non-member subtraction with an unsigned duration	Issaquah	Complete
2740	constexpr optional<T>::operator->	Issaquah	Complete
2742	Inconsistent string interface taking string_view	Issaquah	Complete
2744	any’s in_place constructors	Issaquah	Complete
2745	[fund.ts.v2] Implementability of LWG 2451	Issaquah	Complete
2747	Possibly redundant std::move in [alg.foreach]	Issaquah	Complete
2748	swappable traits for optionals	Issaquah	Complete
2749	swappable traits for variants	Issaquah	Complete
2750	[fund.ts.v2] LWG 2451 conversion constructor constraint	Issaquah	Nothing To Do
2752	“Throws:” clauses of async and packaged_task are unimplementable	Issaquah
2755	[string.view.io] uses non-existent basic_string_view::to_string function	Issaquah	Complete
2756	C++ WP optional<T> should ‘forward’ T’s implicit conversions	Issaquah	Complete
2758	std::string{}.assign(“ABCDE”, 0, 1) is ambiguous	Issaquah	Complete
2759	gcd / lcm and bool for the WP	Issaquah	Complete
2760	non-const basic_string::data should not invalidate iterators	Issaquah	Complete
2765	Did LWG 1123 go too far?	Issaquah	Complete
2767	not_fn call_wrapper can form invalid types	Issaquah	Complete
2769	Redundant const in the return type of any_cast(const any&)	Issaquah	Complete
2771	Broken Effects of some basic_string::compare functions in terms of basic_string_view	Issaquah	Complete
2773	Making std::ignore constexpr	Issaquah	Complete
2777	basic_string_view::copy should use char_traits::copy	Issaquah	Complete
2778	basic_string_view is missing constexpr	Issaquah	Complete
2260	Missing requirement for Allocator::pointer	Kona	Complete
2676	Provide filesystem::path overloads for File-based streams	Kona	Complete
2768	any_cast and move semantics	Kona	Complete
2769	Redundant const in the return type of any_cast(const any&)	Kona	Complete
2781	Contradictory requirements for std::function and std::reference_wrapper	Kona	Complete
2782	scoped_allocator_adaptor constructors must be constrained	Kona	Complete
2784	Resolution to LWG 2484 is missing “otherwise, no effects” and is hard to parse	Kona	Complete
2785	quoted should work with basic_string_view	Kona	Complete
2786	Annex C should mention shared_ptr changes for array support	Kona	Complete
2787	§[file_status.cons] doesn’t match class definition	Kona	Complete
2788	basic_string range mutators unintentionally require a default constructible allocator	Kona	Complete
2789	Equivalence of contained objects	Kona	Complete
2790	Missing specification of istreambuf_iterator::operator->	Kona	Complete
2794	Missing requirements for allocator pointers	Kona	Nothing To Do
2795	§[global.functions] provides incorrect example of ADL use	Kona	Complete
2796	tuple should be a literal type	Kona	Complete
2801	Default-constructibility of unique_ptr	Kona	Complete
2802	shared_ptr constructor requirements for a deleter	Kona	Complete
2804	Unconditional constexpr default constructor for istream_iterator	Kona	Complete
2806	Base class of bad_optional_access	Kona	Complete
2807	std::invoke should use std::is_nothrow_callable	Kona	Complete
2812	Range access is available with <string_view>	Kona	Complete
2824	list::sort should say that the order of elements is unspecified if an exception is thrown	Kona	Complete
2826	string_view iterators use old wording	Kona	Complete
2834	Resolution LWG 2223 is missing wording about end iterators	Kona	Complete
2835	LWG 2536 seems to misspecify <tgmath.h>	Kona	Complete
2837	gcd and lcm should support a wider range of input values	Kona	Complete
2838	is_literal_type specification needs a little cleanup	Kona	Complete
2842	in_place_t check for optional::optional(U&&) should decay U	Kona	Complete
2850	std::function move constructor does unnecessary work	Kona	Complete
2853	Possible inconsistency in specification of erase in [vector.modifiers]	Kona	Complete
2855	std::throw_with_nested(“string_literal”)	Kona	Complete
2857	{variant,optional,any}::emplace should return the constructed value	Kona	Complete
2861	basic_string should require that charT match traits::char_type	Kona	Complete
2866	Incorrect derived classes constraints	Kona	Nothing To Do
2868	Missing specification of bad_any_cast::what()	Kona	Complete
2872	Add definition for direct-non-list-initialization	Kona	Complete
2873	Add noexcept to several shared_ptr related functions	Kona	Complete
2874	Constructor shared_ptr::shared_ptr(Y*) should be constrained	Kona	Complete	13.0
2875	shared_ptr::shared_ptr(Y*, D, […]) constructors should be constrained	Kona	Complete
2876	shared_ptr::shared_ptr(const weak_ptr<Y>&) constructor should be constrained	Kona
2878	Missing DefaultConstructible requirement for istream_iterator default constructor	Kona	Complete
2890	The definition of ‘object state’ applies only to class types	Kona	Complete
2900	The copy and move constructors of optional are not constexpr	Kona	Complete
2903	The form of initialization for the emplace-constructors is not specified	Kona	Complete
2904	Make variant move-assignment more exception safe	Kona	Complete
2905	is_constructible_v<unique_ptr<P, D>, P, D const &> should be false when D is not copy constructible	Kona	Complete
2908	The less-than operator for shared pointers could do more	Kona	Complete
2911	An is_aggregate type trait is needed	Kona	Complete
2921	packaged_task and type-erased allocators	Kona	Complete
2934	optional<const T> doesn’t compare with T	Kona	Complete
2901	Variants cannot properly support allocators	Toronto	Complete
2955	to_chars / from_chars depend on std::string	Toronto	Resolved by P0682R1
2956	filesystem::canonical() still defined in terms of absolute(p, base)	Toronto	Complete