Здравствуйте, A.J., Вы писали:

AJ>можно ли реализовать подсчет размеров полей (вместе с padding) в compile-time?

Возможности по интроспекции в C++ традиционно убогие. Даже если и удастся сколхозить сколько-нибудь универсальное решение, это будет такой чудовищно уродливый костыль, что проще (и надежнее) отдельно выписывать вручную все размеры константами, и сравнивать с ними, уповая на то, что одинаковой ошибки сразу во всех местах не случится. Да, это будет криво и примитивно, но другие решения будут еще кривее, разве что эту кривизну худо-бедно удастся замести под ковер.