[#BloombergLP-bslmf-ResultType_BdeIdiom-00]
= xref:BloombergLP.adoc[BloombergLP]::xref:BloombergLP/bslmf.adoc[bslmf]::xref:BloombergLP/bslmf/ResultType_BdeIdiom-0d.adoc[ResultType_BdeIdiom]<t_FUNC, t_FALLBACK, xref:bsl/void_t.adoc[bsl::void_t<t_FUNC::ResultType>]>
:relfileprefix: ../../
:mrdocs:

Specialization of `ResultType_BdeIdiom` when `t_FUNC::ResultType` exists.

== Synopsis

Declared in `<bslmf_resulttype.h>`

[source,cpp,subs="verbatim,replacements,macros,-callouts"]
----
template<
    class t_FUNC,
    class t_FALLBACK>
struct xref:BloombergLP/bslmf/ResultType_BdeIdiom-0d.adoc[ResultType_BdeIdiom]<t_FUNC, t_FALLBACK, xref:bsl/void_t.adoc[bsl::void_t<t_FUNC::ResultType>]>;
----

== Description

This specialization is instantiated by `ResultType` only if `t_FUNC::result_type` does not exist and `t_FUNC::ResultType` does exist.

== Type Aliases

[cols="1,4"]
|===
| Name| Description
| xref:BloombergLP/bslmf/ResultType_BdeIdiom-00/type.adoc[`type`] 
| This `typedef` is an alias to `t_FUNC::ResultType`.
|===



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