Quick Links:

bal | bbl | bdl | bsl

Classes | Static Public Member Functions

bslmf::InvokeResult_ImpUtils Struct Reference

#include <bslmf_invokeresult.h>

Inheritance diagram for bslmf::InvokeResult_ImpUtils:
bslmf::InvokeResult_FunctorDeduction< bool, t_FN, t_ARGTYPES > bslmf::InvokeResult_FunctorImp< t_VOID_TYPE, t_FN, t_ARGTYPES > bslmf::InvokeResult_MemPtrArgQualifiers< t_MEMOF_CLASS, t_ARG_TYPE, false > bslmf::InvokeResult_FunctorImp< void, t_FN, t_ARGTYPES...> bslmf::InvokeResult_Imp< t_IS_FUNCPTR, t_IS_MEMFUNCPTR, t_IS_MEMOBJPTR, t_FN, t_ARGTYPES >

List of all members.

Classes

struct  AnyLvalue
struct  AnyRvalue

Static Public Member Functions

template<class t_SOME_TYPE >
static t_SOME_TYPE myDeclval ()
static bslmf::Tag< false > checkLvalue (AnyRvalue,...)
static bslmf::Tag< true > checkLvalue (AnyLvalue, int)
template<class t_TP >
static bslmf::Tag< false > checkConst (t_TP &)
template<class t_TP >
static bslmf::Tag< true > checkConst (const t_TP &)
template<class t_TP >
static bslmf::Tag< false > checkVolatile (t_TP &)
template<class t_TP >
static bslmf::Tag< false > checkVolatile (const t_TP &)
template<class t_TP >
static bslmf::Tag< true > checkVolatile (volatile t_TP &)
template<class t_TP >
static bslmf::Tag< true > checkVolatile (const volatile t_TP &)
template<class t_TP >
static t_TP & uncv (const t_TP &)
template<class t_TP >
static t_TP & uncv (const volatile t_TP &)
template<class t_TP >
static t_TP & unpoint (t_TP &)
template<class t_TP >
static const t_TP & unpoint (const t_TP &)
template<class t_TP >
static bsl::enable_if
<!bsl::is_void< t_TP >::value,
t_TP >::type & 		unpoint (t_TP *&)
template<class t_TP >
static bsl::enable_if
<!bsl::is_void< t_TP >::value,
t_TP >::type & 		unpoint (t_TP *const &)
template<class t_TP >
static bsl::enable_if
<!bsl::is_void< t_TP >::value,
t_TP >::type & 		unpoint (t_TP *volatile &)
template<class t_TP >
static bsl::enable_if
<!bsl::is_void< t_TP >::value,
t_TP >::type & 		unpoint (t_TP *const volatile &)

Detailed Description

Utility metaprogramming functions inherited by other metaprogramming classes.

See Component bslmf_invokeresult

Member Function Documentation

template<class t_SOME_TYPE >
static t_SOME_TYPE bslmf::InvokeResult_ImpUtils::myDeclval (  )  [static]

Return an object of the specified t_SOME_TYPE template parameter type. This function is declared but not defined and is intended to be called in an unevaluated context. Because there is no definition, the available constructors for t_SOME_TYPE are irrelevant.

static bslmf::Tag<false> bslmf::InvokeResult_ImpUtils::checkLvalue ( AnyRvalue  ,
  ... 
) [static]
static bslmf::Tag<true > bslmf::InvokeResult_ImpUtils::checkLvalue ( AnyLvalue  ,
int   
) [static]

(Declared but not defined) Return bslmf::Tag<false>() if the first argument is an rvalue and bslmf::Tag<true>() if it is lvalue. In actual use, the second argument is always a literal int, which causes the second overload to be preferred in case of ambiguity.

template<class t_TP >
static bslmf::Tag<false> bslmf::InvokeResult_ImpUtils::checkConst ( t_TP &   )  [static]
template<class t_TP >
static bslmf::Tag<true> bslmf::InvokeResult_ImpUtils::checkConst ( const t_TP &   )  [static]

(Declared but not defined) Return bslmf::Tag<true>() if the argument is const-qualified and bslmf::Tag<false>() otherwise.

template<class t_TP >
static bslmf::Tag<false> bslmf::InvokeResult_ImpUtils::checkVolatile ( t_TP &   )  [static]
template<class t_TP >
static bslmf::Tag<false> bslmf::InvokeResult_ImpUtils::checkVolatile ( const t_TP &   )  [static]
template<class t_TP >
static bslmf::Tag<true> bslmf::InvokeResult_ImpUtils::checkVolatile ( volatile t_TP &   )  [static]
template<class t_TP >
static bslmf::Tag<true> bslmf::InvokeResult_ImpUtils::checkVolatile ( const volatile t_TP &   )  [static]

(Declared but not defined) Return bslmf::Tag<true>() if the argument is volatile-qualified and bslmf::Tag<false>() otherwise. Note that if t_TP is both const- and volatile-qualified, it will not match volatile t_TP&, hence the need for the const overloads.

template<class t_TP >
static t_TP& bslmf::InvokeResult_ImpUtils::uncv ( const t_TP &   )  [static]
template<class t_TP >
static t_TP& bslmf::InvokeResult_ImpUtils::uncv ( const volatile t_TP &   )  [static]

(Declared but not defined) Return the argument, with cv-qualifiers removed.

template<class t_TP >
static t_TP& bslmf::InvokeResult_ImpUtils::unpoint ( t_TP &   )  [static]
template<class t_TP >
static const t_TP& bslmf::InvokeResult_ImpUtils::unpoint ( const t_TP &   )  [static]
template<class t_TP >
static bsl::enable_if<!bsl::is_void<t_TP>::value, t_TP>::type& bslmf::InvokeResult_ImpUtils::unpoint ( t_TP *&   )  [static]
template<class t_TP >
static bsl::enable_if<!bsl::is_void<t_TP>::value, t_TP>::type& bslmf::InvokeResult_ImpUtils::unpoint ( t_TP *const &   )  [static]
template<class t_TP >
static bsl::enable_if<!bsl::is_void<t_TP>::value, t_TP>::type& bslmf::InvokeResult_ImpUtils::unpoint ( t_TP *volatile &   )  [static]
template<class t_TP >
static bsl::enable_if<!bsl::is_void<t_TP>::value, t_TP>::type& bslmf::InvokeResult_ImpUtils::unpoint ( t_TP *const volatile &   )  [static]

If the argument type t_TP is pointer to type X, where X is not cv-'void', return a reference to X; otherwise return a reference to t_TP. Note that these functions are declared but not defined and are intended to be called only in an unevaluated context.

The documentation for this struct was generated from the following file:
Generated on Fri Mar 31 2023 13:30:06 for BDE Release 3.115.0.0 Production Release by  doxygen 1.7.1