使用引用而不是指针,解决C++中的内存泄漏问题？

Question

当对象的指针返回并且程序员忘记删除它时,大多数内存泄漏都会出现.

例如:

class my_class
{
  ...
};

my_class* func1()
{
  my_class* c = new my_class;
  return c;
}

int main()
{
  my_class* var1 = func1();
  ...
  // Programmer forgot delete the var1: delete var1;
  // -- or --
  // Doesn't know 'delete[] var1;' is correct or 'delete var1;'.
}

当指向创建对象的指针并且程序员忘记删除它时,会出现一些内存泄漏.

例如:

class my_class
{
  ...
};

void func2(my_class* p)
{
  ...
}

int main()
{
  my_class* var3 = new my_class;

  func2(var3);

  // Does func2 deletes var3? Programmer doesn't know.
  // -- or --
  // Programmer forgot delete the var3.
}

我使用一种方法来解决内存泄漏,但我不确定它在复杂的情况下.

我的方法是:不要使用任何指针(除了一个地方),只需使用引用而不是指针.

例如:

class my_class
{
  ...
};

my_class& func1()
{
  my_class* c = new my_class; // except one place.
  return *c;
}

void func2(my_class& p)
{
  ...
}

int main()
{
  my_class& var1 = func1();
  my_class  var2 = func1();

  my_class var3;
  func2(var3);

  // There is nothing to forget.
}

使用引用而不是指针,解决内存泄漏？

它是解决内存泄漏的好方法还是有更好的方法？

---

编辑:

这个问题的一些答案不同意下面的代码没有内存泄漏.

因为这是一个新问题,我要分开问.

class my_class
{
  ...
};

my_class& func()
{
  my_class* c = new my_class;
  return *c;
}

int main()
{
  my_class& var1 = func();

  // I think there is no memory leak.
}

我在这里问: 这段代码是否会泄漏内存？(引用,新的,但没有删除)

Answer 1

您还没有解决任何内存泄漏.如果您是新用户,则必须删除.你所做的只是取消引用指针,它仍然需要删除.您可以通过创建本地对象并按值返回或使用智能指针来解决内存泄漏问题.100次中有99次,我更喜欢按值返回选项.

现在,像许多初学者一样,按价值返回大型物体的想法可能会吓跑你的以人为中心的思想.阅读本文以减轻您的恐惧.

Answer 2

你的方法根本没有帮助:

Foo & magic()
{
  return * new Foo();  // dynamically allocated
}

int main()
{
  Foo x = magic();     // copied and lost
  Foo & y = magic();   // reference, still holding on
  delete &y;           // phew, and ewww
}

您仍然只是动态分配对象,必须手动处理它!事实上,我的第一次使用会复制引用,然后忘记引用,造成即时泄漏!即使你仍然以某种方式保留了引用,就像在第二个例子中一样,它变得完全无法管理!(见Soap的评论.)

所以,请快速忘记这个完整的想法,看看资源管理容器吧!

例如:

#include <memory>

typedef std::shared_ptr<Foo> FooPtr;

FooPtr makeFoo()
{
  // return FooPtr(new Foo);       // Baby's first smart pointer
  return std::make_shared<Foo>();  // Adult approach to shared_ptr
}

int main()
{
  FooPtr pf = makeFoo();

  someFooModifier(*pf);
}