Implementation of invoke_result<t_FN, t_ARGTYPES...>. This specialization is instantiated in C++11 and later when t_FN is a pointer‐to‐member‐function type, t_ARG1TYPE is a specialization of bsl::reference_wrapper, and the INVOKE(fn, arg1, args...) expression is well‐formed given fn is an object of the specified t_FN type and arg1, args... are objects of the specified t_ARG1TYPE, t_ARGTYPES... types. The INVOKE(fn, arg1, args...) expression in this case is (arg1.get().*fn)(args...).

Synopsis

Declared in <bslmf_invokeresult.h>

template<
    class t_FN,
    class t_ARG1TYPE,
    class... t_ARGTYPES>
struct InvokeResult_MemFuncPtrImpDispatch<bslmf::VoidType<decltypeInvokeResult_ImpUtils::myDeclval<t_ARG1TYPE>().get().*                   InvokeResult_ImpUtils::myDeclval<t_FN>((
                    InvokeResult_ImpUtils::myDeclval<t_ARGTYPES>()...))>::type, false, true, t_FN, t_ARG1TYPE, t_ARGTYPES...>
    : /* implementation-defined */

Base Classes

Name

Description

/* implementation-defined */

Utility metaprogramming functions inherited by other metaprogramming classes.

Types

Name

Description

AnyLvalue

Type convertible from any lvalue type. Used for overload resolution in metafunctions.

AnyRvalue

Type convertible from any rvalue type. Used for overload resolution in metafunctions.

Type Aliases

Name

Description

type

For C++11 and later, the type of the INVOKE(fn, arg1, args...) expression where fn is an object of the specified t_FN type, and arg1, args... are objects of the specified t_ARG1TYPE, t_ARGTYPES... types. The INVOKE(fn, arg1, args...) expression in this case is (arg1.get().*fn)(args...).

Static Member Functions

Name

Description

checkConst

checkConst overloads

checkLvalue

checkLvalue overloads

checkVolatile

checkVolatile overloads

myDeclval

Return a reference to the specified t_SOME_TYPE template parameter type; if t_SOME_TYPE is an rvalue, then the returned reference is an rvalue reference. 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.

uncv

uncv overloads

unpoint

unpoint overloads

Created with MrDocs