上一篇我们提到了new运算符以及它的工作步骤,其实无非是把两项工作独立出来:
delete也涉及了两个工作:
其实标准库提供了另外一种更加高级的手段实现内存的分配和构造,就是std::allocator<T>的职责。
allocator提供了四个操作:
使用示例如下:
#include <iostream>
#include <string>
#include <vector>
#include <memory>
using namespace std; class Test
{
public:
Test() { cout << "Test" << endl; }
~Test() { cout << "Test ..." << endl; } Test(const Test &t)
{
cout << "Copy ....." << endl;
} private:
//Test(const Test &);
//void operator(const Test &);
}; int main(int argc, const char *argv[])
{
allocator<Test> alloc;
Test *pt = alloc.allocate(); //申请三个单位的Test内存
//此时pt指向的是原始内存
{
alloc.construct(pt, Test()); //构建一个对象,使用默认值
//调用的是拷贝构造函数
alloc.construct(pt+, Test());
alloc.construct(pt+, Test());
}
alloc.destroy(pt);
alloc.destroy(pt+);
alloc.destroy(pt+); alloc.deallocate(pt, );
return ;
}
这里注意,allocator提供的allocate函数与operator new函数区别在于返回值,所以前者更加安全。
还有一点,construct一次只能构造一个对象,而且调用的是拷贝构造函数。
标准库提供了三个算法用于批量构造对象(前提是已经分配内存)
以上三个函数操控的对象都是原始内存示例如下:
#include <iostream>
#include <string>
#include <vector>
#include <memory>
#include <stdlib.h>
using namespace std; class Test
{
public:
Test(int val) :val_(val) { cout << "Test" << endl; } ~Test() { cout << "Test ..." << endl; } Test(const Test &t)
:val_(t.val_)
{
cout << "Copy ....." << endl;
} int val_;
}; int main(int argc, const char *argv[])
{ Test *pt = (Test *)malloc( * sizeof (Test)); Test t(); uninitialized_fill(pt, pt + , t);
cout << pt[].val_ << endl; Test *pt2 = (Test *)malloc( * sizeof (Test));
uninitialized_copy(pt, pt + , pt2); free(pt);
free(pt2);
return ;
}
这里注意标准库的copy、fill函数与uninitialized_系列函数的区别:
OK,我们到此,可以总结出分配原始内存的三种手段:
这三者从上到下,是一个由低级到高级的过程。
那么执行构造函数,有两种手段:
最后,C语言中的数据都是POD类型,使用原始内存即可,但是C++中的大部分都是非POD类型,需要执行相应的初始化函数,所以,在C++中应该尽可能避免使用memcpy之类的直接操控原始内存的函数。