BDE 4.14.0 Production release
Loading...
Searching...
No Matches
bsl::Is_Empty_Imp< t_TYPE, class > Struct Template Reference

#include <bslmf_isempty.h>

Inheritance diagram for bsl::Is_Empty_Imp< t_TYPE, class >:
bsl::integral_constant< t_TYPE, t_VAL >

Additional Inherited Members

- Public Types inherited from bsl::integral_constant< t_TYPE, t_VAL >
typedef t_TYPE value_type
 
typedef integral_constant type
 
- Public Member Functions inherited from bsl::integral_constant< t_TYPE, t_VAL >
 integral_constant ()=default
 
 integral_constant (const integral_constant &)=default
 
integral_constant operator= (const integral_constant &)=default
 
 ~integral_constant ()=default
 
BSLS_KEYWORD_CONSTEXPR operator value_type () const BSLS_KEYWORD_NOEXCEPT
 Return t_VAL.
 
- Static Public Attributes inherited from bsl::integral_constant< t_TYPE, t_VAL >
static const t_TYPE value = t_VAL
 

Detailed Description

template<class t_TYPE, class = void>
struct bsl::Is_Empty_Imp< t_TYPE, class >

Private class: do not use outside of bslmf_isempty component. This meta-function provides an initial dispatch that always derives from false_type unless the template parameter t_TYPE is a class type, as only class types can be empty. The following partial specialization forwards all class types to a final test. This two-phase dispatch is necessary as some types, such as void and function types, cannot be passed to a sizeof operator that is used to implement the next stage of matching.


The documentation for this struct was generated from the following file: