Returns a default‐constructed instance of the first of T1, T2, Ts... that is a specialization of T

Synopsis

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

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

Return Value

A default‐constructed instance of the first matching type

Note

The return value should not be discarded.

Template Parameters

Name

Description

T

The class template (taking non‐type, auto, parameters) to look for

T1

The first type to check

T2

The second type to check

Ts

The remaining types to check

Created with MrDocs