1

我有一个相当简单的问题，但无法解决。

考虑我有这个代码：

#include <iostream>
#include <vector>
using namespace std;

class B
{
public:
    B(const int& val) {this->val = val;}
    int val;
};

class A
{
public:
    A() {}
    void Set(B& ptb)
    {
        ptBs.push_back(&ptb);
    }
    void Set(const int& val)
    {
        ptBs.push_back(new B(val));
    }
    std::vector<B*> ptBs;
};

int main()
{
    A* ptA = new A();
    ptA->Set(B(10));
    ptA->Set(38);

    for (int i=0; i<ptA->ptBs.size(); i++)
        cout << ptA->ptBs[i]->val << endl;

    delete ptA;

    system("pause");
    return 0;
}

输出结果为：

10
38

但是我认为void Set(const int& val)如果我不使用此方法创建的数组元素调用 delete，就会发生内存泄漏。

我怎么说，std::vector 的哪些元素是在堆上创建的，所以我可以像这样在 ~A() 析构函数中释放内存：

~A()
{
    for (int i=0; i<ptBs.size(); i++)
        delete ptBs[i];
}

我是否必须删除通过临时新操作调用创建的矢量元素？

可能我在这里没有看到非常简单的东西，但我的应用程序中确实需要这个功能。

PS。10 和 38 只是一个简单的例子。Set函数可以用不同的参数调用数千次。

4

2 回答 2

3

幸运的是，这一行不会编译：

ptA->Set(B(10));

这是因为B(10)是一个构造函数强制转换表达式，它创建了一个 prvalue 临时类型B；prvalue 无法绑定到 的左值引用B &参数void A::Set(B& ptb)。这是 C++ 语言保护您免受将悬空指针存储到临时值的后果。

A按值存储项目通常更有意义B：

std::vector<B> Bs;
于 2013-02-08T14:22:21.783 回答
2

您应该决定是否将类型对象的所有权授予B实例A。将两者混合不会带来任何好处。想象一下记录这个类：this class may or may not take ownership to the objects it holds.

我不推荐的另一种方法是创建一个指向指针的包装器B，它在它的构造函数中接受一个指向 B 的指针和一个布尔标志，布尔标志将指示指针是指向堆栈上分配的对象还是指向对象在堆上。

于 2013-02-08T13:58:49.263 回答