call_traits update

From: John Maddock (John_Maddock_at_[hidden])
Date: 2000-06-21 06:12:14

All,

I've placed some files in the vault (under call_traits) for a proposed
update to the call_traits library, there are three changes:

call_traits.hpp            has had a (working) array specialisation added.
call_traits.htm            documentation largely rewritten and extened with
examples and rational.
call_traits_test.cpp  test file with examples added.

The proposed array specialisation is:

template <typename T, std::size_t N>
struct call_traits<const T [N]>
{
private:
   typedef const T array_type[N];
public:
   // degrades array to pointer:
   typedef const T* value_type;
   typedef array_type& reference;
   typedef const array_type& const_reference;
   typedef const T* param_type;
};

See the docs for test cases and rational for this.

Would everyone involved with call_traits + anyone actively using it please
take a look and make any comments on the effect of this change?  As far as
I can tell this should have no impact on existing code (since the array
specialisation was not previously available), but I would like to be sure
before passing the changes on to Beman.  

BTW this seems to fall somewhat in between needing/not needing a formal
review, so if anyone thinks that this should be scheduled for formal review
please speak now!

Thanks,

- John.