This component‐private metafunction is derived from bsl::true_type if there is a unique best match alternative in (template parameter) t_VARIANT for 'std::declval<t_TYPE>() and that alternative is constructible from `std::declval<t_TYPE>(), and `bsl::false_type' otherwise.
Synopsis
Declared in <bslstl_variant.h>
template<
class t_VARIANT,
class t_TYPE,
size_t t_INDEX = BloombergLP::bslstl::Variant_ConvertIndex<t_TYPE, t_VARIANT>::value>
struct Variant_IsAlternativeConstructibleFrom
: bsl::integral_constant<bool, Variant_IsConstructible<typename bsl::variant_alternative<t_INDEX, t_VARIANT>::type, t_TYPE>::value && Variant_HasUniqueCVType<typename bsl::variant_alternative<BloombergLP::bslstl::Variant_ConvertIndex<t_TYPE, t_VARIANT>::value, t_VARIANT>::type, t_VARIANT>::value>Base Classes
Name |
Description |
Metafunction representing a compile‐time constant of the specified (template parameter) |
Type Aliases
Name |
Description |
Alias for this |
|
Member Functions
Name |
Description |
Return a copy of the template argument |
|
Static Data Members
Name |