Хорошо ли он отслеживает макеты классов POD во время компиляции? ⇐ C++

[Anonymous]

Я пытаюсь сгенерировать информацию о типах POD во время компиляции. Получить смещение каждого члена было непросто из-за таких ограничений, как отсутствие преобразований указателей в constexpr, но я думаю, что нашел способ сделать это.
Вот пример получения смещения только одного из членов:

Код: Выделить всё

template 
constexpr auto GetSecondOffset() {
union {
T value;
char buffer[sizeof(T)];
};

auto&& [member1, member2] = value;
const void* member2Ptr = &member2;
unsigned int offset = 0;
while((buffer + offset) != member2Ptr) {
++offset;
}
return offset;
}

struct Foo {
char a[12];
int b;
};

struct Bar {
char c[2];
char d;
};

int main() {
static_assert(GetSecondOffset() == 12);
static_assert(GetSecondOffset() == 2);
}

Пока этот код компилируется тремя большими компиляторами, мне интересно, правильно ли он сформирован. Этот вопрос касается того, безопасно ли выполнять арифметику указателей на неактивных членах объединения, и люди согласились, что это так. Однако мне интересно, изменит ли это что-нибудь в сценарии constexpr. Примечательно, что, насколько я понимаю, комитет по стандартам не любит людей, пытающихся отслеживать макеты классов во время компиляции. Существует ли какая-то часть стандарта, которая блокирует то, что я делаю?

Подробнее здесь: https://stackoverflow.com/questions/798 ... mpile-time