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