Visual Studio 2010 C++运行时错误

Question

我在 Visual Studio 2010 C++ 编译器中遇到了奇怪的行为。 以下代码编译但执行后抛出“调试断言失败” 信息：

“_BLOCK_TYPE_IS_VALID(pHead->nBlockUse)”

在GCC下编译并顺利运行。是我的错吗？

#include <iostream>
#include <vector>


using namespace std;

typedef unsigned int uint;


class Foo {
    vector<int*> coll;
public:

    void add(int* item) {
       coll.push_back(item);
    }

    ~Foo() {
        for (uint i = 0; i < coll.size(); ++i) {
            delete coll[i];
            coll[i] = NULL;
        }
    }
};

int main()
{
   Foo foo;
   foo.add(new int(4));
   Foo bar = foo;

   return 0;
}

Answer 1

您没有实现复制构造函数和复制赋值运算符（请参阅三规则）。这会导致向量中指针的浅拷贝，从而导致双重删除和断言。编辑：双重删除是未定义的行为，因此 VS 和 gcc 在这里都是正确的，他们可以做任何他们想做的事情。

通常，当您实现具有重要行为的析构函数时，您还需要编写或禁用复制构造和复制分配。

但是，在您的情况下，您真的需要通过指针存储项目吗？如果没有，只需按值存储它们即可解决问题。否则，如果您确实需要指针，请使用 shared_ptr （来自您的编译器或 boost）而不是原始指针，这样您就无需编写自己的析构函数/复制方法。

编辑：关于您的接口的进一步说明：像这样转移传入指针的所有权的接口可能会导致使用您的类的人感到困惑。如果有人传入了一个未在堆上分配的 int 的地址，那么你的析构函数仍然会失败。更好的方法是如果可能的话按值接受，或者克隆传入的项目，在 add 函数中自己调用 new 。

Answer 2

您删除了 item 两次，因为该行

Foo bar = foo;

调用了默认的复制构造函数，它复制了 itempointer，而不是分配和复制数据。

Answer 3

问题是 bar 和 foo 成员的向量元素是相同的。当 foo 超出范围时，它的析构函数被调用，该函数会释放指针，使 bar 向量元素悬空。bar 析构函数尝试释放它的向量元素它悬空并导致运行时错误。您应该编写一个复制构造函数。

Foo bar = foo; // Invokes default copy constructor.

编辑1：查看此线程以了解三法则

Answer 4

这里更简单的解决方案是首先不使用 int* 。

#include <iostream>
#include <vector>


using namespace std;

typedef unsigned int uint;


class Foo {
    vector<int> coll; // remove *
public:

    void add(int item) { // remove *
       coll.push_back(item);
    }

    // remove ~Foo
};

int main()
{
   Foo foo;
   foo.add(4); // remove `new` call
   Foo bar = foo;

   return 0;
}

一般来说，尽量避免new。

如果不能，请使用智能管理器（例如 std::unique_ptr）来为您处理内存清理。

无论如何，如果您手动调用delete，您就做错了。 注意：不调用delete而让内存泄漏也是错误的