get overloads
Declared in <mp-units/ext/type_traits.h>
Returns the non-type template argument V, whose type is T
template<
typename T,
same_as<T> auto V>
[[nodiscard]]
consteval
auto
get();
» more...
Returns a default-constructed instance of T1, given it is a specialization of the class template T
template<
template<typename...> typename T,
typename T1>
requires is_specialization_of<T1, T>
[[nodiscard]]
consteval
auto
get();
» more...
Returns a default-constructed instance of T1, given it is a specialization of the class template T
template<
template<auto...> typename T,
typename T1>
requires is_specialization_of_v<T1, T>
[[nodiscard]]
consteval
auto
get();
» more...
Returns the first of the non-type template arguments V1, V2, Vs... whose type matches T
template<
typename T,
auto V1,
auto V2,
auto Vs...>
[[nodiscard]]
consteval
auto
get();
» more...
Returns a default-constructed instance of the first of T1, T2, Ts... that is a specialization of T
template<
template<typename...> typename T,
typename T1,
typename T2,
typename... Ts>
[[nodiscard]]
consteval
auto
get();
» more...
Returns a default-constructed instance of the first of T1, T2, Ts... that is a specialization of T
template<
template<auto...> typename T,
typename T1,
typename T2,
typename... Ts>
[[nodiscard]]
consteval
auto
get();
» more...
VT1TThe return value should not be discarded.
| Name | Description |
|---|---|
| T | The type that V must have |
| V | The non-type template argument to return |
| T1 | The type to return, required to be a specialization of T |
| V1 | The first non-type template argument to check |
| V2 | The second non-type template argument to check |
| Vs | The remaining non-type template arguments to check |
| T2 | The second type to check |
| Ts | The remaining types to check |