0

当我在循环中使用动态分配的对象指针时，教程、搜索和我的 C++ 正规教育的模糊记忆让我不知道应该在哪里使用 delete，例如：

// necessary files are included, this code is within main
T * t;
t = foo.getNewT();
while (!t->isFinalT()) {

    // print t stuff

    delete t;         // is this where I should delete t?
    t = foo.getNewT();
}

delete t;

在最近的一个课堂项目中，这种缺乏知识变得特别麻烦。在我的笔记本电脑（Linux Mint，g++ Ubuntu/Linaro 4.7.3-1ubuntu1）上，代码在没有删除语句的情况下运行良好，并且在我添加删除语句时崩溃。在学校服务器（Solaris，g++（GCC）3.4.5）上，代码在没有删除语句的情况下经过几次迭代后出现段错误，并且在我添加删除语句时运行良好。

如何正确处理这种循环，以便它可以在大多数环境中运行？

附加信息：当程序到达删除请求时，我的笔记本电脑上出现错误：

*** Error in 'program': free(): invalid next size (fast):...

其他一些代码： 

// T.h
class T {
    int id;
    int num;
    int strVarPos;
    char * strVar;
  public:
    T();
    ~T();
    // + misc. methods
}

// T.cpp
T::T() {
    id = 0;
    num = -1;
    strVarPos = 0;
    char * strVar = new char[11];
    strVar[0] = '\0'
}

T::~T() {
    delete [] strVar;
}

// Foo.cpp
T * Foo::getNewT() {
    T * t = new T;

    // populate T's fields

    return t;
}

解析度：

因为使用 just 和循环的简单测试可以T * t正常工作，所以我最终从空白开始重建项目并一次添加一个类，以查看问题何时出现。结果是我在程序的其他地方添加了额外的内容到动态分配的数组中，而没有更新我用来初始化数组的大小常量。

显然，如果我确保正确删除指针（程序运行时间不够长，导致我的测试中出现严重的内存泄漏），学校服务器只能处理由此产生的内存差异而不会崩溃，而我的笔记本电脑不会注意到内存差异，直到我尝试调用删除（然后会崩溃）。

4

4 回答 4

2

假设foo.getNewT()将内存的所有权移交给调用者：

T * t;
t = foo.getNewT();
//while (!t->isFinalT()) // if foo.getNewT ever returns NULL, this will be UB!!!
while (t != nullptr && !t->isFinalT()) 
{
    // ...
    delete t; // if you now own it and are no longer going to use it, yes, delete it here
    t = foo.getNewT();
}
delete t; // you also need this one to delete the "final" t

但是，您可以避免使用以下方法自己进行操作std::unique_ptr：

std::unique_ptr<T> t;
t.reset(foo.getNewT());
while (t && !t->isFinalT()) 
{
    // ...
    t.reset(foo.getNewT());
}

或者，您可以重写循环以更好地流动：

std::unique_ptr<T> t;
do
{
    t.reset(foo.getNewT());
    if (t)
    {
        // do stuff with t
    }
} while (t && !t->isFinalT());

代码在没有删除语句的情况下运行良好，并在我添加删除语句时崩溃。

您确定 getNewT将所有权交给T*您吗？如果您删除它，然后它稍后再尝试删除它，您将最终导致堆损坏。如果它将所有权移交给调用者，而您不删除它，则会发生内存泄漏。

使用编辑中的附加信息：

char * strVar = new char[11];

strVar如果您声明为 astd::string或 a ，则该行是不必要的char[11]。如果您尝试复制这些T对象中的任何一个，您将使用默认的复制构造函数（因为您尚未定义一个），它将执行浅拷贝（即复制指针的值strVar）。当您删除T都指向相同内存位置的 2 时，您会遇到堆损坏。最强大的解决方案是声明strVar为std::string.

于 2013-10-30T21:53:13.243 回答
1

问题不在于delete. 你把它放在正确的地方。您正在做的其他事情更有可能导致未定义的行为。

请注意，您还应该有一个delete t after循环（以捕获最后一个）。这是假设foo.getNewT()总是返回一个有效的指针（它必须这样做，因为你从不检查它是否为 NULL）。

于 2013-10-30T21:44:10.403 回答
1

当您不再需要动态分配的内存时，您应该删除它。如果要将t其值保留在for循环内，则在循环外将其删除，否则在循环内将其删除。

但是，最好的办法是std::unique_ptr在您确实必须使用指针时使用。当所有对内存的引用都被销毁时，它将负责释放内存本身。您应该尽量避免分配内存。如果适合工作，请使用 STL 容器。

于 2013-10-30T21:45:20.427 回答
0

我认为当您delete t删除结构内的真实对象时。

也许这就是导致问题的原因。

于 2013-10-30T21:49:00.833 回答