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<typename...> 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 type 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