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
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:
> 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
Boost list run by bdawes at acm.org, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk