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. 23 июл 2019 в 20:15
  • @AnT, спасибо поправил...
    – Fat-Zer
    23 июл 2019 в 20:59
  • Только не void*, а char*.
    – Qwertiy
    23 июл 2019 в 21:43
  • @Qwertiy, да, спасибо, конечно...
    – Fat-Zer
    23 июл 2019 в 22:03

Ваш ответ

By clicking “Отправить ответ”, you agree to our terms of service and acknowledge that you have read and understand our privacy policy and code of conduct.

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