Re: How to convert record?

["Smark" <not.provided@all.com>]

"Ted Dennison" <dennison@telepath.com> wrote in message
news:MreC7.1456$xS6.2002@www.newsranger.com...
> In article <FE4C7.31012$pb4.15204037@news2.rdc2.tx.home.com>, Smark
says...
> >
> >
> >type Bubba_Type is record
> >    C : Character; -- one byte
> >    I   : Integer; -- 4 bytes
> >end record;
> >
> >Bubba : Bubba_Type;
> >
> >Suppose that Integers must align on 4-byte boundaries.  Then you might
get:
> >
> >Bubba_Type'Size = 40 (= 5 bytes)
> >
> >(Typename'size + System.Storage_Unit - 1) / System.Storage_Unit
> >= ( 40 + 8 - 1)/8 = 47/8 = 6 (bytes)
> >
> >But actually:
> >
> >Bubba'Size = 64 (= 8 bytes)
>
> I do not believe that is the case. If objects of this type are going to
have
> holes in the middle for alignment purposes, then that should be reflected
in the
> type's size.
>

Try it out, or check out what the GNAT reference manual has to say about
GNAT's
'Object_Size attribute (don't you suppose there is a reason that GNAT added
this attribute?).

Markku