The problem is simple. As I understand, GCC maintains that chars will be byte-aligned and ints 4-byte-aligned in a 32-bit environment. I am also aware of C99 standard 6.3.2.3 which says that casting between misaligned pointer-types results in undefined operations. What do the other standards of C say about this? There are also many experienced coders here - any view on this will be appreciated.
int *iptr1, *iptr2;
char *cptr1, *cptr2;
iptr1 = (int *) cptr1;
cptr2 = (char *) iptr2;
There is only one standard for C (the one by ISO), with two versions (1989 and 1999), plus some pretty minor revisions. All versions and revisions agree on the following:
char*
will be able to address any datavoid*
is the same aschar*
except conversions to and from it do not require type castsint*
tochar*
always works, as does convering back toint*
char*
toint*
is not guaranteed to workThe reasons char pointers are guaranteed to work like this is so that you can, for example, copy integers from anywhere in memory to elsewhere in memory or disk, and back, which turns out to be a pretty useful thing to do in low-level programming, e.g., graphics libraries.
You can try doing:
This worked for me in DevCpp!
There are big-endian and little-endian for CPUs, so the results are undefined. For example, the value of 0x01234567 could be 0x12 or 0x67 for a char pointer after casting.