소멸자 정의를 추가하면 실행중인 예외가 발생합니다.

Question

구조체 힙의 소멸자에 문제가 있습니다. 하나만 추가하고 사용하지 않을 경우 런타임 예외 (메모리 액세스)가 생성됩니다. 두 번째 날에하려고하고 내일은 마감일입니다.

struct Heap 
{ 
     int n; 
     int* tab; 
     int* numerWKopcu; 

     Heap() { n=0; } 
     Heap (int size) { this->tab = new int[liczbaDomow]; n=0; this->numerWKopcu = new int[2000100];} 
     int max() { return tab[1]; } 
     bool empty() { return n==0; } 

     bool insert(int x) 
     { 
      n++; 
      tab[n]=x; 
      this->numerWKopcu[x] = n;//ZMIANA 
      upHeap(n); 
      return true; 
     }   

     bool delMin() 
     { 
      if (n<1) return false; 
      this->numerWKopcu[tab[n]] = 1; //ZMIANA 
      tab[1]=tab[n]; n--; 
      downHeap(1); 
      return true; 
     } 

    void upHeap(int x){ 
     int p; 
     int mem = tab[x]; 
     while (x>1) 
     { 
      p=x/2; 
      if (color[mem]>color[tab[p]]) break; 
      this->numerWKopcu[tab[p]] = x; //ZMIANA 
      tab[x]=tab[p]; 
      x=p; 
     } 
     this->numerWKopcu[mem] = x;//ZMIANA 
     tab[x]=mem; 
    } 

    void downHeap (int x) 
    { 
     int s=2*x; 
     int mem=tab[x]; 
     while(s<=n) 
     { 
      if (s+1<=n && color[tab[s]]>color[tab[s+1]]) 
       s++; 
      if (color[mem]>color[tab[s]]) 
      { 
       this->numerWKopcu[tab[s]] = x; //ZMIANA 
       tab[x]=tab[s]; 
       x=s; 
       s=2*x; 
      } 
      else break; 
     } 
     this->numerWKopcu[mem] = x;//ZMIANA 
     tab[x]=mem; 
    } 

    void write() 
    { 
     for (int i=1;i<=n;i++) printf ("%d) %d\n", i, tab[i]); 
     printf ("\n"); 
    }  

    void build() 
    { 
     int s = n; 
     for (s=n/2; s>=1; s--) downHeap(s); 
    } 
    /~Heap() { 
      delete []this->numerWKopcu; 
      delete []this-> tab; 
      }; 
}; 

Answer 1

코드 읽기가 조금 어렵다, 그러나 나는이 두 가지 문제를 참조하십시오

• 당신은 너무 기본 - 건설 오브젝트를 파괴, 기본 생성자에 null로 포인터를 초기화하는 없습니다가 정의되지 않은 동작을 제공합니다;
• 복사 생성자와 복사 할당 연산자를 정의하거나 제거하지 마십시오 (소멸자를 정의한 경우 항상 수행해야하는 것처럼 Rule of Three). 따라서 복사 된 객체를 삭제하면 정의되지 않은 동작이 발생합니다.

배열 경계 밖의 메모리에 액세스 할 수도 있습니다. valgrind과 같은 메모리 디버깅 도구를 사용하면 이러한 상황을 확인할 수 있습니다.

가장 간단한 해결책은 수동 관리 배열을 std::vector으로 바꾸는 것입니다. 자신의 소멸자를 작성하거나 의미를 복사하는 것에 대해 걱정할 필요가 없습니다. 또한 범위 확인 액세스를 제공하기 위해 [] (적어도 디버그 변형에서)이 아닌 at()을 사용할 수도 있습니다.

Answer 2

기본 생성자에서 포인터를 초기화하지 않습니다. 기본 생성 된 힙을 파괴하려고 시도하면 소멸자의 임의의 메모리 영역을 삭제하려고 시도 할 것이므로 확실히 중단됩니다.