Traits classes can be defined to check if a C++ class has a member variable, function or a type (see here).
Curiously, the ConceptTraits do not include traits to che
MSDN says that the header defines has_default_constructor and such traits.
http://msdn.microsoft.com/en-us/library/bb982179.aspx