такое указатель на элемент данных его смещение?

Question

Можно ли предположить, что смещение элемента данных (offsetof(mystruct, myfield)) численно равно необработанному значению указателя элемента, полученного с помощью &mystruct::myfield, или оно зависит от реализации?

Answer 1

Нет;реализация указателя на член не указана, и не существует определенного преобразования для получения «сырого» значения.

Answer 2

Формально, это зависит от реализации, конечно.Да, в реальной жизни наиболее популярной реализацией указателей на указатель на элемент данных является (или основано на) плановое и простое смещение, то есть то же, что offsetof оценивает до.

Некоторые реализации используют точное смещение, прибегая к шаблону 0xFFF... для представления значения нулевого указателя.Некоторые реализации резервируют шаблон 0x000... для значения нулевого указателя, в то же время увеличивая все «ненулевые» смещения на 1.