[#BloombergLP-bslstl-Function_InvokerUtil_IsFuncInvocableImp-04]
= xref:BloombergLP.adoc[BloombergLP]::xref:BloombergLP/bslstl.adoc[bslstl]::xref:BloombergLP/bslstl/Function_InvokerUtil_IsFuncInvocableImp-03.adoc[Function&lowbar;InvokerUtil&lowbar;IsFuncInvocableImp]&lt;bslmf::VoidType&lt;Function&lowbar;InvokerUtil&lowbar;ResultType&lt;FUNC, ARGS&period;&period;&period;&gt;::type&gt;::type, RET, FUNC, ARGS&period;&period;&period;&gt;
:relfileprefix: ../../
:mrdocs:

Partial specialization when `FUNC` is invocable with the supplied `ARGS`&period;

== Synopsis

Declared in `&lt;bslstl&lowbar;function&lowbar;invokerutil&period;h&gt;`

[source,cpp,subs="verbatim,replacements,macros,-callouts"]
----
template&lt;
    class RET,
    class FUNC,
    class&period;&period;&period; ARGS&gt;
struct xref:BloombergLP/bslstl/Function_InvokerUtil_IsFuncInvocableImp-03.adoc[Function&lowbar;InvokerUtil&lowbar;IsFuncInvocableImp]&lt;bslmf::VoidType&lt;Function&lowbar;InvokerUtil&lowbar;ResultType&lt;FUNC, ARGS&period;&period;&period;&gt;::type&gt;::type, RET, FUNC, ARGS&period;&period;&period;&gt;
    : bsl::conditional&lt;bsl&colon;&colon;is&lowbar;void&lt;RET&gt;&colon;&colon;value, bsl::true&lowbar;type, Function&lowbar;InvokerUtil&lowbar;IsExplicitlyConvertible&lt;Function&lowbar;InvokerUtil&lowbar;ResultType&lt;FUNC, ARGS&period;&period;&period;&gt;::type, RET&gt;&gt;::type
----

== Description

This component&hyphen;private `struct` template provides a partial specialization of `Function&lowbar;InvokerUtil&lowbar;IsFuncInvocableImp` for `FUNC` types for which `bsl&colon;&colon;invoke&lowbar;result&lt;T, FWD&lowbar;ARGS&period;&period;&period;&gt;` provides a nested `type` typedef, where `T` is the result of stripping a nothrow&hyphen;movable wrapper from `FUNC`, if present, and adding an lvalue reference, and where `FWD&lowbar;ARGS&period;&period;&period;` are the types that result from forwarding objects of respective `ARGS&period;&period;&period;` types&period;

Specifically, `T` is `bslalg&colon;&colon;NothrowMovableUtil&colon;&colon;UnwrappedType&lt;FUNC&gt;&colon;&colon;type&amp;`, and `FWD&lowbar;ARGS&period;&period;&period;` are the types of respective `bslmf&colon;&colon;ForwardingTypeUtil&lt;ARGS&period;&period;&period;&gt;&colon;&colon;forwardToTarget(args&period;&period;&period;)` expressions where `args&period;&period;&period;` are lvalue expressions of respective `bslmf&colon;&colon;ForwardingType&lt;ARGS&gt;&colon;&colon;Type&period;&period;&period;` types&period; See the class&hyphen;level documentation of the primary `Function&lowbar;InvokerUtil&colon;&colon;IsFuncInvocable` declaration for more information about the behavior of this `struct` template&period;

== Base Classes

[cols="1,4"]
|===
| Name| Description
| `bsl::conditional&lt;bsl&colon;&colon;is&lowbar;void&lt;RET&gt;&colon;&colon;value, bsl::true&lowbar;type, Function&lowbar;InvokerUtil&lowbar;IsExplicitlyConvertible&lt;Function&lowbar;InvokerUtil&lowbar;ResultType&lt;FUNC, ARGS&period;&period;&period;&gt;::type, RET&gt;&gt;::type`
| 
|===


[.small]#Created with https://www.mrdocs.com[MrDocs]#
