개체의 동적 배열에서 delete []를 호출해도 메모리가 할당 해제되지 않습니다? 다음 코드에서

Question

는 :

int main(int argc,char * argv[]){ 
    int * ptr; 
    ptr = 0; // tried also with NULL , nothing changes 
    ptr = new int[10]; // allocating 10 integers 
    ptr[2] = 5; 
    ptr[15] = 15; // this should cause error (seg fault) - but it doesn't 

    cout << ptr[2] << endl; 
    cout << ptr[15] << endl; // no error here 

    delete [] ptr; 

    cout << ptr[2] << endl; // prints the value 5 
    cout << ptr[15] << endl; // prints the value 15 
} 

실행의 결과는 : 만 할당하고있어 경우

1. 5   
   15   
   5   
   15   
   

   어떻게 인덱스 번호 (15)를 가진 요소가 존재할 수 10?

2. 왜 전체 배열을 할당 해제 한 후에도 포인터에 값이 남아 있습니까?

   int * ptr; 
   ptr = 0; 
   ptr = new int; 
   *ptr = 5; 
   cout << *ptr << endl; 
   delete ptr ; 
   cout << *ptr << endl; 
   

   결과는 정상입니다 : GCC 4.7.2과에 GCC 4.1.2로

   5   
   0   
   

   을 테스트

는이 같은 하나의 할당으로 삭제 시도 fedora 17과 다른 플랫폼 (SLC5 - Red Hat 기반 리눅스)을 컴파일러에 의존하지 않도록합니다. 여기서 내가 뭘 잘못하고 있니?

Answer 1

1. 의도 한 크기의 배열을 초과하는 요소가 존재합니다. 메모리가 존재하기 때문입니다. 그것으로 무엇이든하는 것은 불법이고 어둠은 알려지지 않습니다.

2. 할당 해제는 메모리가 더 이상 할당되지 않는다는 것을 의미합니다. 누군가가 거기에 가서 청소했음을 의미하지는 않습니다. 하지만 거기에 남은 것을 접근하는 것은 불법이며 어둠을 알 수 없습니다.

Answer 2

어레이에 속하지 않는 메모리에 액세스하고 있습니다. 그것은 순수한 행운 때문에 일합니다. 프로그램이 충돌하지 않는다면, 이는 자신의 응용 프로그램에 속한 메모리의 일부를 덮어 쓰고 있다는 뜻이므로 어딘가에 무언가를 망칠 수 있으며 더 이상 프로그램이 올바르게 작동한다는 것을 보장 할 수 없습니다.

대부분 다른 응용 프로그램의 메모리에 액세스하기 때문에 세그먼트 오류가 발생합니다. 이번에, 당신은 단지 '행운아'입니다. 또는 프로그램이 메모리 오류를 가지고 있다는 것을 즉시 실행에서 알 수 없으므로 불운하다고 부릅니다.

Answer 3

삭제 된 포인터를 역 참조하는 것은 C++ 표준에 정의 된대로 정의되지 않은 동작입니다. 그리고 그것은 단지 - 정의되지 않은 동작입니다. 당신은 충돌 할 수 있었고, 0을 얻을 수 있었고, 이전에 있었던 것을 얻을 수있었습니다. 또는 42. 정의에 의해 그 시점에서 "정상적인"행동은 없었습니다.