Re: [boost] [type_erasure]any(U,static_binding) stores wrong type

Subject: Re: [boost] [type_erasure]any(U,static_binding) stores wrong type
From: Larry Evans (cppljevans_at_[hidden])
Date: 2012-07-29 20:42:53

On 07/29/12 19:07, Steven Watanabe wrote:
> AMDG
> 
> On 07/29/2012 06:06 AM, Larry Evans wrote:
>> When the attached is run, it produces output:
>>
>> ./static_binding.exe
>> std::is_copy_constructible<ph_erasee_type>=0
>> 53:ph_ctor_arg<boost::type_erasure::_a>::CTOR.default:my_instance=0
>> creating a_fst from a_ctor_arg
>> 64:ph_ctor_arg<boost::type_erasure::_a>::CTOR.copy:my_instance=1:(void*)this=0x66ab50
>> :*fst_cast=ph_erasee<boost::type_erasure::_a>.my_instance=0:(void*)fst_cast=0x66ab50
>> dynamic_cast<ph_ctor_arg_type*>(value_base_ptr)=0x66ab50
>> dynamic_cast<ph_erasee_type*>(value_base_ptr)=0
>>
>> Indicating that a ph_ctor_arg_type is being stored in a_fst instead
>> of the expected ph_erasee_type.
>>
> 
> I already noticed this bug, but
> I haven't figured out what the
> correct behavior should be yet.
> 
Anything wrong with the behavior shown here:

  http://article.gmane.org/gmane.comp.lib.boost.devel/233093

?

-regards,
Larry