#include <type_traits>

template <class T> struct is_copy_constructible;

std :: is_copy_constructible <int> :: value
std :: is_copy_constructible> class T > :: value

// C ++ program to illustrate
// std::is_copy_constructible example
#include <bits/stdc++.h>
#include <type_traits>
using namespace std;
  
// Declare structures
struct B {
};
struct A {
    A& operator=(A&) = delete;
};
  
// Driver Code
int main()
{
    cout << boolalpha;
  
    // Check that if char is copy
    // constructible or not
    cout << "char: "
         << is_copy_constructible<char>::value
         << endl;
  
    // Check that if int is copy
    // constructible or not
    cout << "int: "
         << is_copy_constructible<int>::value
         << endl;
  
    // Check that if int[2] is copy
    // constructible or not
    cout << "int[2]: "
         << is_copy_constructible<int[2]>::value
         << endl;
  
    // Check that if struct A is copy
    // constructible or not
    cout << "struct A: "
         << is_copy_constructible<A>::value
         << endl;
  
    // Check that if struct B is copy
    // constructible or not
    cout << "struct B: "
         << is_copy_constructible<B>::value
         << endl;
  
    return 0;
}

char：true
int：true
int [2]：false
struct A：true
struct B：true