问题发现:
最近做二叉排序树的相关作业时,发现了一个新手常犯的错误…其实是我经常犯的。
先贴搜索,插入BST的相关代码,然后分析问题:
#include <iostream>
#define OK 1
#define ERROR 0
typedef int ElemType;
typedef int Status;
typedef struct BitNode{
ElemType data;
BitNode *lchild;
BitNode *rchild;
}BitNode,*BitTree;
void InsertBST(ElemType key){
BitTree p;
if (SearchBST(key,&p)){
std::cout<<"已找到key:"<<key<<"位置为:"<<p<<",无需插入。"<<std::endl;
} else{
#if 0
auto *q = (BitNode*)malloc(sizeof(BitNode));
q->data = key;
q->lchild = nullptr;
q->rchild = nullptr;
#endif
#if 1
auto *q = new BitNode();
q->data = key;
#endif
if (T== nullptr){
T = q;
} else{
if (p->data<key){
p->rchild = q;
} else{
p->lchild = q;
}
}
std::cout<<"插入完毕"<<std::endl;
}
}
Status SearchBST(BitTree T1, ElemType key, BitTree f,BitTree *p){
if (T1 == nullptr){
*p = f;
return ERROR;
} else if(key == T1->data){
*p = T1;
return OK;
}
else if(key < T1->data){
return SearchBST(T1->lchild,key,T1,p);
} else{
return SearchBST(T1->rchild,key,T1,p);
}
}
学过二叉排序树的同学应该对这段代码很熟悉,问题在InsertBST(ElemType key)这个接口中,第一个#if的代码片里,用malloc分配内存的数据尚未被默认初始化,如果不把BitNode的两个孩子指针显式初始化为NULL,就会莫名传入一个地址…进而导致SearchBST这个接口认为新生成的这个结点是有孩子结点的…然而新传入的T1实际上是一个不可访问的内存去,因此报错。
而第二个#if就很灵性,new BitNode()可以默认初始化这个BitNode结点,两个孩子结点的指针也被初始化为NULL,总而言之就是很省心…
想了想,其实还是new和malloc了解的不够深入,总结一下new和malloc的区别。
new和malloc的区别:
区别1:
malloc只负责开辟内存,没有初始化功能,需要用户自己初始化;
new不但开辟内存,还可以进行初始化。
如上述问题,BitNode中的data被初始化为0,lchild和rchild被初始化为NULL。
区别2:
malloc是函数,开辟内存需要传入字节数,返回void*,表示分配的堆内存的起始地址,因此malloc的返回值需要强转成指定类型的地址;new是运算符,开辟内存需要指定类型,返回指定类型的地址,因此不需要进行强转。
如上述问题:(BitNode*)malloc(sizeof(BitNode)),其中malloc()只负责分配内存,返回void*,但具体是何种类型的内存malloc不需要知道,而需要通过(BitNode*)强转为指向BitNode类型的指针。因此这是两步操作。而new BitNode()就直接返回BitNode*,其实是一步操作。
区别3
malloc开辟内存失败返回NULL,new开辟内存失败抛出bad_alloc类型的异常,需要捕获异常才能判断内存开辟成功或失败,new运算符其实是operator new函数的调用,它底层调用的也是malloc来开辟内存的,new它比malloc多的就是初始化功能,对于类类型来说,所谓初始化,就是调用相应的构造函数。
区别4:
malloc开辟的内存永远是通过free来释放的;而new单个元素内存,用的是delete,如果new[]数组,用的是delete[]来释放内存的。