啃C++啃到allocator类，有四个函数
allocate 分配内存
construct 在指定位置构造对象
destroy 析构指定位置的对象
deallcate 释放指定内存
书中写，在释放内存前需要循环把构造的对象析构掉。想问一下如果不析构直接释放那部分内存可以嘛。
按我自己理解，这样做那部分内存就释放了，新申请的时候就可以被当作可用内存分配出来，在上面创建对象就把之前的覆盖掉了。
请问这样直接释放内存而不析构上面的对象会有什么隐患吗？
后边两个函数 你可能看不懂，但意思就是这样 ：
allocate 从主存分配出空间 但是还没有构造 也就是里边啥也没装。 (这一块大空间也叫内存池)
deallocate 是将分配出的空间(没有被使用的空间) 放回主存。
而
construct 是将已经从主存分配出的空间(内存池) 取适当的大小"构造" 出一个特定的值。
destroy 是将已经被构造的空间(已有值) 析构成没有被使用的空间放回内存池(allocate的大小 小于 128字节的时候 大于128会调用free放回主存)。
希望可以帮到你。
其实这个 看过STL的源代码 就会比较好理解了。
下边是四个函数的实现：
template<typename T1,typename T2>
inline void construct(T1* p , const T2& value)
{
new(p) T1(value); //!placement new
}
//!接受一个指针的destroy()版本
template<typename T>
inline void destroy(T* pointer)
{
pointer->~T(); //!调用T类型的析构函数
}
static void *allocate(size_t n)
{
obj *volatile *my_free_list;
obj *result;
//!大于128就调用第一级配置器
if(n > (size_t)__MAX_BYTES){
return (malloc_alloc::allocate(n));
}
//!寻找16个free lists中适当的一个
my_free_list = free_list + FREELIST_INDEX(n);
result = *my_free_list;
if(result == 0){
//!没找到可用的free list,准备重新填充free list
void *r = refill(ROUND_UP(n));
return r;
}
//!调整free list
*my_free_list = result ->free_list_link;
return (result);
}
//!p不可以是0
static void deallocate(void *p,size_t n)
{
obj *q = (obj *) p ;
obj * volatile *my_free_list;
//!大于128bytes就调用第一级配置器
if( n>(size_t)__MAX_BYTES){
malloc_alloc::deallocate(p,n);
return ;
}
//!寻找对应的free list
my_free_list = free_list + FREELIST_INDEX(n);
q->free_list_link = *my_free_list;
*my_free_list = q;
}
这个要具体问题具体分析。
allocator的destroy方法实际上只是调用了对象的析构函数（参见这里），所以后果实际上和那个对象的类型有关。
如果你分配的内存是给基本类型用的（像int，double之类），那么一点事也没有。