c++ - 在 C++ 中使用 delete 命令会导致段错误的原因是什么？

Question

我编写了一个程序，它像这样分配一个类 T 的新对象:

T* obj = new T(tid);  

其中 tid 是一个整数

在我的代码中的其他地方，我试图释放我分配的对象，它在一个 vector 中，使用:

delete(myVec[i]);  

然后:

myVec[i] = NULL;

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

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

什么会导致此崩溃？
这是我将类型 T 的对象插入 vector 的代码:

_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) 很容易检查，所以我假设您在使 vector 中的指针无效时已经这样做了。如果您不进行检查，请在删除调用之前进行检查。这将指出您试图两次删除一个对象的情况。 3) 如果将 NULL 设置为 vector 中的指针，则不会发生。

2) 也可能发生。在你的例子中，你使用的是 std::vector，对吧？确保对 vector 的隐式操作(例如在不再足够大时重新分配内部缓冲区)不会破坏您的列表。

因此，首先检查您是否删除了 NULL 指针(请注意 delete(NULL) 不会抛出!这是标准且有效的行为!) - 在您的情况下您不应该直截了当尝试删除(NULL)。 然后，如果它永远不会发生，请检查您的 vector 是否没有用指向垃圾的指针填充。例如，您应该确保自己熟悉 [Remove-Erase idiom][1]。

---

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

int tid =  _myVec.size(); 

您正在使用索引作为 ID。

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

1. 您只需将指针设置为 NULL。
2. 您从 vector 中删除指针。

如果您只执行 1)，那么它应该是安全的(如果您不介意拥有一个不断增长且永远不会被释放并且 ID 不会被重复使用的 vector )。
如果你做 2. 那么这一切都是错误的:每次你从一个 vector 中删除一个对象时，所有对象仍然包含在删除的对象位置将降低一个。使任何存储的 ID/索引无效。

确保你在这一点上是连贯的，这肯定是错误的来源。