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