libc++ C++2c Status

Overview

In June 2023, the C++ standard committee adopted the first changes to the next version of the C++ standard, known here as “C++2c” (probably to be C++26).

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 #

Paper Name

Meeting

Status

First released version

Notes

P2497R0

Testing for success or failure of <charconv> functions

2023-06 (Varna)

Complete

18.0

P2592R3

Hashing support for std::chrono value classes

2023-06 (Varna)

P2587R3

to_string or not to_string

2023-06 (Varna)

P2562R1

constexpr Stable Sorting

2023-06 (Varna)

P2545R4

Read-Copy Update (RCU)

2023-06 (Varna)

P2530R3

Hazard Pointers for C++26

2023-06 (Varna)

P2538R1

ADL-proof std::projected

2023-06 (Varna)

Complete

18.0

P2495R3

Interfacing stringstreams with string_view

2023-06 (Varna)

Complete

19.0

P2510R3

Formatting pointers

2023-06 (Varna)

Complete

17.0

Implemented as a DR against C++20. (MSVC STL and libstdc++ will do the same.)

P2198R7

Freestanding Feature-Test Macros and Implementation-Defined Extensions

2023-06 (Varna)

P2338R4

Freestanding Library: Character primitives and the C library

2023-06 (Varna)

P2013R5

Freestanding Language: Optional ::operator new

2023-06 (Varna)

P2363R5

Extending associative containers with the remaining heterogeneous overloads

2023-06 (Varna)

P1901R2

Enabling the Use of weak_ptr as Keys in Unordered Associative Containers

2023-06 (Varna)

P1885R12

Naming Text Encodings to Demystify Them

2023-06 (Varna)

P0792R14

function_ref: a type-erased callable reference

2023-06 (Varna)

P2874R2

Mandating Annex D Require No More

2023-06 (Varna)

P2757R3

Type-checking format args

2023-06 (Varna)

P2637R3

Member visit

2023-06 (Varna)

Complete

19.0

P2641R4

Checking if a union alternative is active

2023-06 (Varna)

P1759R6

Native handles and file streams

2023-06 (Varna)

Complete

18.0

P2697R1

Interfacing bitset with string_view

2023-06 (Varna)

Complete

18.0

P1383R2

More constexpr for <cmath> and <complex>

2023-06 (Varna)

P2734R0

Adding the new SI prefixes

2023-06 (Varna)

Complete

17.0

P2548R6

copyable_function

2023-06 (Varna)

P2714R1

Bind front and back to NTTP callables

2023-06 (Varna)

P2630R4

submdspan

2023-06 (Varna)

P0543R3

Saturation arithmetic

2023-11 (Kona)

Complete

18.0

P2407R5

Freestanding Library: Partial Classes

2023-11 (Kona)

P2546R5

Debugging Support

2023-11 (Kona)

P2905R2

Runtime format strings

2023-11 (Kona)

Complete

18.0

P2918R2

Runtime format strings II

2023-11 (Kona)

Complete

18.0

P2909R4

Fix formatting of code units as integers (Dude, where’s my char?)

2023-11 (Kona)

Complete

18.0

P0952R2

A new specification for std::generate_canonical

2023-11 (Kona)

P2447R6

std::span over an initializer list

2023-11 (Kona)

Complete

18.0

P2821R5

span.at()

2023-11 (Kona)

Complete

18.0

P2868R3

Remove Deprecated std::allocator Typedef From C++26

2023-11 (Kona)

Complete

18.0

P2870R3

Remove basic_string::reserve() From C++26

2023-11 (Kona)

Complete

18.0

P2871R3

Remove Deprecated Unicode Conversion Facets from C++26

2023-11 (Kona)

Complete

18.0

P2819R2

Add tuple protocol to complex

2023-11 (Kona)

Complete

19.0

P2937R0

Freestanding: Remove strtok

2023-11 (Kona)

P2833R2

Freestanding Library: inout expected span

2023-11 (Kona)

P2836R1

std::basic_const_iterator should follow its underlying type’s convertibility

2023-11 (Kona)

P2264R7

Make assert() macro user friendly for C and C++

2023-11 (Kona)

P1673R13

A free function linear algebra interface based on the BLAS

2023-11 (Kona)

P2875R4

Undeprecate polymorphic_allocator::destroy for C++26

2024-03 (Tokyo)

Complete

15.0

P2867R2

Remove Deprecated strstreams From C++26

2024-03 (Tokyo)

Complete

19.0

P2869R4

Remove Deprecated shared_ptr Atomic Access APIs from C++26

2024-03 (Tokyo)

P2872R3

Remove wstring_convert From C++26

2024-03 (Tokyo)

Complete

19.0

P3107R5

Permit an efficient implementation of std::print

2024-03 (Tokyo)

P3142R0

Printing Blank Lines with println

2024-03 (Tokyo)

Complete

19.0

Implemented as a DR against C++23. (MSVC STL and libstdc++ will do the same.)

P2845R8

Formatting of std::filesystem::path

2024-03 (Tokyo)

P0493R5

Atomic minimum/maximum

2024-03 (Tokyo)

P2542R8

views::concat

2024-03 (Tokyo)

P2591R5

Concatenation of strings and string views

2024-03 (Tokyo)

Complete

19.0

P2248R8

Enabling list-initialization for algorithms

2024-03 (Tokyo)

P2810R4

is_debugger_present is_replaceable

2024-03 (Tokyo)

P1068R11

Vector API for random number generation

2024-03 (Tokyo)

P2944R3

Comparisons for reference_wrapper

2024-03 (Tokyo)

Partial

19.0

Implemented comparisons for reference_wrapper only

P2642R6

Padded mdspan layouts

2024-03 (Tokyo)

P3029R1

Better mdspan’s CTAD

2024-03 (Tokyo)

Complete

19.0

P2747R2

constexpr placement new

2024-06 (St. Louis)

Complete

20.0

P2997R1

Removing the common reference requirement from the indirectly invocable concepts

2024-06 (St. Louis)

Complete

19.0

Implemented as a DR against C++20. (MSVC STL and libstdc++ will do the same.)

P2389R2

dextents Index Type Parameter

2024-06 (St. Louis)

Complete

19.0

P3168R2

Give std::optional Range Support

2024-06 (St. Louis)

P3217R0

Adjoints to ‘Enabling list-initialization for algorithms’: find_last

2024-06 (St. Louis)

P2985R0

A type trait for detecting virtual base classes

2024-06 (St. Louis)

Complete

20.0

P0843R14

inplace_vector

2024-06 (St. Louis)

P3235R3

std::print more types faster with less memory

2024-06 (St. Louis)

P2968R2

Make std::ignore a first-class object

2024-06 (St. Louis)

Complete

19.0

P2075R6

Philox as an extension of the C++ RNG engines

2024-06 (St. Louis)

P2422R1

Remove nodiscard annotations from the standard library specification

2024-06 (St. Louis)

Complete

19.0

nodiscard attributes were kept as a conforming extension

P2300R10

std::execution

2024-06 (St. Louis)

Library Working Group Issues Status

Issue #

Issue Name

Meeting

Status

First released version

Notes

LWG2994

Needless UB for basic_string and basic_string_view

2023-06 (Varna)

Complete

5.0

LWG3884

flat_foo is missing allocator-extended copy/move constructors

2023-06 (Varna)

LWG3885

op should be in [zombie.names]

2023-06 (Varna)

Nothing To Do

LWG3887

Version macro for allocate_at_least

2023-06 (Varna)

Complete

19.0

LWG3893

LWG 3661 broke atomic<shared_ptr<T>> a; a = nullptr;

2023-06 (Varna)

LWG3894

generator::promise_type::yield_value(ranges::elements_of<Rng, Alloc>) should not be noexcept

2023-06 (Varna)

LWG3903

span destructor is redundantly noexcept

2023-06 (Varna)

Complete

7.0

LWG3904

lazy_split_view::outer-iterator’s const-converting constructor isn’t setting trailing_empty_

2023-06 (Varna)

LWG3905

Type of std::fexcept_t

2023-06 (Varna)

Complete

3.4

LWG3912

enumerate_view::iterator::operator- should be noexcept

2023-06 (Varna)

LWG3914

Inconsistent template-head of ranges::enumerate_view

2023-06 (Varna)

LWG3915

Redundant paragraph about expression variations

2023-06 (Varna)

LWG3925

Concept formattable’s definition is incorrect

2023-06 (Varna)

Complete

17.0

LWG3927

Unclear preconditions for operator[] for sequence containers

2023-06 (Varna)

Nothing To Do

LWG3935

template<class X> constexpr complex& operator=(const complex<X>&) has no specification

2023-06 (Varna)

Complete

3.4

LWG3938

Cannot use std::expected monadic ops with move-only error_type

2023-06 (Varna)

Complete

18.0

LWG3940

std::expected<void, E>::value() also needs E to be copy constructible

2023-06 (Varna)

Complete

18.0

LWG2392

“character type” is used but not defined

2023-11 (Kona)

LWG3203

span element access invalidation

2023-11 (Kona)

Nothing To Do

LWG3305

any_cast<void>

2023-11 (Kona)

Complete

18.0

LWG3431

<=> for containers should require three_way_comparable<T> instead of <=>

2023-11 (Kona)

LWG3749

common_iterator should handle integer-class difference types

2023-11 (Kona)

LWG3809

Is std::subtract_with_carry_engine<uint16_t> supposed to work

2023-11 (Kona)

LWG3892

Incorrect formatting of nested ranges and tuples

2023-11 (Kona)

Complete

17.0

LWG3897

inout_ptr will not update raw pointer to 0

2023-11 (Kona)

Complete

19.0

LWG3946

The definition of const_iterator_t should be reworked

2023-11 (Kona)

LWG3947

Unexpected constraints on adjacent_transform_view::base()

2023-11 (Kona)

LWG3948

possibly-const-range and as-const-pointer should be noexcept

2023-11 (Kona)

LWG3949

std::atomic<bool>’s trivial destructor dropped in C++17 spec wording

2023-11 (Kona)

LWG3951

[expected.object.swap]: Using value() instead of has_value()

2023-11 (Kona)

Complete

16.0

LWG3953

iter_move for common_iterator and counted_iterator should return decltype(auto)

2023-11 (Kona)

Complete

20.0

LWG3957

[container.alloc.reqmts] The value category of v should be claimed

2023-11 (Kona)

LWG3965

Incorrect example in [format.string.escaped] p3 for formatting of combining characters

2023-11 (Kona)

Complete

19.0

LWG3970

[mdspan.syn] Missing definition of full_extent_t and full_extent

2023-11 (Kona)

LWG3973

Monadic operations should be ADL-proof

2023-11 (Kona)

LWG3974

mdspan::operator[] should not copy OtherIndexTypes

2023-11 (Kona)

LWG3987

Including <flat_foo> doesn’t provide std::begin/end

2023-11 (Kona)

LWG3990

Program-defined specializations of std::tuple and std::variant can’t be properly supported

2023-11 (Kona)

LWG4001

iota_view should provide empty

2023-11 (Kona)

Complete

19.0

LWG3767

codecvt<charN_t, char8_t, mbstate_t> incorrectly added to locale

2024-03 (Tokyo)

LWG3919

enumerate_view may invoke UB for sized common non-forward underlying ranges

2024-03 (Tokyo)

LWG3950

std::basic_string_view comparison operators are overspecified

2024-03 (Tokyo)

Complete

18.0

LWG3975

Specializations of basic_format_context should not be permitted

2024-03 (Tokyo)

Nothing To Do

LWG3984

ranges::to’s recursion branch may be ill-formed

2024-03 (Tokyo)

Complete

19.0

LWG4011

"Effects: Equivalent to return" in [span.elem]

2024-03 (Tokyo)

Nothing To Do

LWG4012

common_view::begin/end are missing the simple-view check

2024-03 (Tokyo)

LWG4013

lazy_split_view::outer-iterator::value_type should not provide default constructor

2024-03 (Tokyo)

LWG4016

container-insertable checks do not match what container-inserter does

2024-03 (Tokyo)

LWG4023

Preconditions of std::basic_streambuf::setg/setp

2024-03 (Tokyo)

Complete

19.0

LWG4025

Move assignment operator of std::expected<cv void, E> should not be conditionally deleted

2024-03 (Tokyo)

Complete

20.0

LWG4030

Clarify whether arithmetic expressions in [numeric.sat.func] are mathematical or C++

2024-03 (Tokyo)

Nothing To Do

LWG4031

bad_expected_access<void> member functions should be noexcept

2024-03 (Tokyo)

Complete

16.0

LWG4035

single_view should provide empty

2024-03 (Tokyo)

Complete

19.0

LWG4036

__alignof_is_defined is only implicitly specified in C++ and not yet deprecated

2024-03 (Tokyo)

LWG4037

Static data members of ctype_base are not yet required to be usable in constant expressions

2024-03 (Tokyo)

LWG4038

std::text_encoding::aliases_view should have constexpr iterators

2024-03 (Tokyo)

LWG4043

“ASCII” is not a registered character encoding

2024-03 (Tokyo)

Nothing To Do

LWG4045

tuple can create dangling references from tuple-like

2024-03 (Tokyo)

LWG4053

Unary call to std::views::repeat does not decay the argument

2024-03 (Tokyo)

Complete

19.0

LWG4054

Repeating a repeat_view should repeat the view

2024-03 (Tokyo)

Complete

19.0

LWG3944

Formatters converting sequences of char to sequences of wchar_t

2024-06 (St. Louis)

LWG4060

submdspan preconditions do not forbid creating invalid pointer

2024-06 (St. Louis)

LWG4061

Should std::basic_format_context be default-constructible/copyable/movable?

2024-06 (St. Louis)

Complete

19.0

LWG4071

reference_wrapper comparisons are not SFINAE-friendly

2024-06 (St. Louis)

Complete

19.0

LWG4074

compatible-joinable-ranges is underconstrained

2024-06 (St. Louis)

LWG4076

concat_view should be freestanding

2024-06 (St. Louis)

LWG4079

Missing Preconditions in concat_view::iterator`s conversion constructor

2024-06 (St. Louis)

LWG4082

views::concat(r) is well-formed when r is an output_range

2024-06 (St. Louis)

LWG4083

views::as_rvalue should reject non-input ranges

2024-06 (St. Louis)

LWG4096

views::iota(views::iota(0)) should be rejected

2024-06 (St. Louis)

LWG4098

views::adjacent<0> should reject non-forward ranges

2024-06 (St. Louis)

LWG4105

ranges::ends_with`s Returns misses difference casting

2024-06 (St. Louis)

LWG4106

basic_format_args should not be default-constructible

2024-06 (St. Louis)

Complete

19.0

LWG3343

Ordering of calls to unlock() and notify_all() in Effects element of notify_all_at_thread_exit() should be reversed

Not Adopted Yet

Complete

16.0

LWG4139

§[time.zone.leap] recursive constraint in <=>

Not Adopted Yet

Complete

20.0