std::is_trivially_copyable (3) - Linux Manuals
std::is_trivially_copyable - std::is_trivially_copyable
Defined in header <type_traits>
template< class T > (since C++11)
If T is a TriviallyCopyable type, provides the member constant value equal true. For any other type, value is false.
The only trivially copyable types are scalar types, trivially copyable classes, and arrays of such types/classes (possibly const-qualified, but not volatile-qualified).
The behavior is undefined if std::remove_all_extents_t<T> is an incomplete type and not (possibly cv-qualified) void.
T - a type to check
Helper variable template
template< class T > (since C++17)
inline constexpr bool is_trivially_copyable_v = is_trivially_copyable<T>::value;
Inherited from std::integral_constant
value true if T is a trivially copyable type , false otherwise
operator bool (public member function)
operator() returns value
type std::integral_constant<bool, value>
Objects of trivially-copyable types are the only C++ objects that may be safely copied with std::memcpy or serialized to/from binary files with std::ofstream::write()/std::ifstream::read().
In general, for any trivially copyable type T and an object obj1 of T, the underlying bytes of obj1 can be copied (e.g. by means of std::memcpy or std::memmove) into an array of char, unsigned char or std::byte or into obj2, a distinct object of T. Neither obj1 nor obj2 may be a potentially-overlapping subobject.
If the underlying bytes of obj1 is copied into such an array, and then the resulting content is copied back into obj1, obj1 will hold its original value. If the underlying bytes of obj1 are copied into obj2, obj2 will hold obj1's value.
// Run this code
is_trivial checks if a type is trivial