Ребят, а массив фундаментальных типов (int/uint/bool etc) может как-то неочевидно

Question

Ребят, а массив фундаментальных типов (int/uint/bool etc) может как-то неочевидно

выравниваться в памяти?
Ну т.е. например int32_t[256] может по каким либо причинам занимать НЕ 1024 байта?
Интересуюсь по причине желания копировать подобные штуки memcpy, но не уверен насколько это будет переносимо.
Подчеркнусь - речь именно о фундаментальных типах.

#c++ #embedded #programming #russian

0

20.02.2021

15 ответов

17 просмотров

Evgeny Erokhin

Зависит от ABI. Для x86_64 массив имеет выравнивание своего типа, если размер не превышает 16 байт. Если превышает то идет выравнивание на 16.

0

20.02.2021

ed braed Автор вопроса

Evgeny Erokhin
Зависит от ABI. Для x86_64 массив имеет выравниван...

О, пасиба!

0

20.02.2021

Ilya Zviagin

Может

0

20.02.2021

Ilya Zviagin

Это будет абсолютно переносимо, только не ясно, при чем тут выравнивание?

0

20.02.2021

Ilya Zviagin

ed braed
О, пасиба!

Да он тебе нагнал...

0

20.02.2021

ed braed Автор вопроса

Ilya Zviagin
Это будет абсолютно переносимо, только не ясно, пр...

Ну я просто смело предположил что в каких-то случаях к каждому элементу будет добавляться оверхед. Понимаю что немного бредово звучит, но мало-ли..

0

20.02.2021

Ilya Zviagin

ed braed
Ну я просто смело предположил что в каких-то случа...

С чего? Адресная Арифметика тогда перестанет работать

0

20.02.2021

Ilya Zviagin

ed braed
Ну я просто смело предположил что в каких-то случа...

Адрес следующего элемента - это адрес предыдущего + sizeof элемента. ЭТО ЗАКОН

0

20.02.2021

Ilya Zviagin

Evgeny Erokhin
Зависит от ABI. Для x86_64 массив имеет выравниван...

Тут товарищь видимо именно в виду выравнивание всего блока массива при выделении памяти динамически. И это вообще не выравнивание. А просто адрес

0

20.02.2021

ed braed Автор вопроса

Ilya Zviagin
Адрес следующего элемента - это адрес предыдущего ...

Хорошо. Да, это наверное действительно глупое предположение.

0

20.02.2021

Evgeny Erokhin

ed braed
Хорошо. Да, это наверное действительно глупое пре...

Если речь про оверхеды, то да массивы всегда кладутся последовательно, без паддингов. И полное выравнивание всего блока памяти по алпйнменту составляющего типа. Если создается на стеке или в шлобальном скоупе, и TLS туда же, то требования к выравниванию как я ранее писал. Про динпмическую - да тут выравнивание минимальное от разрядности зависит для 64битных, могу ошибаться но на 16 (Но да все элементы всегда последовательно). А вот паддинги, это уже в структурах и классах. Ну и при раскладке стекового фрейма, .bss, .data и т.д.

0

21.02.2021

Pavel

Мне казалось, что vector<bool> v(88); может занимать меньше, чем 88 байт, но это не точно

0

21.02.2021

Anatoly Shirokov

Pavel
Мне казалось, что vector<bool> v(88); может занима...

Речь не об этом. vector<bool> - пример "преждевременной оптимизации", баг, но автор о массивах спрашивал

0

21.02.2021

Dmitry Sokolov