Returns a default‐constructed instance of T1, given it is a specialization of the class template T

Synopsis

Declared in <mp‐units/ext/type_traits.h>

template<
    template<auto...> typename T,
    typename T1>
requires is_specialization_of_v<T1, T>
[[nodiscard]]
consteval
auto
get();

Return Value

A default‐constructed instance of T1

Note

The return value should not be discarded.

Template Parameters

Name

Description

T

The class template (taking non‐type, auto, parameters) that T1 must specialize

T1

The type to return, required to be a specialization of T

Created with MrDocs