Boost logo

Boost :

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


Boost list run by bdawes at acm.org, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk