VS
а их выделение — не обязательно
спасибо
интересно, почему оно еще не в стандарте
Size: a a a
2021 July 13
SS
Зачем?
K
выделение я и не спрашивал... Мне просто тут затирают, что удаление выделенного new char[N] через delete это паника гроб могила
D
По делу затирают
VS
чтобы placement array new можно было пользоваться?
AS
таки чего бы это было не паникой? :)
SS
Только для trivially destructible типов?
SS
Очень странно будет выглядеть
VS
если выделение памяти для массивов делает что-то необычное (array allocation overhead, например), то и освобождать эту память нужно так, чтобы об этом необычном знали. иначе гроб, да
VS
можно вообще array allocation overhead выкинуть, конечно. но речь о стандартизации используемых практик
и что странного в требовании trivially destructible самом по себе? похожее есть для implicit lifetime, и ничего
и что странного в требовании trivially destructible самом по себе? похожее есть для implicit lifetime, и ничего
K
ну так в итоге там будет что, утечка памяти или чего?
D
UB там будет
D
От утечки до падения самолетов
VS
и ожидаемого поведения
TS
лайфтайм объекта не будет корректно завершен
d.
Потому ,что delete вызывает деструктор у 1го объекта,а остальные где-то висят?
K
деструктор char?
с
For the first (non-array) form, expression must be a pointer to an object type or a class type contextually implicitly convertible to such pointer, and its value must be either null or pointer to a non-array object created by a new-expression, or a pointer to a base subobject of a non-array object created by a new-expression. If expression is anything else, including if it is a pointer obtained by the array form of new-expression, the behavior is undefined.
https://en.cppreference.com/w/cpp/language/delete
TS
Так такого деструктора у простых типов нет, поэтому здесь дело не совсем в нем)
Скажем так, если объект был создан одним способом, то он должен быть уничтожен парным ему методом
Для new это delete, для
Если создаёшь через placement new и вызываешь кторы, то должны быть явно вызваны и дторы
Скажем так, если объект был создан одним способом, то он должен быть уничтожен парным ему методом
Для new это delete, для
new[] это delete[], аналогичноЕсли создаёшь через placement new и вызываешь кторы, то должны быть явно вызваны и дторы