C++ Language/Templates/Traits/UnaryTransformTraits

A "transform trait" specifies a type that is similar to some other type, but with some added (or removed) characteristics. In this example, variable  will be a   data member for both specializations   and  :.

Additional information about unary transform traits