C에서 `void*`를 통해 할당된 메모리를 삭제하는 것이 안전합니까?

C에서 Void 포인터를 삭제할 때의 위험

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

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

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

질문이 생깁니다: 사용하는 것이 안전한가요? my_free는 my_alloc이 할당한 포인터를 삭제합니다. void*?

정의되지 않은 동작

대답은 "아니오"입니다. void*를 통한 삭제는 C 표준에서 명시적으로 금지되어 있습니다. 섹션 5.3.5/3에는 다음과 같이 명시되어 있습니다.

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

각주에 다음과 같이 추가합니다.

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

결과

void*를 통해 삭제하면 예측할 수 없고 치명적인 결과가 발생할 수 있습니다. 프로그램은 메모리 오류, 데이터 손상 또는 잘못된 결과로 인해 충돌할 수 있습니다.

따라서 포인터를 삭제하기 전에 항상 올바른 유형으로 포인터를 캐스팅하는 것이 중요합니다. 이 경우 포인터를 delete[]에 전달하기 전에 char*로 캐스팅해야 합니다.

위 내용은 C에서 `void*`를 통해 할당된 메모리를 삭제하는 것이 안전합니까?의 상세 내용입니다. 자세한 내용은 PHP 중국어 웹사이트의 기타 관련 기사를 참조하세요!