Segmentation fault (core dumped)

代码：

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)。