non-static class member (который не является "pointer" ("Except for pointers to static members, text referring to “pointers” does not apply to pointers to members") для подобъекта, а после произведу замену подобъекта, которая не удовлетворяет условиям прозрачной замены, я ведь смогу мне разрешено будет обращаться к новому подобъекту через этот указатель на member'a?
быстрый ответ: с чего бы? вам и обычный указатель в этом случае нужно отмывать (std::launder)
Но ведь внутренне, это всего лишь сохранённое смещение, разве не так?
я бы не стал приплетать детали реализации
И как тогда обращаться к такому подобъекту, если его имя более недоступно?
Обсуждают сегодня