Namespaces
Variants
Views
Actions

C++20

From cppreference.com
< cpp

The current revision of the C++ standard

Contents

[edit] New language features

[edit] New library features

[edit] New headers

in Thread support library:

[edit] Library features

[edit] Defect reports

Defect Reports fixed in C++20 (158 core, 345 library)

[edit] Compiler support

Main Article: C++20 compiler support

[edit] C++20 core language features

C++20 feature

 
Paper(s)

 
GCC
Clang
MSVC
Apple Clang
EDG eccp
Intel C++
IBM XL C++
IBM Open XL C++ for AIX
IBM Open XL C++ for z/OS
Sun/Oracle C++
Embarcadero C++ Builder
Cray
Nvidia HPC C++ (ex PGI)*
Nvidia nvcc
Allow Lambda capture [=, this] P0409R2 8 6 19.22*

10.0.0*

5.1 2021.1 11.0 20.7 12.0
__VA_OPT__ P0306R4
P1042R1
8 (partial)*
10 (partial)*
12
9 19.25*

11.0.3*

5.1 2021.1 11.0 20.7 12.0
Designated initializers P0329R4 4.7 (partial)*
8
3.0 (partial)*
10
19.21*

12.0.0*

5.1 2021.1 11.0 20.7 12.0
template-parameter-list for generic lambdas P0428R2 8 9 19.22*

11.0.0*

5.1 2021.1 11.0 20.7 12.0
Default member initializers for bit-fields P0683R1 8 6 19.25*

10.0.0*

5.1 2021.1 11.0 20.7 12.0
Initializer list constructors in class template argument deduction P0702R1 8 6 19.14* Yes 5.0 2021.1 11.0 20.7 12.0
const&-qualified pointers to members P0704R1 8 6 19.0 (2015)*

10.0.0*

5.1 2021.1 11.0 20.7 12.0
Concepts P0734R0 6
(TS only)
10
10 19.23* (partial)*
19.30*

12.0.0* (partial)

6.1 2023.1* 11.0 20.11 12.0
Lambdas in unevaluated contexts P0315R4 9 13 (partial)*
14 (partial)*
17
19.28 (16.8)*

13.1.6* (partial)

6.2 2023.1 (partial)
2024.0
12.0
Three-way comparison operator P0515R3 10 8 (partial)
10
19.20*

12.0.0*

5.1 2021.1 11.0 20.7 12.0
DR: Simplifying implicit lambda capture P0588R1 8 19.24* 5.1 2021.1 20.7 12.0
init-statements for range-based for P0614R1 9 8 19.25*

11.0.0*

6.0 2021.7 11.0 20.11 12.0
Default constructible and assignable stateless lambdas P0624R2 9 8 19.22*

10.0.1*

5.1 2021.1 11.0 20.7 12.0
Type mismatch of defaulted special member functions P0641R2 9 (partial)* 8 19.0 (2015)* (partial)*

10.0.1*

5.1 2021.1 11.0 20.7 12.0
Access checking on specializations P0692R1 Yes 8 (partial)
14
19.26*

14.0.0*

5.1 2021.1 20.7 12.0
ADL and function templates that are not visible P0846R0 9 9 19.21*

11.0.3*

5.1 2021.1 11.0 20.7 12.0
DR11: Specify when constexpr function definitions are needed for constant evaluation P0859R0 5.2 (partial)*
9
8 19.27* (partial)*
19.31*

11.0.0*

11.0 12.0
Attributes [[likely]] and [[unlikely]] P0479R5 9 12 19.26*

13.0.0*

5.1 2021.7 20.7 12.0
Make typename more optional P0634R3 9 16 19.29 (16.10)* 5.1 2023.1 20.7 12.0
Pack-expansions in lambda init-captures P0780R2 9 9 19.22*

11.0.3*

6.1 2021.7 11.0 20.11 12.0
Attribute [[no_unique_address]] P0840R2 9 9 19.28 (16.9)**

11.0.3*

5.1 2021.1 11.0 20.7 12.0
Conditionally Trivial Special Member Functions P0848R3 10 16 19.28 (16.8)* 6.1 2021.7 20.11 12.0
DR11: Relaxing the structured bindings customization point finding rules P0961R1 8 8 19.21*

10.0.1*

5.1 2021.1 11.0 20.7 12.0
DR11: Relaxing the range-for loop customization point finding rules P0962R1 8 8 19.25*

11.0.0*

5.1 2021.1 11.0 20.7 12.0
DR17: Allow structured bindings to accessible members P0969R0 8 8 19.21*

10.0.1*

5.1 2021.1 11.0 20.7 12.0
Destroying operator delete P0722R3 9 6 19.27*

10.0.0*

6.1 2023.1 11.0 20.11 12.0
Class types in Non-type template parameters P0732R2 9 12 (partial) 19.26*(partial)*
19.28 (16.9)*

13.0.0* (partial)

6.2 2023.1 (partial) 12.0
Deprecate implicit capture of this via [=] P0806R2 9 7 19.22*

10.0.1*

5.1 11.0 20.7 12.0
explicit(bool) P0892R2 9 9 19.24*

11.0.3*

5.1 2021.1 11.0 20.7 12.0
Integrating feature-test macros P0941R2 5 3.4 19.15* (partial)
19.20*
Yes 5.0 2021.1 11.0 20.7 12.0
Prohibit aggregates with user-declared constructors P1008R1 9 8 19.20*

10.0.1*

5.1 2021.1 11.0 20.7 12.0
constexpr virtual function P1064R0 9 9 19.28 (16.9)*

11.0.3*

5.1 2021.1 11.0 20.7 12.0
Consistency improvements for comparisons P1120R0 10 8 (partial)
10
19.22*

12.0.0*

5.1 2023.1 11.0 20.7 12.0
char8_t P0482R6 9 7* 19.22*

10.0.0*

5.1 2021.1 11.0 20.7 12.0
std::is_constant_evaluated() P0595R2 9 9 19.25*

11.0.3*

5.1 19.1 11.0 12.0
constexpr try-catch blocks P1002R1 9 8 19.25*

10.0.1*

5.1 2023.1 11.0 20.7 12.0
Immediate functions (consteval) P1073R3 10 (partial)*
11
11 (partial)
14 (partial)*
17
19.28 (16.8)*
(partial)*

19.29 (16.10)*

11.0.3* (partial)
15.0.0*

5.1 2021.1 20.7 12.0
Nested inline namespaces P1094R2 9 8 19.27*

10.0.1*

5.1 2021.1 11.0 20.7 12.0
Yet another approach for constrained declarations P1141R2 10 10 19.26* (partial)
19.28 (16.9)*

12.0.5*

6.1 2023.1 11.0 20.11 12.0
Signed integers are two's complement P1236R1 9 9 Yes

11.0.3*

N/A 2023.1* 11.0 yes* 12.0
dynamic_cast and polymorphic typeid in constant expressions P1327R1 10 9 19.29 (16.10)*

11.0.3*

5.1 2021.1 11.0 20.7 12.0
Changing the active member of a union inside constexpr P1330R0 9 9 19.10*

11.0.3*

5.1 2021.1 11.0 20.7 12.0
Coroutines P0912R5 10 8 (partial)
17 (partial)*
19.0 (2015)* (partial)
19.10* (TS only)
19.28 (16.8)*

10.0.1* (partial)

5.1 2021.1 12.0 (host code only)
Parenthesized initialization of aggregates P0960R3 10 16 19.28 (16.8)* 5.1 2021.1 20.7 12.0
DR11: Array size deduction in new-expressions P1009R2 11 9 19.27*

11.0.3*

5.1 2021.1 11.0 20.7 12.0
Modules P1103R3 11 (partial) 8 (partial) 19.0 (2015)* (partial)
19.10* (TS only)
19.28 (16.8)*

10.0.1* (partial)

2023.1 (partial)
Stronger Unicode requirements P1041R4
P1139R2
10 Yes 19.0 (2015)* (P1041R4)
19.26* (P1139R2)
Yes N/A 2023.1* 11.0 12.0
<=> != == P1185R2 10 10 19.22*

12.0.0*

5.1 2021.1 11.0 20.7 12.0
DR: Explicitly defaulted functions with different exception specifications P1286R2 10 9 19.28 (16.8)*

11.0.3*

5.1 2021.1 11.0 20.7 12.0
Lambda capture and storage class specifiers of structured bindings P1091R3
P1381R1
10 8 (partial)
16
19.11*(P1381R1)
19.24*(P1091R3)

10.0.1* (partial)

5.1 2021.1 20.7 12.0
Permit conversions to arrays of unknown bound P0388R4 10 14 19.27*

14.0.0*

6.0 2021.5 20.11 12.0
constexpr container operations P0784R7 10 10 19.28 (16.9)*

12.0.0*

6.0 2021.5 11.0 20.11 12.0
Deprecating some uses of volatile P1152R4 10 10 19.27*

12.0.0*

6.0 2021.5 11.0 20.11 12.0
constinit P1143R2 10 10 19.29 (16.10)*

12.0.0*

6.1 2021.7 11.0 20.11 12.0
Deprecate comma operator in subscripts P1161R3 10 9 19.25*

11.0.3*

6.0 2021.7 11.0 20.11 12.0
[[nodiscard]] with message P1301R4 10 9 19.25*

11.0.3*

6.0 2021.5 11.0 20.11 12.0
Trivial default initialization in constexpr functions P1331R2 10 10 19.27*

12.0.0*

6.1 2021.7 11.0 20.11 12.0
Unevaluated asm-declaration in constexpr functions P1668R1 10 10 19.28 (16.9)*

12.0.0*

6.1 2021.7 11.0 20.11 12.0
using enum P1099R5 11 13 19.24*

13.1.6*

6.3 2023.1 12.0
Synthesizing Three-way comparison for specified comparison category P1186R3 11 10 19.24*

12.0.0*

6.0 2021.5 11.0 20.11 12.0
DR17: [[nodiscard]] for constructors P1771R1 10 9 19.24*

11.0.3*

6.0 2021.5 11.0 20.11 12.0
class template argument deduction for alias templates P1814R0 10 19 19.27* 6.5 12.0
class template argument deduction for aggregates P1816R0
P2082R1
10(P1816R0)
11(P2082R1)
17 19.27* 6.3 2023.1 (partial)* 12.0
DR: Implicit move for more local objects and rvalue references P1825R0 11* 13 19.24*

13.1.6*

6.0 2021.5 20.11 12.0
Allow defaulting comparisons by value P1946R0 10 10 19.25*

12.0.0*

6.1 2021.7 11.0 20.11 12.0
Remove std::weak_equality and std::strong_equality P1959R0 10 10 19.25*

12.0.0*

6.1 2021.7 11.0 20.11 12.0
Inconsistencies with non-type template parameters P1907R1 10 (partial)
11
18 (partial)* 19.26*

13.1.6* (partial)

6.2 2023.1 (partial) 12.0
DR98: Pseudo-destructors end object lifetimes P0593R6 11 11 Yes

12.0.5*

N/A 2023.1* 11.0 12.0
DR11: Converting from T* to bool should be considered narrowing P1957R2 10*
11*
11 19.27*

12.0.5*

6.1 11.0 12.0
 

C++20 feature
 

Paper(s)
GCC
Clang
MSVC
Apple Clang
EDG eccp
Intel C++
IBM XL C++
IBM Open XL C++ for AIX
IBM Open XL C++ for z/OS
Sun/Oracle C++
Embarcadero C++ Builder
Cray
Nvidia HPC C++ (ex PGI)*
Nvidia nvcc

[edit] C++20 library features

C++20 feature

 
Paper(s)

 
GCC libstdc++
Clang libc++
MSVC STL
Apple Clang*
IBM Open XL C/C++ for AIX*
Sun/Oracle C++*
Embarcadero C++ Builder*
std::endian P0463R1 8 7 19.22*

10.0.0*

Extending std::make_shared() to support arrays P0674R1 12 15 19.27*

14.0.3*

Floating-point atomic P0020R6 10 18 19.22*
Synchronized buffered (std::basic_osyncstream) P0053R7 11 18 19.29 (16.10)*
constexpr for <algorithm> and <utility> P0202R3 10 8 (partial)
12
19.26*

10.0.1* (partial)
13.0.0*

More constexpr for <complex> P0415R1 9 7 (partial)
16
19.27*

10.0.0* (partial)
15.0.0*

Make std::memory_order a scoped enumeration P0439R0 9 9 19.25*

11.0.3*

String prefix and suffix checking: string(_view) ::starts_with/ends_with P0457R2 9 6 19.21*

10.0.0*

Library support for operator<=> <compare> P0768R1 10 7 (partial)
12 (partial)*
17
19.20* (partial)
19.28 (16.9)*

13.0.0*

std::remove_cvref P0550R2 9 6 19.20*

10.0.0*

[[nodiscard]] in the standard library P0600R1 9 7 (partial)
16
19.13* (partial)
19.22*

10.0.0* (partial)
15.0.0*

Using std::move in numeric algorithms P0616R0 9 12 19.23*

13.0.0*

Utility to convert a pointer to a raw pointer P0653R2 8 6 19.22* Yes
Atomic std::shared_ptr and std::weak_ptr P0718R2 12 19.27*
std::span P0122R7 10 7 19.26*

10.0.0*

Calendar and timezone P0355R7 11 (partial)*
13 (partial)*
14
7 (partial) 19.29 (16.10)*

10.0.0* (partial)

<version> P0754R2 9 7 19.22*

10.0.0*

Comparing unordered containers P0809R0 Yes Yes 16.0* Yes
ConstexprIterator requirements P0858R0 9 12 19.11*

13.0.0*

std::basic_string::reserve() should not shrink P0966R1 11 8 19.25*

10.0.1*

Atomic Compare-And-Exchange with padding bits P0528R3 13 19.28 (16.8)*
std::atomic_ref P0019R8 10 19.28 (16.8)*
contains() member function of associative containers, e.g. std::map::contains() P0458R2 9 13 19.21*

13.1.6*

DR11: Guaranteed copy elision for piecewise construction P0475R1 9 Yes 19.29 (16.10)* Yes
std::bit_cast() P0476R2 11 14 19.27*

14.0.3*

Integral power-of-2 operations:

std::bit_ceil(), std::bit_floor(), std::bit_width(), std::has_single_bit()

P0556R3 P1956R1 9
(P0556R3)
10 (P1956R1)
9 (P0556R3)
12 (P1956R1)
19.25* (P0556R3)*
19.27* (P1956R1)*
19.28 (16.8)*

11.0.3* (P0556R3)
13.0.0* (P1956R1)

Improving the return value of erase-like algorithms P0646R1 9 10 19.21*

12.0.0*

std::destroying_delete P0722R3 9 9 19.27*

11.0.3*

std::is_nothrow_convertible P0758R1 9 9 19.23*

11.0.3*

Add std::shift_left/right to <algorithm> P0769R2 10 12 19.21*

13.0.0*

Constexpr for std::swap() and swap related functions P0879R0 10 13 19.26*

13.1.6*

std::type_identity P0887R1 9 8 19.21*

10.0.1*

Concepts library P0898R3 10 13 19.23*

13.1.6*

constexpr comparison operators for std::array P1023R0 10 8 19.27*

10.0.1*

std::unwrap_ref_decay and std::unwrap_reference P0318R1 9 8 19.21*

10.0.1*

std::bind_front() P0356R5 9 13 19.25*

13.1.6*

std::reference_wrapper for incomplete types P0357R3 9 8 19.26*

10.0.1*

Fixing operator>>(basic_istream&, CharT*) P0487R1 11 8 19.23*

10.0.1*

Library support for char8_t P0482R6 9 8 (partial)
16
19.22*

10.0.1* (partial)
15.0.0*

Utility functions to implement uses-allocator construction P0591R4 9 16 19.29 (16.10)*

15.0.0*

DR17: std::variant and std::optional should propagate copy/move triviality P0602R4 8.3 8 19.11*

10.0.1*

A sane std::variant converting constructor P0608R3 10 9 19.29 (16.10)*

11.0.3*

std::function's move constructor should be noexcept P0771R1 7.2 6 19.22* Yes
The One Ranges Proposal P0896R4 10 13 (partial)
15*
19.29 (16.10)*

14.0.3*

Heterogeneous lookup for unordered containers P0919R3 P1690R1 11 12 19.23* (P0919R3)
19.25* (P1690R1)

13.0.0*

<chrono> zero(), min(), and max() should be noexcept P0972R0 9 8 19.14*

10.0.1*

constexpr in std::pointer_traits P1006R1 9 8 19.26*

10.0.1*

std::assume_aligned() P1007R3 9*
11
15 19.28 (16.9)*

14.0.3*

Smart pointer creation with default initialization (e.g. make_unique_for_overwrite) P1020R1
P1973R1
11 (unique_ptr)
12 (shared_ptr)
16 19.28 (16.9)*

15.0.0*

Misc constexpr bits P1032R1 10 13 19.28 (16.8)*

13.1.6*

Remove comparison operators of std::span P1085R2 10 8 19.26*

10.0.1*

Make stateful allocator propagation more consistent for operator+(basic_string) P1165R1 10 15 19.26*

14.0.3*

Consistent container erasure, e.g. std::erase(std::vector), or std::erase_if(std::map) P1209R0 P1115R3 9
(P1209R0)
10 (P1115R3)
8 (P1209R0)
11 (P1115R3)
19.25* (P1209R0)
19.27* (P1115R3)

10.0.1* (P1209R0)
12.0.5* (P1115R3)

Standard library header units P1502R1 11 19.29 (16.10)*
polymorphic_allocator<> as a vocabulary type P0339R6 9 16 19.28 (16.9)*

15.0.0*

std::execution::unseq P1001R2 9 17 19.28 (16.8)*
std::lerp() and std::midpoint() P0811R3 9 9 19.23* (partial)
19.28 (16.8)*

11.0.3*

Usability enhancements for std::span P1024R3 10 9*
14
19.26*

11.0.3*

DR17: Make create_directory() intuitive P1164R1 8.3 12 19.20*

13.0.0*

std::ssize() and unsigned extent for std::span P1227R2 10 9 19.25*

11.0.3*

Traits for (un)bounded arrays P1357R1 9 9 19.25*

11.0.3*

std::to_array() P0325R4 10 10 19.25*

12.0.0*

Efficient access to std::basic_stringbuf’s buffer P0408R7 11 17 19.29 (16.10)*

15.0.0*

Layout-compatibility and pointer-interconvertibility traits P0466R5 12 19.29 (16.10)**
Bit operations: std::

rotl(), rotr(), countl_zero(), countl_one(), countr_zero(), countr_one(), popcount()

P0553R4 9 9 19.25**
19.28 (16.8)*

11.0.3*

Mathematical constants P0631R8 10 11 19.25*

12.0.5*

Text formatting P0645R10 13 14*
17
19.29 (16.10)*

15.0.0*

std::stop_token and std::jthread P0660R10 10 17
(partial)*

18
(partial)*
19.28 (16.9)*
constexpr std::allocator and related utilities P0784R7 10 12 19.29 (16.10)*

13.0.0*

constexpr std::string P0980R1 12 15 19.29 (16.10)*
19.30**

14.0.3*

constexpr std::vector P1004R2 12 15 19.29 (16.10)*
19.30**

14.0.3*

Input range adaptors P1035R7 10 16 19.29 (16.10)*

15.0.0*

constexpr std::invoke() and related utilities P1065R2 10 12 19.28 (16.8)*

13.0.0*

Atomic waiting and notifying, std::counting_semaphore, std::latch and std::barrier P1135R6 11 11 19.28 (16.8)*

13.1.6*

std::source_location P1208R6 11 15*
(partial)
16
19.29 (16.10)*

15.0.0*

Adding <=> to the standard library P1614R2 10 14*
(partial)
17*
(partial)
19.29 (16.10)*

13.1.6* (partial)

constexpr default constructor of std::atomic and std::atomic_flag P0883R2 10 13 19.26*

13.1.6*

constexpr for numeric algorithms P1645R1 10 12 19.26*

13.0.0*

Safe integral comparisons P0586R2 10 13 19.27*

13.1.6*

 

C++20 feature
 

Paper(s)
GCC libstdc++
Clang libc++
MSVC STL
Apple Clang*
IBM Open XL C/C++ for AIX*
Sun/Oracle C++*
Embarcadero C++ Builder*

* - hover over a cell marked with the star * to see additional pop-up notes.
DRnn - the number nn after "DR" denotes target C++ revision the Defect Report is applied to, e.g., DR20 → C++20.

[edit] External links

  Working C++20 examples