1
int n = 0;
// первый способ размещения символа по адресу
char* pch = reinterpret_cast<char*>(&n);
*pch = 'a';

// второй способ
char* pnew = new (&n)char('a');

// проверка
if (pch == pnew)
   cout  << n;

Объясните, пожалуйста, разницу между размещениями первым и вторым способом. Если ее нет, то тогда для чего нужно существование reinterpret_cast?

14
  • 5
    Первое — undefined behavior, второе, думаю, тоже. Разницы нет, и то, и другое неправильно.
    – VladD
    5 янв 2018 в 0:04
  • 3
    А вот это хорошая тема для отдельного вопроса, думаю.
    – VladD
    5 янв 2018 в 0:29
  • 2
    Отдельный вопрос, пожалуйся, не просто добавление к этому вопросу.
    – MarianD
    5 янв 2018 в 0:43
  • 2
    @VladD, можете пояснить почему первое UB? Насколько мне известно, к памяти можно обращаться через char* 5 янв 2018 в 6:07
  • 1
    Вопрос о смысле существования reinterpret_cast уже есть.
    – wololo
    5 янв 2018 в 9:38

1 ответ 1

3

Сразу: не буду говорить об UB - откровенно говоря, не вижу (особенно в вашем случае, для char) для него причин... но это одно из моих слабых мест. Самому будет интересно выcлушать, почему здесь UB. Если из-за strict aliasing - то вроде как раз через char* разрешено обращение...

Как человек более практический :), скажу, что основное отличие будет проявляться тогда, когда это будут не POD, а какие-то более интересные случаи - например, объекты класса. Пример, кусочки из которого здесь, полностью лежит по адресу https://ideone.com/RvQSax

В первом случае мы имеем присваивание, и вызывается именно оператор присваивания:

long long L;
Test * t = reinterpret_cast<Test*>(&L);
*t = Test(5);

Главная беда в том, что присваивание выполняется просто месту в памяти, так что если оператор присваивания будет заниматься сначала удалением объекта, которому присваиваем - мы таки получим неприятностей... А если там лежал таки объект с нетривиальным деструктором - то проблем будет еще больше.

long long M;
Test * u = new(&M) Test(6);

Этот способ куда корректнее - потому что размещающий оператор new предполагает наличие неинициализированной памяти, в которой с помощью конструктора нужно разместить объект (ну, как если бы память была выделена). Никаких действий с якобы размещенным до этого в этой памяти объектом не производится.
Но! Все равно остается старая проблема - если там реально был объект с нетривиальным деструктором - то будут проблемы.

P.S. Может, @VladD имел в виду именно это, говоря об UB?

2
  • 1
    Ага, я забыл об особой роли char*.
    – VladD
    5 янв 2018 в 10:16
  • Harry и VladD, вы как всегда отвечаете корректно и ясно, Приятно, что есть такие пользователи 5 янв 2018 в 12:10

Ваш ответ

Нажимая на кнопку «Отправить ответ», вы соглашаетесь с нашими условиями использования и подтверждаете, что прочитали и поняли наши политику конфиденциальности и нормы поведения.

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