Type trait to check that all types in a parameter pack are copy constructible

Question

I need a type trait to check whether all types in a parameter pack are copy constructible. This is what I\'ve done so far. The main function contains some test cases, to che

Answer 1

I prefer @Columbo's bool_pack trick. First a template to test that everything in a bool parameter pack is true:

template struct bool_pack;
template 
using all_true = std::is_same, bool_pack>;

Then

template
using areCopyConstructible = all_true::value...>;