Re: HELP ! need to insert value in array !!

[dewar@merv.cs.nyu.edu (Robert Dewar)]

Michael says

<<Perhaps it was someone who actually knows C.  Whoever said it was
correct.  Objects may be padded in that there may be bytes that are
not used, but there must be no additional padding between array
elements.  For any type T,

        T a;
        T b[5];

we must have sizeof b == 5 * sizeof a. There can be no unused space
between b[0] and b[1].
>>

Ah, a confusion. I thought the statement was about Ada.

But I am interested in how you could construct a valid ANSI C program
with portable semantics that could detect the difference, and in particular
how exactly the ANSI C standard formally prohibits such "additional padding".
This is the sort of requirement that is very easy to state informally, but
much harder to state formally.

What would one expect on a PDP10 with 5 characters per word and an unused
bit left over, or does the ANSI C standard require 36 bits/character on 
this machine?

<<I don't have the C standard at hand, so i would be interested if someone
could quote chapter and verse on this>>

This sort of statement is the kind of statement that Ada would certainly
like to make in the packed case, but it is hard to make it more than
implementation advice.

I also don't see how your conditoin above can be correct

suppose that type T is a struct with a double field and an int field.
The size of this struct would be 12 bytes, but its alignment requirement
is 8, so it would not be possible to laout the array b without alignment
gaps???