C++20 Language Elements Supported in Polyspace

This table provides a partial list of C++ language elements that have been introduced since C++20 and its corresponding Polyspace^® support. If your code contains unsupported features or libraries, Polyspace reports a compilation error.

For details about these new features, see C++20.

Feature	Supported
New lambda capture [=,this]	Yes
New macro __VA_OPT__	Yes
Designated initializer	Yes
Lambda expressions with an explicit template parameter list	Yes
Default member initializers for bit-fields	Yes
Initializer list constructors in class template argument deduction	Yes
const&-qualified pointers to members	Yes
Concepts	Yes
Lambdas disallowed in certain contexts	Yes
Three-way comparison operator	Yes
init-statements for range-based for	Yes
Default constructible and assignable stateless lambdas	Yes
Access checking on specializations	Yes
ADL and function templates that are not visible	Yes
Attributes [[likely]] and [[unlikely]]	Yes
Make typename more optional	Yes
Pack expansion in lambda init-capture	Yes
Attribute [[no_unique_address]]	Yes
Conditionally Trivial Special Member Functions	Yes
Relaxing the structured bindings customization point finding rules	Yes
Relaxing the range-for loop customization point finding rules	Yes
Allow structured bindings to accessible members	Yes
Destroying operator delete	Yes
Class types in non-type template parameters	Yes
Deprecate implicit capture of this via [=]	Yes
explicit(bool)	Yes
Integrating feature-test macros	Yes
Prohibit aggregates with user-declared constructors	Yes
constexpr virtual function	Yes
char8_t	Yes
std::is_constant_evaluated()	Yes
constexpr try-catch blocks	Yes
Immediate functions (consteval)	Yes
Nested inline namespaces	Yes
Yet another approach for constrained declarations	Yes
dynamic_cast and polymorphic typeid in constant expressions	Yes
Changing the active member of a union inside constexpr	Yes
Parenthesized initialization of aggregates	Yes
Coroutines	Yes
Array size deduction in new-expressions	Yes
<=> != ==	Yes
Explicitly defaulted functions with different exception specifications	Yes
Lambda capture and storage class specifiers of structured bindings	Yes
Permit conversions to arrays of unknown bound	Yes
constexpr container operations	Yes
costinit	Yes
[[nodiscard]] with message	Yes
Trivial default initialization in constexpr functions	Yes
Unevaluated asm-declaration in constexpr functions	Yes
using enum	Yes
Synthesizing three-way comparison for specified comparison category	Yes
[[nodiscard]] for constructors	Yes
Class template argument deduction for alias templates	Yes
Class template argument deduction for aggregates	Yes
Implicit move for more local objects and rvalue references	Yes
Structural types as non-type template argument	Yes