[boost] Re: call_traits/type_traits

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