[#BloombergLP-bslmf-IsConvertible]
= xref:BloombergLP.adoc[BloombergLP]::xref:BloombergLP/bslmf.adoc[bslmf]::IsConvertible
:relfileprefix: ../../
:mrdocs:

Non&hyphen;standard meta&hyphen;function for detecting type convertibility&period;

== Synopsis

Declared in `&lt;bslmf&lowbar;isconvertible&period;h&gt;`

[source,cpp,subs="verbatim,replacements,macros,-callouts"]
----
template&lt;
    class t&lowbar;FROM&lowbar;TYPE,
    class t&lowbar;TO&lowbar;TYPE&gt;
struct IsConvertible
    : bsl::is&lowbar;convertible&lt;t&lowbar;FROM&lowbar;TYPE, t&lowbar;TO&lowbar;TYPE&gt;::type
----

== Description

This `struct` template implements a meta&hyphen;function to determine if the (template parameter) `t&lowbar;FROM&lowbar;TYPE` is convertible to the (template parameter) `t&lowbar;TO&lowbar;TYPE`&period; This `struct` derives from `bsl&colon;&colon;true&lowbar;type` if the `t&lowbar;FROM&lowbar;TYPE` is convertible to `t&lowbar;TO&lowbar;TYPE`, and from `bsl&colon;&colon;false&lowbar;type` otherwise&period; Note that both `t&lowbar;FROM&lowbar;TYPE` and `t&lowbar;TO&lowbar;TYPE` should be complete types, arrays of unknown bound, or (possibly cv&hyphen;qualified) `void` types&period;

== Base Classes

[cols="1,4"]
|===
| Name| Description
| `bsl::is&lowbar;convertible&lt;t&lowbar;FROM&lowbar;TYPE, t&lowbar;TO&lowbar;TYPE&gt;::type`
| 
|===


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