C에서 `delete[]`를 사용하여 `void*` 포인터를 삭제하는 것이 안전한가요?

공허 포인터 삭제: 안전성 평가

다음 코드 조각을 고려하세요.

void* my_alloc(size_t size) {
  return new char[size];
}

void my_free(void* ptr) {
  delete[] ptr;
}

delete[]를 사용하여 void* 연산자?

답변:

void*를 통해 포인터를 삭제하는 것은 C 표준에서 명시적으로 정의되지 않습니다. 섹션 5.3.5/3에는 다음과 같이 명시되어 있습니다.

첫 번째 대안(객체 삭제)에서 피연산자의 정적 유형이 동적 유형과 다른 경우 정적 유형은 피연산자의 동적 유형의 기본 클래스가 되어야 합니다. 정적 유형에는 가상 소멸자가 있어야 하며 그렇지 않으면 동작이 정의되지 않습니다. 두 번째 대안(배열 삭제)에서는 삭제할 개체의 동적 유형이 정적 유형과 다른 경우 동작이 정의되지 않습니다.

또한 각주 참고:

이는 다음을 의미합니다. 유형의 객체가 없기 때문에 void* 유형의 포인터를 사용하여 객체를 삭제할 수 없습니다. void.

결론:

delete[] 연산자를 사용하여 void*로 할당된 포인터를 삭제하는 것은 안전하지 않습니다. 삭제하기 전에 항상 포인터를 원래 유형으로 캐스팅하세요.

위 내용은 C에서 `delete[]`를 사용하여 `void*` 포인터를 삭제하는 것이 안전한가요?의 상세 내용입니다. 자세한 내용은 PHP 중국어 웹사이트의 기타 관련 기사를 참조하세요!