c++ - std::vector 破坏和意外内存泄漏

Question

考虑以下示例:

#include <vector>
class Foo {
    std::vector<int*> v;
public:
    Foo() {
        this->v.push_back(new int(23));
        this->v.push_back(new int(24));
        this->v.push_back(new int(25));
    }

    ~Foo() {
    }
};

int main() {
    Foo f;
    return 0;
}

当 f 超出 main() 的范围时，将调用 f 的析构函数，这应该会间接释放 f.v。根据this ，现在应该调用 vector v 的每个元素的析构函数。

但是，当我在 valgrind 中运行这个程序时，我发现 int* 没有被释放。

$ valgrind --leak-check=full ./a.out

我在这里错过了什么？

Answer 1

std::vector<T>确实调用了 T 的析构函数当它被摧毁时。这里T是int * . int * 的析构函数什么也没做。 int * 的存储本身被释放，但是 int他们指向的不是。

考虑:

int main() {
   int *x = new int(23);
   return 0;
}

这表现出同样的问题；什么时候x超出范围，它的析构函数确实被调用，指针的存储是 x 被释放，但由于指针的析构函数是空操作，指向 int没有被释放。

更重要的是，vector不知道如何 int s 被分配。它们可能由 new int 分配, 但它们也可以指向分配有 new int[200] 的数组中的元素，或者它们可能指向 malloc 'd 数据，或者它们可能指向 mmap 'd 缓冲区，或者它们可能指向结构元素，或者两个 vector 可能指向相同的 int s...等vector不够聪明，无法预测你想用这些做什么，所以它让它们单独存在(另外，给 vector 删除指向元素的逻辑会破坏非指针元素的 vector ，例如 std::vector<int> ，因为你不能 delete 一个 int !)

您需要使用 std::vector<int> , 或者结合使用智能指针，例如 std::vector<boost::shared_ptr<int> > .请注意，使用智能指针可能会增加开销；使用 C++0x 你应该能够使用 std::vector<std::unique_ptr<int>>连同std::move以避免这种开销。 Boost 也有 pointer vectors也可以像您预期的那样释放指向的元素。