Segmentation fault (core dumped)_析构函数segmentation fault-优快云博客

本文链接：https://blog.youkuaiyun.com/ml422524/article/details/50196067

本文介绍了一个名为StrVec的类，该类使用allocator类来管理内存。文章详细解释了StrVec类中的free()成员函数，并指出当尝试销毁未初始化的元素时会导致Segmentation fault (core dumped)的问题。同时给出了修复建议。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

代码：

class StrVec{

public:
//默认构造函数
   StrVec() : elements(nullptr),first_free(nullptr),cap(nullptr){}
//拷贝构造函数
   StrVec(const StrVec &);
//析构函数
   ~StrVec();
/*其他成员*/
private:
   string *elements;//指向第一个位置的指针
   string *first_free;//指向第一个空闲位置的指针
   string *cap;//指向开辟的内存的尾后位置
   static allocator<string> alloc; //用于分配存储空间及构建元素
//释放内存

void free();

/*其他成员*/

};

//释放内存
void StrVec::free()
{
   if(elements) //如果为空，函数什么也不做
   {
       //逆序销毁
       for(string *p = cap; p != elements; /*空*/)
           alloc.destroy(--p);

       alloc.deallocate(elements,cap - elements);

   }
}

此代码出现：Segmentation fault (core dumped)

原因：free()中的for循环，p的初始值为cap，销毁对象时，若first_free != cap，则会试图销毁未构建的元素，从而引起段错误。

改正：将for循环中的cap改为first_free即可，即：for(string *p = cap; p != elements; /*空*/) ---> for(string *p = first_free; p != elements; /*空*/)。

总结：allocator类试图销毁未构建的元素会引发Segmentation fault (core dumped)。