Namespaces
Variants
Views
Actions

Difference between revisions of "cpp/20"

From cppreference.com
< cpp
m (→‎External link: +H3)
m (Removed {{ltt std}} usages with the second argument.)
 
(9 intermediate revisions by 2 users not shown)
Line 5: Line 5:
 
{{todo}}
 
{{todo}}
  
−
== New language features ==
+
==New language features==
−
 
+
 
* [[cpp/feature test|Feature test macros]]
 
* [[cpp/feature test|Feature test macros]]
−
* [[cpp/language/operator_comparison#Three-way_comparison|3-way comparison]] operator {{c|<{{=}}>}} and [[cpp/language/default_comparisons|{{c|1=operator==() = default}}]]
+
* {{ls|cpp/language/operator comparison#Three-way comparison}} operator {{c|1=<=>}} and [[cpp/language/default_comparisons|{{c|1=operator==() = default}}]]
−
* [[cpp/language/aggregate_initialization#Designated initializers|designated initializers]]
+
* {{ls|cpp/language/aggregate initialization#Designated initializers}}
−
* init-statements and initializers in [[cpp/language/range-for|range-{{tt|for}}]]
+
* Init-statements and initializers in [[cpp/language/range-for|range-{{tt|for}}]]
 
* {{ltt|cpp/keyword/char8_t}}
 
* {{ltt|cpp/keyword/char8_t}}
−
* New [[cpp/language/attributes|attributes]]: {{attr|no_unique_address}}, {{attr|likely}}, {{attr|likely|unlikely}}
+
* New {{lt|cpp/language/attributes}}: {{attr|no_unique_address}}, {{attr|likely}}, {{attr|likely|unlikely}}
−
* {{ltt|cpp/language/parameter_pack|pack-expansions}} in [[cpp/language/lambda#Lambda_capture|lambda init-captures]]
+
* {{ltt|cpp/language/parameter pack|Pack-expansions}} in [[cpp/language/lambda#Lambda capture|lambda init-captures]]
−
* removed the requirement to use {{tt|typename}} to disambiguate types in many contexts
+
* Removed the requirement to use {{tt|typename}} to disambiguate types in many contexts
 
* {{ltt|cpp/language/consteval}}, {{ltt|cpp/language/constinit}}
 
* {{ltt|cpp/language/consteval}}, {{ltt|cpp/language/constinit}}
−
* further relaxed constexpr
+
* Further relaxed constexpr
−
* signed integers are 2's complement
+
* Signed integers are 2's complement
−
* [[cpp/language/aggregate initialization|aggregate initialization]] using parentheses
+
* [[cpp/language/operator arithmetic|Bitwise shift operators]] unified behavior
−
* [[cpp/language/coroutines|Coroutines]]
+
* {{lt|cpp/language/aggregate initialization}} using parentheses
−
* [[cpp/language/modules|Modules]]
+
* {{lt|cpp/language/coroutines}}
 +
* {{lt|cpp/language/modules}}
 
* [[cpp/language/constraints|Constraints and concepts]]
 
* [[cpp/language/constraints|Constraints and concepts]]
−
* [[cpp/language/function_template#Abbreviated_function_template|Abbreviated function templates]]
+
* {{ls|cpp/language/function template#Abbreviated function template}}
−
* DR: [[cpp/language/new|array new]] can deduce array size
+
* DR11: [[cpp/language/new#Defect reports|array new]] can deduce array size
  
−
== New library features ==
+
==New library features==
−
=== New headers ===
+
===New headers===
 
* {{header|bit}}
 
* {{header|bit}}
 
* {{header|compare}}
 
* {{header|compare}}
Line 44: Line 44:
 
* {{header|stop_token}}
 
* {{header|stop_token}}
  
−
=== Library features ===
+
===Library features===
−
 
+
 
* [[cpp/utility/feature_test|Library feature-test macros]]
 
* [[cpp/utility/feature_test|Library feature-test macros]]
 
* [[cpp/utility/format|Formatting library]]
 
* [[cpp/utility/format|Formatting library]]
−
* [[cpp/chrono#Calendar|Calendar]] and [[cpp/chrono#Time_zone|Time Zone]] library
+
* [[cpp/concepts|Concepts library]]
−
* {{ltt|cpp/utility/source_location}}
+
* {{ls|cpp/chrono#Calendar}} and {{ls|cpp/chrono#Time zone}} library in {{header|chrono}}
−
* {{ltt|cpp/container/span}}
+
* {{lc|std::source_location}}
−
* {{ltt|cpp/types/endian}}
+
* {{ltt std|cpp/container/span}}
−
* array support for {{ltt|cpp/memory/shared_ptr/make_shared}}
+
* {{ltt std|cpp/types/endian}}: {{tt|big}} / {{tt|little}} / {{tt|native}}
−
* {{ltt|cpp/types/remove_cvref}}
+
* Integral power-of-2 operations and {{ltt std|cpp/numeric/bit_cast}} in {{header|bit}}
−
* {{ltt|cpp/memory/to_address}}
+
* Array support for {{lc|std::make_shared}}
−
* {{ltt|cpp/atomic/atomic#Specializations_for_floating-point_types|floating-point atomics}}, {{ltt|cpp/memory/shared_ptr/atomic|shared_ptr atomics}}
+
* {{ltt std|cpp/types/remove_cvref}}
−
* thread-coordination classes: {{ltt|cpp/thread/barrier}}, {{ltt|cpp/thread/latch}}, and {{ltt|cpp/thread/counting_semaphore}}
+
* {{ltt std|cpp/memory/to_address}}
−
* {{ltt|cpp/thread/jthread}} and {{ltt|cpp/thread#Thread_cancellation|thread cancellation}} classes: {{ltt|cpp/thread/stop_token}}, {{ltt|cpp/thread/stop_source}}, and {{ltt|cpp/thread/stop_callback}}
+
* [[cpp/atomic/atomic#Specializations for floating-point types|Floating-point atomics]], {{ltt|cpp/memory/shared_ptr/atomic|std::shared_ptr}} atomics
−
* {{ltt|cpp/io/basic_osyncstream}}
+
* Thread-coordination classes: {{ltt std|cpp/thread/barrier}}, {{ltt std|cpp/thread/latch}}, and {{ltt std|cpp/thread/counting_semaphore}}
−
* {{ltt|cpp/string/basic_string|u8string}} and other [[cpp/language/types#char8_t | {{tt|char8_t}}]] uses
+
* {{ltt std|cpp/thread/jthread}} and {{lsd|cpp/thread#Thread cancellation}} classes: {{ltt std|cpp/thread/stop_token}}, {{ltt std|cpp/thread/stop_source}}, and {{ltt std|cpp/thread/stop_callback}}
−
* constexpr for {{header|algorithm}}, {{header|utility}}, {{header|complex}}
+
* {{ltt std|cpp/io/basic_osyncstream}}
 +
* {{ltt std|cpp/string/basic_string|u8string}} and other {{ltt|cpp/language/types#char8_t|char8_t}} uses
 +
* {{lc|constexpr}} for {{header|algorithm}}, {{header|utility}}, {{header|complex}}
 
* {{ltt|cpp/string/basic_string/starts_with|string::starts_with}} / {{ltt|cpp/string/basic_string/ends_with|ends_with}} and {{ltt|cpp/string/basic_string_view/starts_with|string_view::starts_with}} / {{ltt|cpp/string/basic_string_view/ends_with|ends_with}}
 
* {{ltt|cpp/string/basic_string/starts_with|string::starts_with}} / {{ltt|cpp/string/basic_string/ends_with|ends_with}} and {{ltt|cpp/string/basic_string_view/starts_with|string_view::starts_with}} / {{ltt|cpp/string/basic_string_view/ends_with|ends_with}}
−
* {{ltt|cpp/memory/assume_aligned}}
+
* {{ltt std|cpp/memory/assume_aligned}}
−
* {{ltt|cpp/utility/functional/bind_front}}
+
* {{ltt std|cpp/utility/functional/bind_front}}
−
* {{ltt|cpp/string/multibyte/c8rtomb}}/{{ltt|cpp/string/multibyte/mbrtoc8}}
+
* {{ltt std|cpp/string/multibyte/c8rtomb}} / {{ltt std|cpp/string/multibyte/mbrtoc8}}
−
* {{ltt|cpp/memory/make_obj_using_allocator}} etc
+
* {{ltt std|cpp/memory/make_obj_using_allocator}} etc
−
* {{ltt|cpp/memory/shared_ptr/make_shared|make_shared_for_overwrite}}/{{ltt|cpp/memory/unique_ptr/make_unique|make_unique_for_overwrite}}
+
* {{ltt|cpp/memory/shared_ptr/make_shared|std::make_shared_for_overwrite}} / {{ltt|cpp/memory/unique_ptr/make_unique|std::make_unique_for_overwrite}}
−
* heterogeneous lookup in unordered associative containers
+
* Heterogeneous lookup in unordered associative containers
−
* {{ltt|cpp/memory/polymorphic_allocator}} with additional member functions and {{ltt|cpp/types/byte}} as its default template argument
+
* {{ltt|cpp/memory/polymorphic_allocator|std::pmr::polymorphic_allocator}} with additional member functions and {{ltt std|cpp/types/byte}} as its default template argument
 
* {{ltt|cpp/algorithm/execution_policy_tag|execution::unseq}}
 
* {{ltt|cpp/algorithm/execution_policy_tag|execution::unseq}}
−
* {{ltt|cpp/numeric/midpoint}} and {{ltt|cpp/numeric/lerp}}
+
* {{ltt std|cpp/numeric/midpoint}} and {{ltt std|cpp/numeric/lerp}}
−
* {{ltt|cpp/iterator/size|ssize}}
+
* {{ltt|cpp/iterator/size|std::ssize}}
−
* {{ltt|cpp/types/is_bounded_array|is_bounded_array}}, {{ltt|cpp/types/is_unbounded_array|is_unbounded_array}}
+
* {{ltt std|cpp/types/is_bounded_array}}, {{ltt std|cpp/types/is_unbounded_array}}
 
* [[cpp/ranges|Ranges]]
 
* [[cpp/ranges|Ranges]]
−
* uniform container erasure: {{lc|std::erase}}/{{lc|std::erase_if}}, e.g. {{ltt|cpp/container/list/erase2|std::erase(std::list)}} or {{ltt|cpp/container/map/erase_if|erase_if(std::map)}} etc
+
* Uniform container erasure: {{lc|std::erase}} / {{lc|std::erase_if}}, e.g. {{ltt|cpp/container/list/erase2|std::erase(std::list)}} or {{ltt|cpp/container/map/erase_if|erase_if(std::map)}} etc
 
* [[cpp/numeric/constants|Mathematical constants]] in {{header|numbers}}
 
* [[cpp/numeric/constants|Mathematical constants]] in {{header|numbers}}
  
−
== Defect reports ==
+
==Defect reports==
 
{{cpp/language/history/DR20}}
 
{{cpp/language/history/DR20}}
  
−
== Compiler support==
+
==Compiler support==
−
Main Article: [[cpp/compiler_support#C++20 features|C++20 compiler support]]
+
Main Article: [[cpp/compiler support#C++20 features|C++20 compiler support]]
 
{{cpp/compiler support/20}}
 
{{cpp/compiler support/20}}
 
{{cpp/compiler support/note}}
 
{{cpp/compiler support/note}}
  
−
=== External links ===
+
===External links===
−
* [https://github.com/makelinux/examples/blob/HEAD/cpp/20.cpp Working C++20 examples]
+
{{elink begin}}
 +
{{elink|[https://github.com/makelinux/examples/blob/HEAD/cpp/20.cpp Working C++20 examples]}}
 +
{{elink end}}
  
 
{{langlinks|es|ja|ru|zh}}
 
{{langlinks|es|ja|ru|zh}}

Latest revision as of 00:26, 22 January 2024

 
C++
 
Versions
 

The current revision of the C++ standard

This section is incomplete

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
DR11: 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
DR17: 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
DR11: 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)*
2024.1 		12.0
DR11: 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 (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 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*

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

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)*
20* 		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 		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
Retrieved from "https://en.cppreference.com/mwiki/index.php?title=cpp/20&oldid=168853"