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.
Declared in <bslmf_istriviallycopyable.h>
template<class t_TYPE>
struct IsTriviallyCopyableCheck
: bsl::is_trivially_copyable<t_TYPE>
| Name | Description |
|---|---|
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. |