struct members memory layout

Если у меня есть структура вроде этой:

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

Могу ли я смело предположить, что следующие предположения всегда будут верны на всех платформах?

((char *)&s.a) < ((char *)&s.c)
((char *)&s.a + sizeof(s.a) + sizeof(s.b)) <= ((char *)&s.c)

В C++ тоже?