Привет. Есть : struct X{ void virtual m() { ...

Question

Привет. Есть : struct X{ void virtual m() { ...

}; };
struct Y: X{ void virtual m() { ... }; };
static_assert(sizeof(X) == sizeof(Y));

X x[2];
auto ptr = reinterpret_cast<char *>(&x[0]);
new(ptr)Y();
когда делаю x[0].m(), ругается санитайзер, хотя всё работает ОК.

member call on address 0x7fffc2422cb8 which does not point to an object of type ...

Подскажите, тут ub? Что можно сделать, чтобы не ругался? Спасибо.

#c++ #embedded #programming #russian

0

22.06.2022

15 ответов

34 просмотра

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

Denis P
чтобы не ругалось можно не писать такой код наприм...

мне байтики надо экономить. Ещё варианты есть?

0

22.06.2022

Alexander Karaev

Создаётся объект поверх существующего и не удаленного, как минимум

0

22.06.2022

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

Alexander Karaev
Создаётся объект поверх существующего и не удаленн...

ок, удалить можно. Это решит проблему?

0

22.06.2022

Denis P

а какой санитайзер ругается?

0

22.06.2022

Ilya Zviagin

Так нельзя, да. Время жизни x (двух элементов) не завершено.

0

22.06.2022

Alexander Karaev

basiliscos
ок, удалить можно. Это решит проблему?

Стоит попробовать. Правда, когда массив будет удаляться, он вызовет не тот деструктор и всё сломается. И вообще для примера тут массив не нужен.

0

22.06.2022

Sergey Anisimov

Отмывать нужно обязательно, поскольку правило для transparently-replaceable нарушается. Если деструктор X будет нетривиальным - все взорвется в нескольких местах (1, 2).

0

22.06.2022

Слава

А интересно std::any реализовать с фиксированным внутренним буффером под объект может лучше будет 🤔

0

22.06.2022

Слава

Он же тут просто метод X вызовет в любом случае нет?

0

22.06.2022

Sergey Anisimov

Слава
Он же тут просто метод X вызовет в любом случае не...

Нет (1, 2).

0

22.06.2022

magras

Sergey Anisimov
Нет (1, 2).

В оригинальном коде с ub, точного ответа нет. Например кажется может сработать девиртуализация, которая проигнорирует vtbl.

0

22.06.2022

Denis P

magras
В оригинальном коде с ub, точного ответа нет. Напр...

потенциально много чего может быть

0

22.06.2022

Sergey Anisimov

magras
В оригинальном коде с ub, точного ответа нет. Напр...

Вероятно. Я про конечный (предположительно корректный) вариант)

0

22.06.2022

🐙 Antony Polukhin

struct X{ void virtual m() { ... }; }; struct Y: X{ void virtual m() { ... }; }; static_assert(sizeof(X) == sizeof(Y)); alignof(X) std::byte storage[sizeof(X) * 2]; auto y = new(&storage[0]) Y(); auto x = new(&storage[0] + sizeof(X)) X(); А вот так подойдёт?

0

22.06.2022

Denis P · Accepted Answer

Denis P

чтобы не ругалось можно не писать такой код например

0

22.06.2022

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

Привет. Есть : struct X{ void virtual m() { ...

15 ответов

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