Удалит ли бесплатно нужное количество байт?
unique_ptr<sockaddr_in> up = make_unique<sockaddr_in>();
// or unique_ptr<sockaddr_in> up( new sockaddr_in ); ???
/*
Some stuff
sockaddr and sockaddr_in are two different types of struct and are not relateted
*/
sockaddr *p = reinterpret_cast<sockaddr *>( up.release() );
delete p;
В большинстве случаев sockaddr не является базовым классом sockaddr_in (источник 1, 2, 3):
struct sockaddr {
ushort sa_family;
char sa_data[14];
};
struct sockaddr_in {
short sin_family;
u_short sin_port;
struct in_addr sin_addr;
char sin_zero[8];
};
Поэтому в соответствии с [expr.delete]/p3 поведение программы undefined:
... если статический тип удаляемого объекта отличается от его динамического типа, статический тип должен быть базовым классом динамического типа удаляемого объекта, а статический тип должен иметь виртуальный деструктор или поведение не определено.
При этом во многих случаях встроенный оператор delete просто делегирует free, которому не нужен размер, и программа будет работать так, как задумано (хотя при кодировании на C++ мы действительно предпочитаем оставаться в сфере определенного поведения).
Почему бы просто не позволить unique_ptr делать свою работу, а delete - sockaddr_in после уничтожения?
Он удалит sizeof(sockaddr) байт, если только sockaddr не является базовым типом sockaddr_in и не получил виртуальный деструктор. Везде, где это было бы успешным в противном случае или нет, не определено. После того, как вы сделали reinterpret_cast, sockaddr* является статическим типом указателя. вопрос в том, имеет ли он другой динамический тип или нет.
std::unique_ptr::release. - person G.M. schedule 07.06.2021sockaddrиsockaddr_inне одного размера), а также НИКОГДА (даже если они одного размера) вызовет правильный деструктор. - person dave schedule 07.06.2021