Если класс is_standard_layout, Достаточно ли этого, чтобы гарантировать, что данный нестатический элемент данных всегда будет иметь одинаковое смещение от адреса объекта (то есть одинаково для разных экземпляров этого класса в рамках всего процесса)?
Это эффективно для объектов любого типа (в рамках программы). Доступ к подобъекту происходит через смещения, которые известны во время компиляции и постоянны в машинном коде. Для типов SL вы можете проверить это через offsetof
— который гарантированно работает для типов стандартной компоновки и в основном предполагает равномерное смещение.
Других решений пока нет …