layout, все остальное conditionally supported. Был пропозал расширяющий его применимость на новый класс типов.
Но я не понимаю почему не достаточно того чтобы класс был полностью определен. Грубо говоря по моим ощущениям у offsetof должны быть примерно те же требования что у sizeof.
Одно возражение я могу предложить: если разрешить получение адреса приватного поля снаружи, это позволит легко обходить защиту. Наверно этого достаточно чтобы потребовать усложнения механизма, а запрос на фичу и так скорее всего небольшой.
Обсуждают сегодня