D
Имелось в виду, что оно работает для тривиальных типов
foo* ub = (foo*)malloc(sizeof(foo));
ub->bar();
Size: a a a
2020 August 24
EK
Ясно. Т.е. конструктор может не выполниться, например:
ПК
Ясно. Т.е. конструктор может не выполниться, например:
он итак не выполнится
ПК
но дело не столько в этом, просто lifetime не начался
ПК
Даже для int-а
EK
он итак не выполнится
А, ну да, логично.
EK
Даже для int-а
А чем это грозит для int'а? :)
ПК
То есть уже это UB формально:
int a = *(int*)malloc(sizeof(int));
o
То есть уже это UB формально:
int a = *(int*)malloc(sizeof(int));
Потерял 4 байта!!
o
Аааа!!! Полундра!
EK
А, ну то есть память может не выделиться, тупо deadcode?
o
А, ну то есть память может не выделиться, тупо deadcode?
Обычно malloc гарантирует выделение. Тоесть будет стоять тред, пока системе не выделит память.
o
*вроде*
ПК
А, ну то есть память может не выделиться, тупо deadcode?
нет, просто UB, потому что объекта под указателем не существует
EK
То есть уже это UB формально:
int a = *(int*)malloc(sizeof(int));
А почему это UB, если это только для нетривиальных типов?
ПК
А почему это UB, если это только для нетривиальных типов?
Это UB для всех типов until C++20
EK
нет, просто UB, потому что объекта под указателем не существует
Почему не существует, если под него выделили память?
ПК
Почему не существует, если под него выделили память?
потому что выделение памяти != создание объекта
EK
А какой тогда вообще толк от malloc?
ПК
Создание объекта это вызов конструктора, например placement new