🎄T
Size: a a a
2020 July 08
VS
Но я не могу придумать к каким последствиям может привести нарушение правил лайфтайма на практике.
работа с мусором или частью другого объекта по невалидному указателю не подходит?
VS
когда он указывал на объект на стеке, а потом время жизни того объекта закончилось
VS
или речь о данном конкретном случае с reinterpret_cast?
m
работа с мусором или частью другого объекта по невалидному указателю не подходит?
Это немного о другом. Я о таком коде (до с++20):
void* p = malloc(sizeof(int), 1);
int* i = reinterpret_cast<int*>(p);
i = 42;
VS
это, наверное, был нечастый пример уб, которого можно было сильно не бояться
VS
но если кастить к указателю на нетривиально конструируемый тип, то объект может быть в невалидном состоянии
🎄T
но если кастить к указателю на нетривиально конструируемый тип, то объект может быть в невалидном состоянии
Ну если из сети поток байт получается и к объекту кастится или по сети передается?
VS
Ну если из сети поток байт получается и к объекту кастится или по сети передается?
объект, состоящий из потока байт, наверняка тривиально конструируем
VS
то есть не требует выполнения кода для конструирования
m
но если кастить к указателю на нетривиально конструируемый тип, то объект может быть в невалидном состоянии
Или каком-нибудь:
static_assert(sizeof(int) == sizeof(float));
float f = 42;
int* i = reinterpret_cast<int*>(&f);
// use i
P
placement new
можно еще пояснить: есть память от малоока, сначала скастнутая к uint8_t*, это безопасно, потом инициализированная, завернутая в unique пойнтер. Дальше другая функция берет, кастуеь к int64_t*. Как тут плейсмент нью использовать?
VS
Или каком-нибудь:
static_assert(sizeof(int) == sizeof(float));
float f = 42;
int* i = reinterpret_cast<int*>(&f);
// use i
само собой
я оставался в рамках malloc
я оставался в рамках malloc
🎄T
или имелось ввиду плейсмент нью только для инициализации?
Да
VS
можно еще пояснить: есть память от малоока, сначала скастнутая к uint8_t*, это безопасно, потом инициализированная, завернутая в unique пойнтер. Дальше другая функция берет, кастуеь к int64_t*. Как тут плейсмент нью использовать?
может, расскажи, как ты дошел до такой жизни
ты не контролируешь ни того, кто создает
ты не контролируешь ни того, кто создает
uint8_t*, ни того, кто требует int64_t*?P
может, расскажи, как ты дошел до такой жизни
ты не контролируешь ни того, кто создает
ты не контролируешь ни того, кто создает
uint8_t*, ни того, кто требует int64_t*?я пока еще разбираюсь, это уже чей то PR который я ревьюю. Я вижу что аллокатор делает один пойнтер, а кастуется к другому, пока не разобрался почему так и необходимо ли это
VS
в таком случае этот PR явно требует доработки
m
само собой
я оставался в рамках malloc
я оставался в рамках malloc
Я просто не вижу, что компилятор может сделать с кодом такого плана. Понятно, что это UB по стандарту, но что может пойти не так? Я сейчас не говорю, что надо так писать, но цель же топик стартера убедить, что это опасно и так делать не надо.