Ні, не зобов'язаний. Хоча на всіх знайомих мені архітектурах має спрацювати, в деяких випадках компілятор має право додати зайві байти в структуру (зокрема для вирівнювання по параграфах/сторінках пам'яті).
У M$ є така фішка, як  __declspec(align(...)), щоб гарантувати розміщення.
В С++ з'явився оператор alignof.
Але якщо хочете гарантувати, що спрацює - то додайте масив float-ів в union-і з a,b,c, порівнюйте розміри і якщо буде розходження - видавайте #error.