C++17
Following features were merged into C++17:
- From the File System TS: the filesystem library.
- From the Library fundamentals v1 TS: features, including
std::any
,std::optional
,std::string_view
,std::apply
, polymorphic allocators, searchers. - From Library fundamentals v2 TS:
std::void_t
,std::conjunction
,std::disjunction
,std::negation
,std::not_fn
,std::gcd
,std::lcm
. - From Parallelism v1 TS: features, including execution policies,
std::reduce
,std::inclusive_scan
,std::exclusive_scan
, but removingexception_list
. - From Mathematical special functions IS: mathematical special functions.
- From C11:
std::aligned_alloc
,std::timespec_get
.
Obsolete
Removed
std::auto_ptr
, deprecated function objects, std::random_shuffle
, std::unexpected
, the obsolete iostreams aliases, trigraphs, the register
keyword, bool
increment, dynamic exception specification.
Deprecated
std::iterator
, std::raw_storage_iterator
, std::get_temporary_buffer
, std::is_literal_type
, std::result_of
, all of <codecvt>
New language features
- fold-expressions
- class template argument deduction
- non-type template parameters declared with
auto
- compile-time
if constexpr
- inline variables
- structured bindings
- initializers for
if
andswitch
-
u8
character literal - simplified nested namespaces
-
using
-declaration declaring multiple names - made
noexcept
part of type system - new order of evaluation rules
- guaranteed copy elision
- temporary materialization
- lambda capture of
*this
- constexpr lambda
- attribute namespaces don't have to repeat
- new attributes:
-
[[fallthrough]]
-
[[maybe_unused]]
-
[[nodiscard]]
-
-
__has_include
New headers
New library features
Utility types
Memory management
- uninitialized memory algorithms
-
weak_from_this
-
std::pmr::memory_resource
andstd::polymorphic_allocator
-
std::aligned_alloc
- transparent
std::owner_less
- array support for
std::shared_ptr
- allocation functions with explicit alignment
Compile-time programming
-
std::byte
-
std::conjunction
/std::disjunction
/std::negation
- type trait variable templates (
xxx_+v
) -
std::is_swappable
-
is_invocable
-
is_aggregate
-
std::has_unique_object_representations
Algorithms
-
std::clamp
- parallel algorithms and execution policies
-
std::reduce
-
std::inclusive_scan
-
std::exclusive_scan
-
std::gcd
-
std::lcm
Iterators and containers
- map/set
extract
and map/setmerge
- map/unordered_map
try_emplace
andinsert_or_assign
- contiguous iterators (LegacyContiguousIterator)
- non-member
std::size
/std::empty
/std::data
Numerics
Other
- cache line interface
-
std::launder
-
std::uncaught_exceptions
-
std::to_chars
/std::from_chars
-
std::atomic<T>::is_always_lock_free
-
std::scoped_lock
-
std::timespec_get
- rounding functions for
std::chrono::duration
andstd::chrono::time_point
Defect reports
Compiler support
Main Article: C++ compiler support.
C++17 core language features
C++17 feature |
Paper(s) |
GCC
|
Clang
|
MSVC
|
Apple Clang
|
EDG eccp
|
Intel C++
|
IBM XLC++
|
Sun/Oracle C++
|
Embarcadero C++ Builder
|
Cray
|
Nvidia HPC C++
(ex Portland Group/PGI) |
Nvidia nvcc
|
|
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
DR: New auto rules for direct-list-initialization |
N3922 | 5 | 3.8 | 19.0 (2015)* | Yes | 4.10.1 | 17.0 | 10.3 | 17.7 | 11.0 | ||||
static_assert with no message |
N3928 | 6 | 2.5 | 19.10* | Yes | 4.12 | 18.0 | 10.3 | 17.7 | 11.0 | ||||
typename in a template template parameter |
N4051 | 5 | 3.5 | 19.0 (2015)* | Yes | 4.10.1 | 17.0 | 10.3 | 17.7 | Yes* | ||||
Removing trigraphs | N4086 | 5 | 3.5 | 16.0* | Yes | 5.0 | 10.3 | 19.1 | 11.0 | |||||
Nested namespace definition | N4230 | 6 | 3.6 | 19.0 (Update 3)* | Yes | 4.12 | 17.0 | 10.3 | 17.7 | 11.0 | ||||
Attributes for namespaces and enumerators | N4266 | 4.9 (partial)* 6 |
3.6 | 19.0 (2015)* | Yes | 4.11 | 17.0 | 10.3 | 17.7 | 11.0 | ||||
u8 character literals |
N4267 | 6 | 3.6 | 19.0 (2015)* | Yes | 4.11 | 17.0 | 10.3 | 17.7 | 11.0 | ||||
Allow constant evaluation for all non-type template arguments | N4268 | 6 | 3.6 | 19.12* | Yes | 5.0 | 19.0.1 | 10.3 | 19.1 | 11.0 | ||||
Fold Expressions | N4295 | 6 | 3.6 | 19.12* | Yes | 4.14 | 19.0 | 10.3 | 18.1 | 11.0 | ||||
Unary fold expressions and empty parameter packs | P0036R0 | 6 | 3.9 | 19.12* | Yes | 4.14 | 19.0 | 10.3 | 19.1 | 11.0 | ||||
Remove Deprecated Use of the register Keyword |
P0001R1 | 7 | 3.8 | 19.11* | Yes | 4.13 | 18.0 | 10.3 | 17.7 | 11.0 | ||||
Remove Deprecated operator++(bool) |
P0002R1 | 7 | 3.8 | 19.11* | Yes | 4.13 | 18.0 | 10.3 | 17.7 | 11.0 | ||||
Make exception specifications part of the type system | P0012R1 | 7 | 4 | 19.12* | Yes | 4.14 | 19.0 | 10.3 | 19.1 | 11.0 | ||||
Aggregate initialization of classes with base classes | P0017R1 | 7 | 3.9 | 19.14* | Yes | 5.0 | 19.0.1 | 10.3 | 19.1 | 11.0 | ||||
__has_include in preprocessor conditionals |
P0061R1 | 5 | Yes | 19.11* | Yes | 4.13 | 18.0 | 10.3 | 17.7 | 11.0 | ||||
DR: New specification for inheriting constructors (DR1941 et al) | P0136R1 | 7 | 3.9 | 19.14* | Yes | 6.1 | 10.3 | 19.1 | 11.0 | |||||
Lambda capture of *this |
P0018R3 | 7 | 3.9 | 19.11* | Yes | 4.14 | 19.0 | 10.3 | 18.1 | 11.0 | ||||
Direct-list-initialization of enumerations | P0138R2 | 7 | 3.9 | 19.11* | Yes | 4.14 | 18.0 | 10.3 | 19.1 | 11.0 | ||||
constexpr lambda expressions | P0170R1 | 7 | 5 | 19.11* | Yes | 4.14 | 19.0 | 10.3 | 18.1 | 11.0 | ||||
Differing begin and end types in range-based for | P0184R0 | 6 | 3.9 | 19.10* | Yes | 4.12 | 18.0 | 10.3 | 17.7 | 11.0 | ||||
[[fallthrough]] attribute |
P0188R1 | 7 | 3.9 | 19.10* | Yes | 4.13 | 18.0 | 10.3 | 17.7 | 11.0 | ||||
[[nodiscard]] attribute |
P0189R1 | 7 | 3.9 | 19.11* | Yes | 4.13 | 18.0 | 10.3 | 17.7 | 11.0 | ||||
[[maybe_unused]] attribute |
P0212R1 | 7 | 3.9 | 19.11* | Yes | 4.13 | 18.0 | 10.3 | 17.7 | 11.0 | ||||
Hexadecimal floating-point literals | P0245R1 | 3.0 | Yes | 19.11* | Yes | 4.13 | 18.0 | 10.3 | 17.7 | 11.0 | ||||
Using attribute namespaces without repetition | P0028R4 | 7 | 3.9 | 19.11* | Yes | 4.13 | 18.0 | 10.3 | 17.7 | 11.0 | ||||
Dynamic memory allocation for over-aligned data | P0035R4 | 7 | 4 | 19.12* | 10.0.0* |
4.14 | 19.0 | 10.3 | 19.1 | 11.0 | ||||
Class template argument deduction | P0091R3 | 7 | 5 | 19.14* | Yes | 5.0 | 19.0.1 | 10.3 | 19.1 | 11.0 | ||||
Non-type template parameters with auto type |
P0127R2 | 7 | 4 | 19.14* | Yes | 5.0 | 19.0.1 | 10.3 | 19.1 | 11.0 | ||||
Guaranteed copy elision | P0135R1 | 7 | 4 | 19.13* | Yes | 5.0 | 19.0.1 | 10.3 | 19.1 | 11.0 | ||||
Replacement of class objects containing reference members | P0137R1 | 7 | 6 | 19.14* | Yes | 5.0 | 10.3 | 19.1 | 11.0 | |||||
Stricter expression evaluation order | P0145R3 | 7 | 4 | 19.14* | Yes | 5.0 | 19.0.1 | 10.3 | 19.1 | 11.0 | ||||
Structured Bindings | P0217R3 | 7 | 4 | 19.11* | Yes | 4.14 | 19.0 | 10.3 | 18.1 | 11.0* | ||||
Ignore unknown attributes | P0283R2 | Yes | 3.9 | 19.11* | Yes | 4.13 | 18.0 | 10.3 | 17.7 | 11.0 | ||||
constexpr if statements | P0292R2 | 7 | 3.9 | 19.11* | Yes | 4.14 | 19.0 | 10.3 | 18.1 | 11.0 | ||||
init-statements for if and switch | P0305R1 | 7 | 3.9 | 19.11* | Yes | 4.14 | 18.0 | 10.3 | 18.1 | 11.0 | ||||
Inline variables | P0386R2 | 7 | 3.9 | 19.12* | Yes | 4.14 | 19.0 | 10.3 | 18.1 | 11.0 | ||||
Removing dynamic exception specifications | P0003R5 | 7 | 4 | 19.10* | Yes | 4.14 | 19.0 | 10.3 | 19.1 | 11.0 | ||||
Pack expansions in using-declarations | P0195R2 | 7 | 4 | 19.14* | Yes | 5.0 | 19.0 | 10.3 | 19.1 | 11.0 | ||||
DR: Matching of template template-arguments excludes compatible templates | P0522R0 | 7 | 4 | 19.12* | Yes | 5.0 | 19.0.1 | 10.3 | 19.1 | 11.0 | ||||
C++17 feature |
Paper(s) |
GCC
|
Clang
|
MSVC
|
Apple Clang
|
EDG eccp
|
Intel C++
|
IBM XLC++
|
Sun/Oracle C++
|
Embarcadero C++ Builder
|
Cray
|
Nvidia HPC C++
|
Nvidia nvcc
|
C++17 library features
C++17 feature |
Paper(s) |
GCC libstdc++
|
Clang libc++
|
MSVC STL
|
Apple Clang
|
Intel Parallel STL
|
Sun/Oracle C++
Standard Library |
Embarcadero C++ Builder
Standard Library |
Cray C++
Standard Library |
|
---|---|---|---|---|---|---|---|---|---|---|
std::void_t |
N3911 | 6 | 3.6 | 19.0 (2015)* | Yes | N/A | 10.3 | |||
std::uncaught_exceptions() |
N4259 | 6 | 3.7 | 19.0 (2015)* | Yes | N/A | 10.3 | |||
std::size() , std::empty() and std::data() |
N4280 | 6 | 3.6 | 19.0 (2015)* | Yes | N/A | 10.3 | |||
Improving std::pair and std::tuple |
N4387 | 6 | 4 | 19.0 (Update 2)* | Yes | N/A | 10.3 | |||
std::bool_constant |
N4389 | 6 | 3.7 | 19.0 (2015)* | Yes | N/A | 10.3 | |||
std::shared_mutex (untimed) |
N4508 | 6 | 3.7 | 19.0 (Update 2)* | Yes | N/A | 10.3 | |||
Type traits variable templates | P0006R0 | 7 | 3.8 | 19.0 (Update 2)* | Yes | N/A | 10.3 | |||
Logical operator type traits | P0013R1 | 6 | 3.8 | 19.0 (Update 2)* | Yes | N/A | 10.3 | |||
Standardization of Parallelism TS | P0024R2 | 9* | 19.14* | 18.0* | ||||||
std::clamp() |
P0025R0 | 7 | 3.9 | 19.0 (Update 3)* | 10.0.0* |
N/A | 10.3 | |||
Hardware interference size | P0154R1 | 12 | 19.11* | N/A | 10.3 | |||||
(nothrow-)swappable traits | P0185R1 | 7 | 3.9 | 19.0 (Update 3)* | 10.0.0* |
N/A | 10.3 | |||
File system library | P0218R1 | 8 | 7 | 19.14* | 11.0.0* |
N/A | 10.3 | |||
std::string_view |
N3921 P0220R1 |
7 | 4 | 19.10* | 10.0.0* |
N/A | 10.3 | |||
std::any |
P0220R1 | 7 | 4 | 19.10* | 10.0.0* |
N/A | 10.3 | |||
std::optional |
P0220R1 | 7 | 4 | 19.10* | 10.0.0* |
N/A | 10.3 | |||
Polymorphic memory resources | P0220R1 | 9 | 19.13* | N/A | 10.3 | |||||
Mathematical special functions | P0226R1 | 7 | 19.14* | N/A | 10.3 | |||||
C++17 should refer to C11 instead of C99 | P0063R3 | 9 | 7 | 19.0 (2015)* (partial)* |
10.0.0* |
N/A | ||||
Splicing Maps and Sets |
P0083R3 | 7 | 8 | 19.12* | 10.0.0* |
N/A | ||||
std::variant |
P0088R3 | 7 | 4 | 19.10* | 10.0.0* |
N/A | 10.3 | |||
std::make_from_tuple() |
P0209R2 | 7 | 3.9 | 19.10* | Yes | N/A | 10.3 | |||
std::has_unique_object_representations |
P0258R2 | 7 | 6 | 19.11* | Yes | N/A | 10.3 | |||
std::gcd() and std::lcm() |
P0295R0 | 7 | 4 | 19.11* | Yes | N/A | 10.3 | |||
std::not_fn |
P0005R4 P0358R1 |
7 | 3.9 | 19.12* | Yes | N/A | 10.3 | |||
Elementary string conversions, including Floating-Point (FP) values support | P0067R5 | 8 (no FP) 11 |
7 (no FP) 14 (no FP from_chars) |
19.14* (no FP)* 19.24* |
10.0.0* (no FP). |
N/A | 10.3 (no FP from_chars) | |||
std::shared_ptr and std::weak_ptr with array support |
P0414R2 | 7 | 11 | 19.12* | 12.0.0* |
N/A | 10.3 | |||
std::scoped_lock |
P0156R2 | 7 | 5 | 19.11* | Yes | N/A | 10.3 | |||
std::byte |
P0298R3 | 7 | 5 | 19.11* | Yes | N/A | 10.3 | |||
std::is_aggregate |
LWG2911 | 7 | 5 | 19.15* | Yes | N/A | 10.3 | |||
DR: std::hash<std::filesystem::path> |
LWG3657 | 12 | 19.32* | N/A | ||||||
C++17 feature |
Paper(s) |
GCC libstdc++
|
Clang libc++
|
MSVC STL
|
Apple Clang
|
Intel Parallel STL
|
Sun/Oracle C++
Standard Library |
Embarcadero C++ Builder
Standard Library |
Cray C++
Standard Library |
Notes:
- As of 2020-11-20, the latest release of Oracle Developer Studio is 12.6. Its documentation does not mention C++17.
* - hover over the version number to see notes.
© cppreference.com
Licensed under the Creative Commons Attribution-ShareAlike Unported License v3.0.
https://en.cppreference.com/w/cpp/17