[#bsl-is_copy_constructible]
= xref:bsl.adoc[bsl]::is&lowbar;copy&lowbar;constructible
:relfileprefix: ../
:mrdocs:

Meta&hyphen;function for detecting copy&hyphen;constructible types&period;

== Synopsis

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

[source,cpp,subs="verbatim,replacements,macros,-callouts"]
----
template&lt;class t&lowbar;TYPE&gt;
struct is&lowbar;copy&lowbar;constructible
    : xref:bsl/integral_constant-02.adoc[bsl::integral&lowbar;constant&lt;bool, (bsl&colon;&colon;is&lowbar;array&lt;t&lowbar;TYPE&gt;&colon;&colon;value ? false &colon; std&colon;&colon;is&lowbar;copy&lowbar;constructible&lt;t&lowbar;TYPE&gt;&colon;&colon;value)&gt;]
----

== Description

This `struct` template implements a meta&hyphen;function to determine whether the (template parameter) `t&lowbar;TYPE` is copy constructible&period; This `struct` derives from `bsl&colon;&colon;true&lowbar;type` if the `t&lowbar;TYPE` is copy constructible, and from `bsl&colon;&colon;false&lowbar;type` otherwise&period; This meta&hyphen;function has the same syntax as the `is&lowbar;copy&lowbar;constructible` meta&hyphen;function defined in the C&plus;&plus;11 standard &lsqb;meta&period;unary&period;prop&rsqb;&semi; on C&plus;&plus;03 platforms, however, this meta&hyphen;function defaults to `true&lowbar;type` for all types that are not explicitly declared to have the `bslmf&colon;&colon;IsNonCopyable` trait using the `BSLMF&lowbar;NESTED&lowbar;TRAIT&lowbar;DECLARATION` macro&period; To mark a type as non&hyphen;copyable, `bslmf&colon;&colon;IsNonCopyable` must be specialized (for that type) to inherit from `bsl&colon;&colon;true&lowbar;type`&period;

== Base Classes

[cols="1,4"]
|===
| Name| Description
| `xref:bsl/integral_constant-02.adoc[bsl::integral&lowbar;constant&lt;bool, (bsl&colon;&colon;is&lowbar;array&lt;t&lowbar;TYPE&gt;&colon;&colon;value ? false &colon; std&colon;&colon;is&lowbar;copy&lowbar;constructible&lt;t&lowbar;TYPE&gt;&colon;&colon;value)&gt;]`
| Metafunction representing a compile&hyphen;time constant of the specified (template parameter) `t&lowbar;TYPE` with the specified (template parameter) `t&lowbar;VALUE`&period;
|===

== Type Aliases

[cols="1,4"]
|===
| Name| Description
| xref:bsl/integral_constant-02/type.adoc[`type`] 
| Alias for this `integral&lowbar;constant` specialization&period;
| xref:bsl/integral_constant-02/value_type.adoc[`value&lowbar;type`] 
| Alias for the (template parameter) `t&lowbar;TYPE`&period;
|===


== Member Functions

[cols="1,4"]
|===
| Name| Description
| xref:bsl/integral_constant-02/operator_call.adoc[`operator()`] 
| Return a copy of the template argument `t&lowbar;VALUE`&period;
| xref:bsl/integral_constant-02/2conversion.adoc[`operator t&lowbar;TYPE`] 
| Return a copy of the template argument `t&lowbar;VALUE`&period;
|===


== Static Data Members

[cols="1,4"]
|===
| Name| Description
| xref:bsl/integral_constant-02/value.adoc[`value`] 
| The compile&hyphen;time constant value of this metafunction&period;
|===



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