近来由于项目需要,采用c++编程,学习了一下stl,对stl::allocator粗略研究了一下,allocator其实就是一个工厂模式,对它的几个方法粗略分析一下
pointer allocate(size_type n, const_pointer = 0) {
void* p = std::malloc(n * sizeof(T)); //只分配对象占用的内存,并不初始化,不调用构造函数
if (!p)
throw std::bad_alloc();
return static_cast<pointer>(p);
}
void deallocate(pointer p, size_type) {
std::free(p); //释放内存,并不调用析构函数
}
显然上面的方法如果是对基本类型是可以接受的,但如果是类对象这些,没有调用构造、析构函数是不可接受的。看看stl是如何处理的。
void construct(pointer p, const value_type& x) {
/*这个new比较特殊,并没有分配内存,只是将其按x值初始化,基本类型没有什么特殊,如果是类,则需要注意拷贝构造函数*/
new(p) value_type(x);
}
void destroy(pointer p) {
p->~value_type(); //这个就有点特殊了,如果是基本类型,也有析构函数?
}
带着上面的疑问,翻阅了<<c++标准98>>,在12.4节193页发现以下用法
typedef int I ;
I* p ;
.......
p->I::~I();
也就是说c++标准允许不知道是否有析构函数都可以这样写,这就大大解决了通用库设计中的一些问题,c++中还是很多东西自己不了解。