Re: [Boost-users] Re: Re: Re: Re: Re: Re: result_of tutorial

From: Peter Dimov (pdimov_at_[hidden])
Date: 2005-03-17 18:56:35

Peter Dimov wrote:
> Ian McCulloch wrote:
>> Peter Dimov wrote:
>
> [...]
>
>> I don't get it: can't you detect whether
>> nested::result<nested(T)>::type exists?  As long as the primary
>> template of nested::result is defined as an empty struct this should
>> work fine(?).
>
> No, consider what happens when 'nested' is int (*) (), for example.

Hm, it can't be int (*) (), because result_of will not attempt to look for a 
nested result, but it can be an user-defined type with no nested result, or 
a member named result.