在 C++ 中使用删除命令会导致分段错误吗？

Question

我编写了一个程序，它分配类 T 的新对象，如下所示：

T* obj = new T(tid);  

其中 tid 是 int

在我的代码中的其他地方，我试图使用以下方法释放我分配的对象，该对象位于向量内：

delete(myVec[i]);  

然后：

myVec[i] = NULL;

有时它会顺利通过，没有任何错误，而在某些情况下，它会导致崩溃——分段错误。

我在调用删除之前检查过，该对象就在那里——我之前没有在其他地方删除过它。

什么可能导致此崩溃？
这是我将 T 类型的对象插入向量的代码：

_myVec is global

int add() {     

int tid =  _myVec.size();  
T* newT = new T (tid);  
    if (newT == NULL){  
        return ERR_CODE;  
    }  
    _myVec.push_back(newT);  
//  _myVec.push_back(new T (tid));  

    return tid;  
} 

按原样 - 程序有时会崩溃。
当我用注释行替换 Push_back 行并保留其余部分时，它就可以工作了。

但是当我将此代码替换为：

int add() { 

int tid =  _myVec.size();  
    if (newT == NULL){  
        return ERR_CODE;  
    }  
    _myVec.push_back(new T (tid));  

    return tid;  
}  

它在不同的阶段崩溃...

第二个选项中的 newT 未使用，并且仍然更改整个过程...这里发生了什么？

Answer 1

段错误意味着尝试操纵应用程序不应访问的内存位置。

这意味着您的问题可能来自三种情况：

1. 尝试使用指向 NULL 的指针执行某些操作；
2. 尝试使用未初始化的指针执行某些操作；
3. 尝试使用指向已删除对象的指针执行某些操作；

1）很容易检查，所以我假设您在使向量中的指针无效时已经这样做了。如果您不进行检查，请在删除调用之前进行检查。这将指出您尝试两次删除对象的情况。
3) 如果将向量中的指针设置为 NULL，则不会发生这种情况。

2）也可能发生。在你的情况下，你使用的是 std::vector，对吗？确保向量的隐式操作（例如当内部缓冲区不够大时重新分配）不会损坏您的列表。

因此，首先检查您是否删除了 NULL 指针（请注意，delete(NULL) 不会抛出！这是标准且有效的行为！） - 在您的情况下，您不应该尝试这样做删除（空）。
然后，如果它从未发生，请检查您的向量是否填充了指向垃圾的指针。例如，您应该确保熟悉 [Remove-Erase 惯用语][1]。

---

现在您添加了一些代码，我想我可以看到问题：

int tid =  _myVec.size(); 

您正在使用索引作为 id。

现在，一切都取决于您删除对象的方式。（请显示它以获得更完整的答案）

1. 您只需将指针设置为 NULL 即可。
2. 您从向量中删除了指针。

如果你只做 1)，那么它应该是安全的（如果你不费心让向量不断增长并且永远不会被释放并且 id 不会被重复使用）。
如果你这样做 2. 那么这都是错误的：每次从向量中删除一个对象时，删除后的对象位置仍然包含的所有对象都会降低 1。使任何存储的 ID/索引无效。

确保你在这一点上保持一致，这肯定​​是错误的根源。

Answer 2

该分段错误很可能是内存访问冲突。一些原因

1) 对象已被释放。确保在删除后将该数组位置设置为 NULL
2）你超出了数组范围
3) 如果您从多个线程访问该数组，请确保正确同步

Answer 3

如果您完全确定该指针指向一个有效的对象，并且删除它的行为会导致崩溃，那么您就会遇到堆损坏。

Answer 4

您应该尝试使用 ptr_vector，与您的不同代码，保证异常安全。

提示：如果你写delete，那么你就做错了

Answer 5

您无法确定该对象仍然有效：该对象占用的内存不一定会被清除，因此，您可能会看到一些看起来是您的对象的东西，但它不再是您的对象了。

您可以使用标记来确保对象仍然存在，并在析构函数中删除该标记。

class A {
public:
    static const unsigned int Inactive;
    static const unsigned int Active;

    A();
    ~A();

    /* more things ...*/
private:
    unsigned int mark;
};

const unsigned int A::Inactive = 0xDEADBEEF;
const unsigned int A::Active = 0x11BEBEEF;

A::A() : mark( Active )
{}

A::~A()
{
    mark = Inactive;
}

这样，通过检查对象中的前 4 个字节，您可以轻松验证对象是否已完成其活动。