Есть ли здесь UB? Похоже на strict aliasing. Если исправлять

Question

Есть ли здесь UB? Похоже на strict aliasing. Если исправлять

проблему, то придется buf[0] | (buf[1] << 8) | (buf[2] << 16) | (buf[3] << 24) (еще зависит от порядка байт, но не суть), однако не будет ли это медленно?

#c #embedded #programming #russian

0

05.11.2021

5 ответов

11 просмотров

Sergey Anisimov

Если это "голый" буфер - да, поскольку по адресу отсутствует объект такого типа. Можно использовать placement-new с default-инициализацией (без инициализатора) для таких целей.

0

05.11.2021

Тык Автор вопроса

Ilya Zviagin
Это зависит от того, как ты получил этот указатель...

Вот, например, использование: https://github.com/microsoft/compoundfilereader/blob/master/src/include/compoundfilereader.h#L381 const unsigned char* MiniSectorOffsetToAddress(size_t sector, size_t offset) const …

0

05.11.2021

Anatoly Shirokov

Если это под конкретную платформу, конкретный компилятор, то MS, как производитель компилятора, умеет эксплуатировать UB, как и в реализации стандартной либы.

0

05.11.2021

Ilya Zviagin

Тык
Вот, например, использование: https://github.com/m...

Это ты сам смотри, там долго. Если реально буфер ссылается на переменную такого типа, то всё ок, иначе -UB

0

05.11.2021

Ilya Zviagin · Accepted Answer

Ilya Zviagin

Это зависит от того, как ты получил этот указатель buffer

0

05.11.2021

170 похожих чатов

Есть ли здесь UB? Похоже на strict aliasing. Если исправлять

5 ответов

Похожие вопросы