АР
и если место куда копируется obj.field не содержит объекта, в который можно memmove'ить obj.field, то тогда UB
Size: a a a
2021 July 07
АР
так пытались решить проблему, которую должен решать memmove )
SS
Упаковка - это всегда долбосня с байтами, тебе еще выравнивание нужно учитывать
АР
лол я тут подумал, мб стоит сделать placement designated initializer?
АР
(стикер с Маском и косяком)
BU
копировать объект внутрь себя самого так себе идея, вне зависимости от того, чего вы хотите добиться
BU
тогда причем тут memove? Если дипазоны не пересекаются, то memcpy ничем не хуже
SS
оперировать memcpy, memmove и деструкторами некорректно) это сишные функции, они знать не знают, что там с++ объекты прилетели к ним. Как раз вот это доплнение в с++20 про то, что начнется время жизни объекта, но и там оговорок очень много. Если у объекта есть нетривиальный деструктор, то memcpy и memmove использовать не нужно
АР
вы блин все малех путаете "объекты" в понимании pointer provenance и объекты нетривиальных типов
АР
auto i = new int; - это создает объект тривиального типа
АР
delete i; - заканчивает жизнь объекта, пусть и без деструктора
АР
int i; точно так же создает объект
АР
struct Foo {
int i, j;
};
Foo f; // тут мы создали объекты f, f.i и f.j
int i, j;
};
Foo f; // тут мы создали объекты f, f.i и f.j
АР
шутки ради, там даже есть отдельное уточнение где "создается объект" вот в такой конструкции:
auto mem = malloc(sizeof(int));
auto obj = reinterpret_cast<int*>(mem);
auto mem = malloc(sizeof(int));
auto obj = reinterpret_cast<int*>(mem);