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

Peter Dimov wrote:

Ian McCulloch wrote:

...

Peter Dimov wrote:

[...]

...

I don't get it: can't you detect whether nested::result::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.