[#BloombergLP-bslstl-Function_ArgTypes-06]
= xref:BloombergLP.adoc[BloombergLP]::xref:BloombergLP/bslstl.adoc[bslstl]::Function&lowbar;ArgTypes
:relfileprefix: ../../
:mrdocs:

This component&hyphen;private struct template provides the following nested typedefs for `bsl&colon;&colon;function` for a specified `PROTOTYPE` which must be a function type&colon; &grave; argument&lowbar;type &hyphen;&hyphen; Only if PROTOTYPE takes exactly one argument first&lowbar;argument&lowbar;type &hyphen;&hyphen; Only if PROTOTYPE takes exactly two arguments second&lowbar;argument&lowbar;type &hyphen;&hyphen; Only if PROTOTYPE takes exactly two arguments &grave; The C&plus;&plus; Standard requires that `function` define these typedefs for compatibility with one&hyphen; and two&hyphen;argument legacy (now deprecated) functor adaptors&period; `bsl&colon;&colon;function` publicly inherits from an instantiation of this template in order to conditionally declare the above nested types&period; This primary (unspecialized) template provides no typedefs&period;

== Synopsis

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

[source,cpp,subs="verbatim,replacements,macros,-callouts"]
----
template&lt;class PROTOTYPE&gt;
struct Function&lowbar;ArgTypes;
----

== Specializations

[cols="1,4"]
|===
| Name| Description
| xref:BloombergLP/bslstl/Function_ArgTypes-05.adoc[`Function&lowbar;ArgTypes&lt;RET(ARG)&gt;`] 
| This component&hyphen;private specialization of `Function&lowbar;ArgTypes` is for function prototypes that take exactly one argument and provides an `argument&lowbar;type` nested typedef&period;
| xref:BloombergLP/bslstl/Function_ArgTypes-0d.adoc[`Function&lowbar;ArgTypes&lt;RET(ARG1, ARG2)&gt;`] 
| This component&hyphen;private specialization of `Function&lowbar;ArgTypes` is for functions that take exactly two arguments and provides `first&lowbar;argument&lowbar;type` and `second&lowbar;argument&lowbar;type` nested typedefs&period;
|===


== Derived Classes

[cols="1,4"]
|===
| Name| Description
| xref:BloombergLP/bslstl/Function_Variadic-08.adoc[`Function&lowbar;Variadic&lt;RET(ARGS&period;&period;&period;)&gt;`] 
| This component&hyphen;private class template contains the physical representation and provides the variadic interfaces for `bsl&colon;&colon;function` (see class and component documentation for `bsl&colon;&colon;function`)&period; `bsl&colon;&colon;function` publicly inherits from an instantiation of this template&period; This implementation class exists to 1) minimize the amount of variadic template expansion required in C&plus;&plus;03 using the `sim&lowbar;cpp11&lowbar;features&period;pl` utility and 2) work around issues with the Sun CC compiler, which has trouble with argument type deduction when a template argument has a partial specialization (as `Function&lowbar;Variadic` does)&period; `bsl&colon;&colon;function` does not have a partial specialization and delegates to the `Function&lowbar;Variadic` base class only those parts of the interface and implementation that depend on decomposing the function prototype into a return type and variadic list of argument types&period;
|===


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