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

This `struct` exists to return the same value as `is_trivially_copyable` and is intended to never be specialized. The purpose of using it is to perform the following static assert that the `bsl` and `std` versions of `is_trivially_copyable` are in sync.

== Synopsis

Declared in `<bslmf_istriviallycopyable.h>`

[source,cpp,subs="verbatim,replacements,macros,-callouts"]
----
template<class t_TYPE>
struct IsTriviallyCopyableCheck
    : xref:bsl/is_trivially_copyable-044.adoc[bsl::is_trivially_copyable<t_TYPE>]
----

== Base Classes

[cols="1,4"]
|===
| Name| Description
| `xref:bsl/is_trivially_copyable-044.adoc[bsl::is_trivially_copyable<t_TYPE>]`
| This `struct` template implements a meta‐function to determine whether the (template parameter) `t_TYPE` is trivially copyable. This `struct` derives from `bsl::true_type` if the `t_TYPE` is trivially copyable, and from `bsl::false_type` otherwise. This meta‐function has the same syntax as the `is_trivially_copyable` meta‐function defined in the C++11 standard [meta.unary.prop]; however, this meta‐function can automatically determine the value for the following types only: reference types, fundamental types, enumerated types, pointers to members, and types declared to have the `bsl::is_trivially_copyable` trait using the `BSLMF_NESTED_TRAIT_DECLARATION` macro (the value for other types defaults to `false`). To support other trivially copyable types, this template must be specialized to inherit from `bsl::true_type` for them.
|===


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