Re: [Boost-users] Re: (onlist) Using boost::lamba with a vector of shared_ptr's

David Abrahams wrote:

"Peter Dimov" writes:

...

Hi,

Jaakko Jarvi wrote:

...

...

The second alternative doesn't work since Lambda doesn't support *_1 for shared_ptr.

In particular, Lambda's return type deduction templates are not aware of shared_ptr.

They do not need to be aware of shared_ptr. shared_ptr provides ::element_type, for consistency with std::auto_ptr. boost::shared_ptr also has ::reference, although tr1::shared_ptr might not. You just need to look for the individual typedef and not instantiate iterator_traits prematurely.

But what if iterator_traits is specialized? The typedef could say the wrong thing.

Technically yes. We know that 100% reliable return type inference is impossible. In practice we want it to work most of the time, and currently the opposite is true. Of course this would have been mostly academic if the simpler bind(&X::f, _1) syntax worked with Lambda.