BloombergLP::bslstl::Function_InvokerUtil_IsFuncInvocable

Synopsis

Declared in <bslstl_function_invokerutil.h>

template<
    class PROTOTYPE,
    class FUNC>
struct Function_InvokerUtil_IsFuncInvocable;

Specializations

Name Description

Function_InvokerUtil_IsFuncInvocable<RET(ARGS...), FUNC> This struct template implements a Boolean metafunction that publicly inherits from bsl::true_type if an object of the specified FUNC type is invocable with the specified RET and ARGS..., and publicly inherits from bsl::false_type otherwise. An object of FUNC type is invocable with RET and ARGS... if it is Lvalue-Callable with arguments having the types of the ARGS..., and returns an object of type explicitly convertible to RET. If RET is void, then any type is considered explicitly convertible to RET.

Name	Description
`Function_InvokerUtil_IsFuncInvocable<RET(ARGS...), FUNC>`	This `struct` template implements a Boolean metafunction that publicly inherits from `bsl::true_type` if an object of the specified `FUNC` type is invocable with the specified `RET` and `ARGS...`, and publicly inherits from `bsl::false_type` otherwise. An object of `FUNC` type is invocable with `RET` and `ARGS...` if it is Lvalue-Callable with arguments having the types of the `ARGS...`, and returns an object of type explicitly convertible to `RET`. If `RET` is `void`, then any type is considered explicitly convertible to `RET`.

Derived Classes

Name Description

IsFuncInvocable This struct template implements a Boolean metafunction that publicly inherits from bsl::true_type if an object of the specified FUNC type is invocable under the specified PROTOTYPE, and publicly inherits from bsl::false_type otherwise. An object of FUNC type is invocable under the PROTOTYPE if it is Lvalue-Callable with the arguments of the PROTOTYPE (as forwarded by the facilities of 'bslmf_forwardingtype), and returns an object of type explicitly convertible to the return type of the PROTOTYPE. If the return type of the PROTOTYPE is void, then any type is considered explicitly convertible to the return type of the PROTOTYPE. This struct template requires PROTOTYPE to be an unqualified function type.

Name	Description
`IsFuncInvocable`	This `struct` template implements a Boolean metafunction that publicly inherits from `bsl::true_type` if an object of the specified `FUNC` type is invocable under the specified `PROTOTYPE`, and publicly inherits from `bsl::false_type` otherwise. An object of `FUNC` type is invocable under the `PROTOTYPE` if it is Lvalue-Callable with the arguments of the `PROTOTYPE` (as forwarded by the facilities of 'bslmf_forwardingtype), and returns an object of type explicitly convertible to the return type of the `PROTOTYPE`. If the return type of the `PROTOTYPE` is `void`, then any type is considered explicitly convertible to the return type of the `PROTOTYPE`. This `struct` template requires `PROTOTYPE` to be an unqualified function type.