Re: [Boost-users] [Boost.TypeTraits] Adding specialisations

From: John Maddock (john_at_[hidden])
Date: 2007-10-03 04:36:57

Kirit Sælensminde wrote:
> John Maddock wrote:
>> Kirit Sælensminde wrote:
>>> I think I have a misunderstanding of what the boost::function_traits
>>> is doing. From your explanation it seems that boost::function_traits
>>> is there to examine only function signatures where a function type
>>> is of the form R( A1, A2, etc. ),
>>
>> Correct.
>
> What is the reason for the restriction?

Well I didn't write that trait.... but the general idea was that the type 
traits library should encapsulate the C++ type system only, and that higher 
level functionality would be provided later.

> BTW boost::result_of does help with the verbiage if include the
> remove_pointer, but it still doesn't work with the result of a
> boost::bind.

:-(

The trouble is, I'm not sure that there's any way to actually implement that 
in the general sense without full introspection in C++, and/or a working 
typeof operator.  However, I would have expected Boost.Bind to play nice and 
work with result_of.

Sorry I can't be more helpful at present.

John.