一、有了malloc/free,为什么还要new/delete?
malloc与free是C/C++的标准库函数,new/delete是C++的运算符。它们都可用于申请动态内存和释放内存。
对于非内部数据类型的对象而言,光用malloc/free无法满足动态对象的要求。对象在创建的同时要自动执行构造函数,对象的消亡之前要自动执行析构函数。由于malloc/free是库函数而不是运算符,不在编译器控制权限之内,不能够把执行构造函数和析构函数的任务强加于malloc/free。
因此,C++需要一个能完成动态内存分配和初始化工作的运算符new,以及一个能完成清理与释放内存工作的运算符delete。注意:new/delete不是库函数。请看下面例子:
#include <iostream>
using namespace std;
class Obj
{
public:
Obj(void)
{
cout << "Initialization" << endl;
}
~Obj(void)
{
cout << "Destroy" << endl;
}
};
void UseMallocFree(void)
{
cout << "in UseMallocFree()" << endl;
Obj *a = (Obj*)malloc(sizeof(Obj));
free(a);
}
void UseNewDelete(void)
{
cout << "in UseNewDelete()" << endl;
Obj *a = new Obj;
delete a;
}
int main()
{
UseMallocFree();
UseNewDelete();
return 0;
}
调试结果:in UseMallocFree()
in UseNewDelete()
Initialization
Destroy
在这个示例中,类Obj只有构造函数和析构函数的定义,这两个成员函数分别打印一句话。函数UseMallocFree()中调用malloc/free申请和释放堆内存;函数UseNewDelete()中调用new/delete申请和释放堆内存。可以看出函数UseMallocFree()执行时,类Obj的构造函数和析构函数都不会被调用;而函数UseNewDelete()执行时,类Obj的构造函数和析构函数都会被调用。
**总结:**对于非内部数据类型的对象而言,对象的消亡之前要自动执行析构函数。由于malloc/free是库函数而不是运算符,不在编译器控制权限之内,不能把执行构造函数和析构函数的任务强加于malloc/free,因此只有使用new/delete运算符。
二、map 如何使用结构体作为自定义键值
在使用map时,有时候我们需要自定义键值,才能符合程序的需要。
比如我们需要使用自定义的结构体来作为map的键值:
struct Test
{
int x;
int y;
};
这样直接使用的话,在编译时会出问题:
1>------ Build started: Project: MapRemove, Configuration: Debug Win32 ------
1> Source.cpp
1>d:\program files (x86)\microsoft visual studio 12.0\vc\include\xstddef(193): error C2784: 'bool std::operator <(const std::tuple<_Types...> &,const std::tuple<_Types1...> &)' : could not deduce template argument for 'const std::tuple<_Types...> &' from 'const Test'
1> d:\program files (x86)\microsoft visual studio 12.0\vc\include\tuple(480) : see declaration of 'std::operator <'
1> d:\program files (x86)\microsoft visual studio 12.0\vc\include\xstddef(192) : while compiling class template member function 'bool std::less<_Kty>::operator ()(const _Ty &,const _Ty &) const'
1> with
1> [
1> _Kty=Test
1> , _Ty=Test
1> ]
1>