Re: [boost] type_with_alignment and is_pod

From: Douglas Paul Gregor (gregod_at_[hidden])
Date: 2003-12-03 17:14:17

On Wed, 3 Dec 2003, John Maddock wrote:

> > Test suite "Type Traits" failed with:
> > 35 assertions out of 36 passed
> >  1 assertion out of 36 failed
> >
> >   Test case "type_with_alignment" failed with:
> >   35 assertions out of 36 passed
> >    1 assertion out of 36 failed
> > ====== END OUTPUT ======
> >
> > My question:  what gives us the right to expect that is_pod will
> > return true in this case, since is_pod only works with compiler
> > support?
> >
> > Thanks,
>
> Darn, at the time I added that check, it was true I think that
> type_with_alignment always returned a builtin type, so is_pod did detect it
> OK,

That's before we learned about the freaky structure alignment that doesn't
match up with variable alignment :(

> if that's not the case, shouldn't we specialise is_pod for whatever
> type_with_alignment returns, since it is a postcondition that it returns a
> POD type, or am I being needlessly picky?

Yep, that's what we're trying to do :) I'll check in a patch later
tonight.

        Doug