struct members memory layout

Question

If I have a struct like this:

struct S {
    ANY_TYPE a;
    ANY_TYPE b;
    ANY_TYPE c;
} s;

Can I safely assume that the following assump

Answer 1

1. Yes (as long as sizeof(ANY_TYPE) is not 0. Some compilers allow it, which is non-standard -- see Can sizeof return 0 (zero)). You'd be safe with <= or just assume a standard compiler.

2. Yes

And in C++ too.

Pointer comparison only makes sense inside of arrays and structs/classes, not generally.