【C++】C++内存管理，模板

C++内存管理

C++中通过 new 和 delete 两个操作符实现动态内存管理

• 为自定义类型设计，可以在申请空间得同时初始化
• 使用 new 先申请空间，再调用构造
• 使用delete时先调用析构，再释放空间

	vector<int> v1(10, 1);
	vector<int>* v2 = new vector<int>(v1.begin(), v1.end());
	delete v2;

operator new 和 operator delete

• operator new 和 operator delete 是系统提供的全局函数，不是运算符重载，
• 在使用 new 或 delete 时，底层实际是去调用operator new 去申请空间和 operator delete去释放空间的
• operator new 和 operator delete 本质上是对 malloc 和 free 的封装
• 不同点是 operator new 函数中如果空间申请失败的反馈设定为抛异常，而malloc 本身是返回NULL
• operator delete 本质上与 free 无异，为与 operator new 配对

关于 new C[N] 和 delete[ ]

如对于
A* pa = new A[10];
delete[] pa;

new A[10]

• 调用operator new[]函数，在operator new[]中实际调用operator new函数完成N个对象空间的申请
• 在申请的空间上执行N次构造函数

delete[ ]

• 在释放的对象空间上执行N次析构函数，完成N个对象中资源的清理
• 调用operator delete[]释放空间，实际在operator delete[]中调用operator delete来释放空间
• 关于这部操作的N，编译器在new出N个对象空间时，会在空间的头部额外开一块空间存储这个N，用于提示delete调用析构函数的次数，最后释放空间时，指针会前移，将这个存储N的空间同时也销毁掉。

定位new

对一块已有的空间进行初始化

	string* ps = (string*)malloc(sizeof(string));
	new(ps)string("hello");
	cout << ps->c_str() << endl;

模板

模板是泛型编程的基础

函数模板

template<class T>
//可以定义多个模板参数 template<class T1， class T2>
void Swap(T& left, T& right)
{
	T temp = left;
	left = right;
	right = temp;
}
//调用
Swap<int>(a, b);

• 编译器会根据调用时指定的参数类型实例化一份对应类型的函数
• 若主动显示的参数类型不匹配，会发生隐式类型转换

int a = 10;
double d = 2.0;
Swap(a, (int) d);
Swap<int>(a, d);

类模板

类模板需要显示实例化

Stack<int> st1;
vector<string> v1;

• 类模板名字vector不是真正的类，而实例化的结果vector < string >才是真正的类
• 类模板的声明和定义一般不要分开，放在一个文件中