Ovanes Markarian wrote:

...

Hello all!

I am wondering, why the type_traits do not have a construct to check if some type is copy constructible (I mean if the copy constructor is available (public) or not).

May be it can be implemented via calculating at compile time if some type can be copied or not... May be it is not possible at all.

We don't believe that it's possible in the current language, sorry. Of course if you can prove us wrong..... Regards, John.