STL容器存储的内容动态分配情况下的内存管理
主要分两种情况:存储的内容是指针;存储的内容是实际对象。
看以下两段代码,
typedef pair<VirObjTYPE, std::list<CheckID>*> VirObj_CheckID_pair;
class LangChecker
{
public:
LangChecker();
~LangChecker();
void Register(VirObjTYPE type, CheckID id);
private:
std::map<VirObjTYPE, std::list<CheckID>*> _registered_checker;
std::map<VirObjTYPE, std::list<CheckID>*>::iterator _registered_iter;
};
void LangChecker::Register(VirObjTYPE type, CheckID id)
{
_registered_iter = _registered_checker.find(type);
if(_registered_iter == _registered_checker.end()) //not found
{
std::list<CheckID>* newlist = new list<CheckID>;
(*newlist).push_back(id);
_registered_checker.insert(VirObj_CheckID_pair(type, newlist));
}
else
{
(*(*_registered_iter).second).push_back(id);
}
}
LangChecker::~LangChecker()
{
for(_registered_iter = _registered_checker.begin();
_registered_iter != _registered_checker.end(); _regeristered_iter++)
{
delete (*_registered_iter).second;
}
}
第二段代码中,Register函数动态生成指针newlist指向list<CheckID>对象,对象的内存分配在堆上;然后,将该指针insert到map容器——_registered_checker中。注意,STL容器在运行push_back/push_front/insert等操作时,会又一次为要插入进来的内容new对应的内存(在这里,会为type和newlist指针(!不是newlist指向的对象!)分配堆内存——32位系统下指针仅仅占4字节),这些操作分配的内存STL自己会管理不用我们担心,newlist指针也是局部变量自己会死亡。insert之后该map容器中的VirObjTYPE=type、list<CheckID>指针和newlist都指向一样的堆内存。注意,newlist所指向的堆内存,是须要我们自己来释放的,这一步在析构函数里完毕比較合适。
以下是第二种写法,将数据成员_registered_checker类型改为,
std::map<VirObjTYPE, std::list<CheckID>> _registered_checker;
std::map<VirObjTYPE, std::list<CheckID>>::iterator _registered_iter;
对应的函数改为,
typedef pair<VirObjTYPE, std::list<CheckID>> VirObj_CheckID_pair;
void LangChecker::Register(VirObjTYPE type, CheckID id)
{
_registered_iter = _registered_checker.find(type);
if(_registered_iter == _registered_checker.end()) //not found
{
std::list<CheckID>* newlist = new list<CheckID>;
(*newlist).push_back(id);
_registered_checker.insert(VirObj_CheckID_pair(type, *newlist));
delete newlist;
}
else
{
(*_registered_iter).second.push_back(id);
}
}
这时,map容器里的第二成员不再是指针而是实际的对象了,所以在insert时要把对应的对象*newlist插入到map中,这时,insert操作会为type和*newlist新分配堆内存(这里分配的是list<CheckID>对象、而非指针的内存),这块内存会由STL自己负责释放。insert后map容器中的VirObjTYPE=type、list<CheckID>=*newlist。注意,我们new出来的newlist所指向的内存,须要我们在newlist变量失效之前手动释放!所以,这里的内存释放分别由STL和Register函数完毕,析构函数里就不用做什么了。
比較两种写法,后者申请和释放list<CheckID>对象内存的动作更为频繁,是前者的两倍。当list<CheckID>对象较大(仅仅要比指针的4字节大)时,性能上来说前者更好。