Re: [boost] [lambda] Wrong return type for dereference for pointer tomember

From: Rodolfo Lima (rodolfo_at_[hidden])
Date: 2006-11-29 17:48:39

> The second part should compile if other_action<member_pointer_action>
> honoured _1's constness.

Adding this specialization makes the code compile:

namespace boost { namespace lambda {
template <class R, class T, class U>
class return_type_2<other_action<member_pointer_action>, const T, R U::* 
const>
    {
    public:
        typedef const R &type;
    };
}}

So, I think that the same return deduction made in struct 
member_pointer_action_helper<true, false>
should be done in struct member_pointer_action_helper<false, false>, which 
is the specialization called
for the code in the previous message. What do you think?

Regards,
Rodolfo Lima.