From: Darin Adler (darin_at_[hidden])
Date: 1999-12-10 18:09:47
> template <typename T, possibly defaulted args to help implement>
> struct call_traits
> {
> typedef value_type;
> typedef reference;
> typedef const_reference;
> typedef param_type;
> };
I'd suggest parameter_type instead of param_type.
> I've used call_traits and fundamentals/type_traits to work over
> empty_member, which I now call compressed_pair in my own code.
> compressed_pair depends critically upon call_traits as I've expressed it
> above. It acts just like pair except that it will optimize empty
> members. Members of compressed_pair can be classes or built-in types,
> but not enums (currently).
I think compressed_pair is a big improvment on its predecessor empty_member
and I also like the name.
-- Darin