c++ - 在 C++ 中编写一个检查内存泄漏的测试用例

Question

注意:这不是家庭作业，它是由我们的教授为帮助我们准备考试而提供给我们的模拟考试

我目前正在准备编程考试。在他们给我们的一个样本测试中，我们有以下问题:

假设您得到了一个模板化的容器，其中包含一个无序的对象集合。

template <typename T>
class Container {
   public:
      void insert(T *op);
      // EFFECTS: inserts the object pointed to by op into
      // the container
      T *remove();
      // EFFECTS: removes an object from the Container, and
      // returns a pointer to it. Returns NULL if no
      // objects remain in the Container.
      // Note: the implementation can choose which
      // object to return if more than one exists.
      Container(); // ctor
      Container(const Container &l); // copy ctor
      Container &operator=(const Container &l); // assignment
      ~Container(); // dtor
   private:
      ...
};

请注意，这只是界面；为简洁起见，省略了实现细节。但是，您可以假设实现是基于节点的；链接的节点集合持有对象。

您怀疑析构函数的实现不满足最多一次不变量的守恒规则，而是在泄漏内存。编写验收测试(类似于项目 4 中的测试)来检查这种情况。您必须提供一个合适的包含类型，以及一个执行测试的 main。

请注意，您不能依赖语言未定义的任何行为，您可能不会假设您可以使用项目 5 中的 altnew 分配器，并且您可能不覆盖删除运算符。提示:您可以使用全局变量。

我虽然是这样的:

#include <iostream>

using namespace std;

int *p = NULL;

void leak() {
    int *num = new int(5);
    p = num;
    delete num;
}

int main() {
    if ((*p = 6)) {
        cout << "Memory leak\n";
    } else {
        cout << "No Leak\n";
    }
}

这背后的基本思想是，虽然我无法写入未分配的内存空间。在编译这个测试代码时，虽然它工作得很好，但显然你可以。关于如何编写这样的测试用例有什么想法吗？

Answer 1

当你说:

void leak() {
    int *num = new int(5);
    p = num;
    delete num;
}

没有内存泄漏。但是，有一个悬挂指针 (p)，如果取消引用，它将导致未定义的行为。