BDE 4.14.0 Production release
Loading...
Searching...
No Matches
bslstl::Function_IsReferenceCompatible< FROM_TYPE, TO_TYPE > Struct Template Reference

#include <bslstl_function_isreferencecompatible.h>

Inheritance diagram for bslstl::Function_IsReferenceCompatible< FROM_TYPE, TO_TYPE >:
bsl::integral_constant< t_TYPE, t_VAL >

Public Member Functions

 BSLMF_ASSERT (!bslmf::MovableRefUtil::IsReference< FROM_TYPE >::value)
 
 BSLMF_ASSERT (!bslmf::MovableRefUtil::IsReference< TO_TYPE >::value)
 
- 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.
 

Additional Inherited Members

- Public Types inherited from bsl::integral_constant< t_TYPE, t_VAL >
typedef t_TYPE value_type
 
typedef integral_constant type
 
- Static Public Attributes inherited from bsl::integral_constant< t_TYPE, t_VAL >
static const t_TYPE value = t_VAL
 

Detailed Description

template<class FROM_TYPE, class TO_TYPE>
struct bslstl::Function_IsReferenceCompatible< FROM_TYPE, TO_TYPE >

This metafunction is derived from true_type if a reference to the specified FROM_TYPE parameter type can be substituted for a reference to the specified TO_TYPE parameter type with no loss of information; otherwise, it is derived from false_type. By default, this metafunction yields true_type if FROM_TYPE is the same as TO_TYPE; else it yields false_type. bdef_Function should specialize this template to yield true_type when FROM_TYPE is an instantiation of bdef_Function and TO_TYPE is the corresponding instantiation of bsl::function with the same function prototype. Instantiation will fail if either FROM_TYPE or TO_TYPE are reference types.

Member Function Documentation

◆ BSLMF_ASSERT() [1/2]

template<class FROM_TYPE , class TO_TYPE >
bslstl::Function_IsReferenceCompatible< FROM_TYPE, TO_TYPE >::BSLMF_ASSERT ( !bslmf::MovableRefUtil::IsReference< FROM_TYPE >::value  )

◆ BSLMF_ASSERT() [2/2]

template<class FROM_TYPE , class TO_TYPE >
bslstl::Function_IsReferenceCompatible< FROM_TYPE, TO_TYPE >::BSLMF_ASSERT ( !bslmf::MovableRefUtil::IsReference< TO_TYPE >::value  )

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