1

Для образовательных целей хочу достучаться ко второму полю данного класса через указатель:

struct Foo {
    Foo(char a, double b): a(a), b(b) {}
    char a;
    double b;
};

Делаю это следующим образом:

Foo *foo = new Foo('a', 2.0);
std::cout << *((double *)((char *)foo + 1)) << std::endl;

В ответе у меня получается мусор. Не могу понять почему. Я же вроде сдвинул указатель на один char и пытаюсь прочитать как double. В чем моя ошибка?

1

1 ответ 1

5

Есть такая штука, как выравнивание данных. Соответственно большинство компиляторов вставят несколько неиспользуемых байт (padding) между c и b и упакуют эту структуру в памяти неким подобным образом:

| 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 |10 |11 |
  ^  \---------/ \-----------------------------/
  |       ^                     ^
  |   padding                double b
  | (Пустые байты)
char c

Для получения таких смещений в языках C/C++ есть макрос offsetof. Соответственно корректное получение адреса будет выглядеть как-то так:

(double *)((char *)foo + offsetof(struct Foo, b));

Одна из возможных реализаций макроса может раскрываться в нечто подобное*:

(double *)((char *)foo + (size_t)&(((struct Foo*)0)->b)));

Но на практике это обычно реализуется с помощью встроенных функций компилятора.


* не использовать в реальном коде, содержит полтора UB

4
  • 1
    "На практике" offsetof уже давно ни во что не раскрывается, кроме встроенной инструкции компилятора навроде __builtin_offsetof. Commented 23 июл. 2019 в 20:15
  • @AnT, спасибо поправил...
    – Fat-Zer
    Commented 23 июл. 2019 в 20:59
  • Только не void*, а char*.
    – Qwertiy
    Commented 23 июл. 2019 в 21:43
  • @Qwertiy, да, спасибо, конечно...
    – Fat-Zer
    Commented 23 июл. 2019 в 22:03

Ваш ответ

Нажимая «Отправить ответ», вы соглашаетесь с условиями пользования и подтверждаете, что прочитали политику конфиденциальности.

Всё ещё ищете ответ? Посмотрите другие вопросы с метками или задайте свой вопрос.