Char buf[sizeof(int)] = {1, 2, 0}; int* ptr = new (buf)

https://stackoverflow.com/questions/41624685/is-placement-new-legally-required-for-putting-an-int-into-a-char-array https://stackoverflow.com/questions/4583125/char-array-as-storage-for-placement-new

0

14.11.2023

CodeDetector

Дмитрий 🎮
https://stackoverflow.com/questions/41624685/is-pl...

Оберните код в теги: 3 символа ` до и после кода (в случае одиночной конструкции достаточно 1 ` с обеих сторон). Спасибо!

0

14.11.2023

Aleksander Spichak

Aleksander Spichak
Да, переиспользование хранилища без launder.

А ещё выравнивание

0

14.11.2023

d7d1cd Автор вопроса

Aleksander Spichak
Да, переиспользование хранилища без launder.

alignas(int) unsigned char buf[sizeof(int)] = {1, 2, 0}; int* ptr = new (std::launder(buf)) int; int i = *ptr; А так правильно?

0

14.11.2023

Aleksander Spichak

d7d1cd
alignas(int) unsigned char buf[sizeof(int)] = {1, ...

вроде да

0

14.11.2023

Vlad

d7d1cd
alignas(int) unsigned char buf[sizeof(int)] = {1, ...

прачечная тут не нужна

0

14.11.2023

d7d1cd Автор вопроса

Vlad
прачечная тут не нужна

Выше сказали, что нужна...

0

14.11.2023

Vlad

Aleksander Spichak
Да, переиспользование хранилища без launder.

зачем тут launder?

0

14.11.2023

Ilya Zviagin

Нет

0

14.11.2023

Aleksander Spichak

Vlad
зачем тут launder?

Вроде как char/unsigned char можно только "смотреть" в репрезентацию всяких тривиальны (ранее, pod) типов. А вот для переиспользования стоража надо отмывать

0

14.11.2023

Ilya Zviagin

Хотя.. значение ж не задано

0

14.11.2023

Vlad

d7d1cd
alignas(int) unsigned char buf[sizeof(int)] = {1, ...

если инту нужно 4 байта, вас ничего не спасет http://eel.is/c++draft/basic.life#1.1

0

14.11.2023

Vlad

Aleksander Spichak
Вроде как char/unsigned char можно только "смотрет...

прачечная нужна для отмывания других указателей на хранилище после его переиспрользования другим объектом, когда критерии transparently replaceable не выполняются

0

14.11.2023

d7d1cd Автор вопроса

Vlad
если инту нужно 4 байта, вас ничего не спасет http...

Что-то не понял...

0

14.11.2023

Aleksander Spichak

Vlad
прачечная нужна для отмывания других указателей на...

Стикер

0

14.11.2023

Vlad

в этом примере других указателей попросту нет

0

14.11.2023

Sergey Anisimov

Да: у создаваемого int-объекта indeterminate-value, которое Вы вычисляете при инициализации i. Значения, находящиеся в buf до создания этого int-объекта, роли не играют. Кроме того, Вы не истребовали выравнивание (тоже потенциальная неопределенность). И наконец, только массивы std::byte и unsigned char способны предоставлять хранилище (обычный char никогда не является ни одним из). В данном конкретном случае у этого не будет последствий, но в более общем они могли бы быть.

0

14.11.2023

Sergey Anisimov

d7d1cd
alignas(int) unsigned char buf[sizeof(int)] = {1, ...

std::launder() тут не требуется, к слову.

0

14.11.2023

Vlad

Sergey Anisimov
Да: у создаваемого int-объекта indeterminate-value...

Стикер

0

14.11.2023