placement new 및 delete 수수께끼

C에서 배치 new 연산자를 사용하여 메모리를 할당할 때 할당 해제를 위한 적절한 방법에 관한 딜레마가 발생합니다. 그 기억. 두 가지 잠재적인 솔루션을 살펴보겠습니다.

솔루션 1:

const char* charString = "Hello, World";
void *mem = ::operator new(sizeof(Buffer)   strlen(charString)   1);
Buffer* buf = new(mem) Buffer(strlen(charString));
delete (char*)buf;

이 솔루션은 할당된 메모리를 문자 포인터로 삭제하려고 시도합니다. 그러나 이 접근 방식은 객체의 소멸자를 적절하게 처리하지 않거나 원시 메모리 할당을 해제하지 않기 때문에 올바르지 않습니다.

해결책 2:

const char* charString = "Hello, World";
void *mem = ::operator new(sizeof(Buffer)   strlen(charString)   1);
Buffer* buf = new(mem) Buffer(strlen(charString));
delete buf;

이 솔루션도 할당된 메모리를 삭제하려고 시도하지만 Buffer* 포인터에서 삭제 연산자를 직접 호출합니다. 이는 일반 new 연산자를 사용하여 메모리를 할당한 경우 작동합니다. 그러나 새로운 배치가 사용되었으므로 이 접근 방식도 올바르지 않습니다.

올바른 해결 방법:

할당된 메모리를 해제하는 올바른 방법은 다음과 같습니다.

buf->~Buffer();
::operator delete(mem);

이 솔루션은 Buffer 객체(buf->~Buffer())에 대한 소멸자를 명시적으로 호출한 다음 연산자 삭제 함수(::operator delete()를 사용하여 원시 메모리 할당을 해제합니다. mem)).

여기서 중요한 차이점은 배치 new를 사용할 때 원시 메모리를 해제하기 위해 연산자 삭제 함수를 직접 호출해야 한다는 것입니다. 배치 new 연산자에서 얻은 포인터를 삭제하려고 시도하면 소멸자를 제대로 호출하지 않거나 메모리를 완전히 할당 해제할 수 없습니다.