程序崩潰

Question

template<class item_type> 
struct node{ 
    item_type x; 
    node<item_type> *left; 
    node<item_type> *right; 
    //functions 
}; 

template<class item_type, class param> 
class Tree{ 
     node<item_type> *root; 
    public: 
     item_type Get_Item(param item); 
     void Add_Item(item_type item); 
     void Delete_Item(item_type item); 

     //more functions 

     Tree(); 
}; 


template<class item_type, class param> 
Tree<item_type, param>::Tree() 
{ 
    this->root = new node<item_type>; 

    this->root->left=NULL; 
    this->root->right=NULL; 

} 

添加項：

void Tree<item_type, param>::Add_Item(item_type item) 
{ 

    node<item_type> newItem; 
    newItem.x = item; 
    node<item_type> *cur = root; 
    node<item_type> *prev; 

    if(cur->x==NULL) 
     cur->x=item; 

    int ifGreater; 
    while(cur->left!=NULL || cur->right!=NULL) 
    { 
     if(item<cur->x) 
     { 
      ifGreater = 0; 
      prev = cur; 
      cur = cur->left; 
     } 
     else 
     { 
      ifGreater = 1; 
      prev = cur; 
      cur = cur->right; 
     } 
    } 
    if(ifGreater==1) 
     prev->right = &newItem; 
    if(ifGreater==0) 
     prev->left = &newItem; 
} 

問題就在這裏發生在cout<<1此功能;

template<class item_type, class param> 
    void Tree<item_type, param>::Delete_Item(item_type item) 
    { 
     node<item_type> *cur = root; 
     node<item_type> *prev; 

     int ifGreater; 
     if(cur==NULL) 
     { 
      cout<<"Not found"<<endl; 
      return; 
     } 

     while(cur!= NULL && (cur->left!=NULL || cur->right!=NULL)) 
     { 
      cout<<1; //crash occurs RIGHT before here as 1 is never printed 
      if(item<cur->x) 
      { 
       //do something 
      }        
     } 

的問題cout<<1之前發生和int ifGreater;聲明後cout僅僅只是爲了測試它運行，它停止運行。 我運行使用調用此函數來

int main() 
{ 
    Tree<int,int> theTree; 
    theTree.Add_Item(1); //so the tree isn't empty 
    theTree.Delete_Item(1); 
} 

注：該計劃甚至沒有讓過去的第一次迭代，處理的不當內存（這是固定的）是不是此特定錯誤的問題。

Answer 1

你有下面的一段代碼未定義行爲：

template <class item_type, class param> 
void Tree<item_type, param>::Add_Item(item_type item) 
{ 
    node<item_type> newItem; 
    // ... 
    if(ifGreater==1) 
     prev->right = &newItem; 
    if(ifGreater==0) 
     prev->left = &newItem;  
} 

以上，newItem是當地變量和你保持一個指向本地以及何時到期Add_Item退出之後。這可能是墜機的原因。

此外，您從未初始化ifGreater或node<item_type> *prev;。再次，這將導致更多的不確定的行爲時，這得到執行：

if(ifGreater==1) 
     prev->right = &newItem; 
    if(ifGreater==0) 
     prev->left = &newItem;  

你有可能最終deferencing一些隨機的內存塊。這是因爲不能保證您的while循環執行，例如。考慮left和right都是NULL的情況。