Re: [boost] [type_erasure]bug:any(, binding<Concept>) can store wrong type

Subject: Re: [boost] [type_erasure]bug:any(, binding<Concept>) can store wrong type
From: Steven Watanabe (watanabesj_at_[hidden])
Date: 2012-08-13 12:16:11

AMDG

On 08/13/2012 09:06 AM, Larry Evans wrote:
> The attached runs OK without any compile or runtime errors.
> It seems to create a type_uns<1> from a type_uns<0> although
> there's no type_uns<1> CTOR for that.
> 
> This sounds like another instance of the bug reported here:
> 
> http://article.gmane.org/gmane.comp.lib.boost.devel/233101
> 
> Is it?
> 

It's similar, but this is really undefined behavior,
since there's no way to detect the problem at compile
time.  It's also not necessarily possible to add an
assertion.

In Christ,
Steven Watanabe