From: Peter Dimov (pdimov_at_[hidden])
Date: 2002-11-18 09:00:00
From: "David Abrahams" <dave_at_[hidden]>
>
> Okay, then:
>
> Please consider dynamic_ptr_cast also. Normally I hate abbrevs, but
> all of our smart pointers have "ptr" in the name to it has a
> certain resonance.
dynamic_pointer_cast is better than dynamic_ptr_cast, I think.