Re: [boost] [function types] Formal Review begins today.[Annotation]

From: Tobias Schwinger (tschwinger_at_[hidden])
Date: 2005-06-19 09:26:53

Andy Little wrote:
> "Tobias Schwinger" <tschwinger_at_[hidden]> wrote i
> 
>>Hi Andy,
>>
>>sorry for spotting it this late:
>>
>>Andy Little wrote:
>>
>>>  typename boost::enable_if<
>>>       ::boost::is_function_type<boost::function_pointer,Function>,
>>>       typename boost::function_type_result<Function>::type
>>
>>^^^^ This does not really make sense because you instantiate
>>'function_type_result' regardless if 'Function' is a function type. Need
>>'lazy_enable_if' here.
>>
>>
>>>   >::type
>>>   feed_function(Function f, Tuple& t)
>>>   {
>>>       return function_feeder<Function>::feed(f,t);
>>>   }
>>>
> 
> 
>  Good point. Might be nice to document that  as I guess that this is a common 

In fact it gives a nice example snippet to be inlined in the docs ;-).

> use. OTOH I  guess that the fact that there iasnt a::type if its not a function 
> is documented

Not that explicitly (the preconditions are listed) but it is on my list already 
because this question was asked too often in the review.

Regards,

Tobias