Нужно ли здесь выравнивание на стеке?

Question

[floppa322]

Код:

if constexpr (std::is_trivial_v<Entry<K, V>>)
    {
         // TODO: Если выравнивание на стеке tmpObj != выравниванию Entry<K, V> ? Применить: std::aligned_storage ?
         std::byte tmpObj[sizeof(Entry<K, V>)];
         std::memcpy(tmpObj, &buffer[curElemPos], sizeof(Entry<K, V>));
         std::memcpy(&buffer[curElemPos], &buffer[parentPos], sizeof(Entry<K, V>));
         std::memcpy(&buffer[parentPos], tmpObj, sizeof(Entry<K, V>));
     }
 else
    {
          std::swap(buffer[curElemPos], buffer[parentPos]);
    }

Прежположим у Entry выравнивание, например, 128. Могут ли быть какие-либо проблемы, не заиспользовав std::aligned_storage ? Вроде бы tmp просто временный объект на стеке и всё ок должно быть

Answer 1

[Wataru]

Раз вы просто копируете через memcpy, то никаких проблем не должно быть.
А еще, вы уверены что std::swap сам эту оптимизацию уже не применяет? Зачем вы какие-то свои велосипеды строите?

Comments

[floppa322]

Не уверен, поэтому и делаю )

[floppa322]

А, ещё вопрос:
если есть момент, когда ROOT_POS = insertPosition, но именно в этот момент в buffer будет находиться мусор, может ли привести такой memcpy к UB с логической точки зрения ? Ну то есть поскольку области будут перекрываться, то это UB формально, но так как там уже лежит мусор, то, если мусорные объекты станут в невалидном состоянии, то это не UB. Или может что-то ещё произойти ?

memcpy(&buffer[ROOT_POS], &buffer[insertPosition], sizeof(Entry<K, V>));

[Wataru]

floppa322, Вставьте код в https://godbolt.org/ и смотрите на ассемблерный выхлоп.
Например, вот.

Код обеих функций весьма похожий, и std::swap, хоть и содержит чуть больше инструкций, похоже не копирует лишние байты для выравнивания. Так что может быть даже быстрее memcpy в зависимости от структуры, размера кеша и фазы луны.

[Wataru]

floppa322, Ах, и забыл сразу написать. Выравниванние может быть нужно для оптимизации. Если tmp выравнено по машинному слову, то memcpy будет быстрее работать. Например, этого можно добиться, если сделать тип массива не byte, а int (ну и размер делить на sizeof(int) нацело, округляя вверх).

[Wataru]

floppa322, ну вообще, работа с неинициализированными данными - это UB. Лучше так не делать. Так-то врядли компилятор там что-то намутит кроме как скопирует мусор куда-то еще.