Tests if the type has a trivial copy constructor.
template <class T> struct is_trivially_copy_constructible;
The type to query.
An instance of the type predicate holds true if the type T is a class that has a trivial copy constructor, otherwise it holds false.
A copy constructor for a class T is trivial if it is implicitly declared, the class T has no virtual functions or virtual bases, all the direct bases of class T have trivial copy constructors, the classes of all the non-static data members of class type have trivial copy constructors, and the classes of all the non-static data members of type array of class have trivial copy constructors.